SQLite format 3@  .;  B --?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 ggq1t|d4 ] HOL-Metis_Examples:threads=6elapsed=16.007cpu=65.128gc=7.3327zXZִF! 6]ŗXiɟd)&]hS.J}+%$"*c(-A*Ly tXϱ}DMz2T8|%l)Z3_mib~Yڌ|ElqVR?;̋-G,+gߎ'_o(:DbwνFk >@Ē}M&jMmv9e'\:eTq0ZBŌ}x %o)Z`Т^q$;&f `D[ W'+ZV^,2WF`Fᖱϟa+k+hGteL,Z+lq}iѴ'e9Ԓ2M,f%m0(Naz6L$&\8Giٚ0E&=PJ ӥGhw*"KRLfn-;J[~aDcqZx` jM"gwn׫V~) PQoŒZ>GD G!.kk[L'!-r5pT& <sM)@MфcGev)ZwMqqiz~κI-d/# iޜVh;Q;aOM'0biSH7 Ѩ˾Spgyx9=w2/*1[{% Nt$Ht61Ξu!U51sar點;[%e=w+UǓۼLcb5_J 8{hʁ;KaE,=϶+ǒ5MjDdg1- Y x,axx{O5Pd7)~μxuX8?%ng.uCP" /{Hx-ûNm8Y ގoPpߛfX|4Q]5Q ^hAZlaSp ŋ>~G`󎎤DT^c.^}$#*1[XuoGJ״6pQMFG{8aRߡ\n㫴J|3x-GzB:9yI}>~ٳ4!pe(_TJ}B1v0>Vk:}+Ceq '(.+zWVI6=oK\eYovYܞ@ N(w+%ĥĽ* dOh7 O+jYB <}dP+ GYA q)CJZjIA?6,(wz/aKp\7zB:5 yzdJ@]f,No]x$s j=){ƾY9F1bغ'ju/Ap7 0 3FN*fhD}xӲ^rKH`5ZtQf_(4 e^SkLxN; ^d"9jiZ^ `i4tϰB"Q.6e7 UK#X r-_&c@CINBe/сyMM*%VR4ot~I2s-/mz6sUn.hHF_Н HLMCJfF+X##e^A*zKGo2"}~i$fxQnWs,GJ@ ڧ-y0ņP;]Oğ= `W!PCQrG r#h QW(V3\ N&aY ågo,y.LGcY`;ؘw=;:|Y #YՏptM-O!nM\j}y+*.A+0_oru2B"l= U(4%]Xcѳ? `qd._UDfWq]Rm&Z} |< nzdmQvSm?w@{WWr"lj4?)[<8ϵ P|9܊M'`@wL`TA09>JLɈ)Ek,ոuz|kl.|CZUqYzw7 K#D G0@C]6ᒔa&/ABQ>Yhzhٝq۲\Kl'O]- E3F^trBL?cs_F ʫfA:C1zP?MWx'Hi' HUC}8l(Itc"ho9 v z}IjYzC^x__PPzB%V-%>@,Hb5yٳZ~~F:یwx5䊷 1 6%ho4QCY!]+aPS9a♆@W'*[@Ab(d \ҳ 4g=M±z9JxSx ɴm  Qy Tk^UP ~}U̘W|d1:p CB4xk٨9>ZO7uz='bZc%/xd)jʗk/h|^f Hh@N@2m^`9"E=C{ZL2v5b1QqA`V%huJAVΑJ~ycmw1BvoԤ7$U̒x q6OJMyf}!S{f 7ÂA71P@H?I}Yvd3j#筒[J/-Ho3ֱ ,Tr9`N2>rmp!Um{ . Cuٞ-Ei.!Oj"x}mn ^ϟb Ѡ:óEtlGs>Tbcj;#ċ\= f2Aܝ:Z")(0]SQCw8<*!,L /L k9:& E~dA>Hf?i^",j>.Q0(?Z%Kե8I3r!DYIb CBǰ6cK4IђΈd k6FrtHy-]߮@Lzx ?%p 8eJ1Gnz8RDv^A%zq3s~~m+s(TֻPϑ 5 0_*8{Ž 8  X9ߝࡸҿyPCD=?^ $o1oLٹE֑#픤/ߊ:6EP]mw5ةEL} 63(ežz(!C^U#n JqxI:-Ywe{kϦN趘XY'ט@QQ.]^ I4v C5Vќ5U!J%;:N'J"g 2zs zEmYT2r9 t k G!̆ cLֈb'"c|)NN9RͶf<bD#w F8 d/oKTkrG%*M|2KDW/bPGC/U:BfO<­v< ®|Sxt$(%UcAb f@j'AtL²P 1qOCtgfIY^Vjep{x zX}R#])IƤ]8lDP3uPrv=\5)SȲҩ'aFij#,²[iL VZug0I\]! "E A҄8Dx :){$DojB/BFo S 2z6n8. .0sB /=e&ӫ:w6NA]T@n6d3#k.6Wh"'x##O0ܙz{Va3&;=mí˨vǡ5)I੊[ɡ ?pF׬HFdDW cg_ѦJچ90!w~ߴn$CV woy%>szcJhj~/!?Cs!8ӻzoTTbjڹҹ Fr7* /i&# ,T-GF29Ap'\°#qN E '`FEfLsK,3b SH=PZ;MQ C6o~c;RFe9 TFgZCxԜ%S3:~ZXEpfnUي{Y>?inlx1a >%#C('|_bz :$2 -7Ҟ:/&s_6nދLЗ3HGU< wSݱ'p+KG^9^}?0dWjNbqOfRS98wnj;H;3/0O]7!Mc*~>wZCKr„%/DWBH+l٥ࣕ>/nC`]׋ G[ O܌pB.LVNch78`7"3hHT OhxV8d] ٩Sqk~Je`}"sD5Ÿ+̓y=X>d+MHiȨZyQ]A@#G2כrɆjb-0>Vീp/Whѷ6C ;9{ FR [5;,PK]HW%eH%RPš Υ+T8}_NjI^/,i' ]ZfPh\.0?;[4XV>MzƯȏ2p-D'% 8h//U5;~d`_ٛ;EƊXe[>XU?j:*gW5t%RS%Ũi9LnZgp W=@pَ\prU: G9-j\W% Ej{oyN\ѩyծw?_l]d$ 6l t= TMx$ $%~ib;T` +ƛQ5W),;T^?V* Ϛgt$.Nō4&"B%'}74m0O"*]f>P߁[ո`y>+ k=o jv)uvQqk͚q{2wNuFl \_k~|~.sRF7B%P}Wez=p֊~)|X"k E @b~wٮ$`)*&->6r$%ăs-OW;B5ƣ&RzZ([aGmMmwctƦ3M8M0hoWbF^7h% _sr}@eqio(H1h08Ou;40~5_rG ~,Nf &'%o݂4ܕeigh"X$qGRb{QZD|w[zCi:8\nbS1=ԮEՆ[9媽Վ_r*0Gc5a3D-R:{swt!wOX&; nR!}v-GUN]H9H@Й+_+.[Q@||[.aO`qW~{$1'8byZڔ@Pd \d8L߮o-ӟ*iqq"S67xFW8|3<O:j)z}m~4On(tl6S|/:$K)lZT؈w}˻lF,:cGYd 瑎E[WeJ_%ޢV 7f*!+2W?h! yo5$`<%ֺ,W*dMT0Mp@7p>R{1kYqq"Or`P"Z򛺁k?M~_KqGO]Nb^lvLbrSJ!_[ID8~-&54\=ɒf`AԮY͖y^jr:6v(qxC=*y_(;G$<@%eY%%qo Ox7` ;I>WGM0./Lr2md1tHi#NK.uFY/s< OIm79Uү2|"QMR Vwb1?@)rThv~wlw'P‚G)Ȗn} ACpϣ(L傸8lyx'rwr7a~0"_bX5%+k.0F8GO僓ua*;qWeҮgi q\+u(uÄN)Pcm)OyEPE<;B;h)(ҷi ,I :T2ۊƶ9I8E ,1 T4 1&\B /=;xX.aZmyb}T;ZHu_7 ۉHI!Fp?}By ,▢kPS_˧+C I )qJ6[Nrr!# <I?) }SRIsMJG=M,Vh*,:9e< e! JV]p~r?NᄯEt<[ѯ`̐]sQkmPoúm&֢`&JiDze۔¦6Hqݰ9{e_5* Ws c&NB$ p?魿F_w.QcK3L?NIIZ/g#q}ӳg*@;.#zn@=mBd6zo&>؁&7p %+nȠ_i6$6N!lȄ>!\E1`PV^}AN~_@fI'sYqV7Wál=hjdBt?U]LclUƂgRՒEL^jFWHؚњ_Nr=47fA⻫$dm%D^\dg`pN(36|' J3qqYe8_މmB0IGTG$ٝðy do ̖A6s:z?ho;Zyu=;E.H 44<qNvxMecx1)JVG;elp}bhj~(YbϪ!+aL=5`&bW9$3[_/jV7xkv~g'DtPfMzlZ _6w#d[1Escx?&1bfFN/Ke?i=p8AZ%A+*x Ihc v|-+]G&?n_t0B@ ",o|,k8f c. f8tu"ԢF=} |QJb?) AHӱcgtxc2 ln;fD peY`ɂ9#|-U",_èfᦎl/cPKG<9UYBrglR ܼl$G|7BV6OGRq wn0f`J}Rgm}F]|dEdabŸ{x<%4K™Γ\%#ц%Y⺩)lA2RfcDR؈䊾P~u.3+O{78芾&-;vm8eC|̯rΜ7:5Y(VQtz3~d-͇ض! @[o^>,*73\g1ņ^(R>)e[n)wդH")wwTΖh $k{CW̘- 'qQ?GI,©[HқiycoZ zQXϧ.}躄{شQD'0?0ʬO!s>b9*0_.jLÊK!8ָ:.b`a$tY9 ]:=`s8j{VJG'iZ#5q>@e!3^G[5 6 ] nCN~١yE2nYW)zr.@' nD[7ScMKK퀣nj/-kM fPEc0'i/sd+maxBS3gȟ@*ܛp=[DD&v_qVhY\ < z/a0x1byFXYn$Cm] Nj3ǁ\*}"Yb~yOn5̃%IЂA}}_[< p?E0d8Av(+LG Bqą~{(#u;HUW5%)̒!XY~]Pb}tQzDK'=7g3q2dTӢY_1a{* O[%8gԎYPäHYu"`}x<\+#;T+i%Ż:3mw2bUREJcϯh&ȕAQ(Y$OtĚ$/ o d KWZήK@Ւ$IG+xT19>̥% ?%wE Yn(dfS(V۾6w`ku = -xbCΒq)<◷WK" ΔvxhʤcM?(LTH?Dj?&FS/[ḫ7Z1>~}ɀDzOT&p6( rÄ՗=vĉa`rAEV*@m l e(V<ۉxMV*ſw. ԋ1"Hik*%$,׌GJ@Ю}pw ̇rkKI:u$\iGQM4+DHxFhԶ9kRsk;n}J^T}GH0Q~:9'Ģo { ɤܹϳj#E>;:tZ (Xv)VaS\1آ`knBs5FofX.MX2GgI vMZ bSgZx&*?-Vk*s$'i y:'^6;7#^€}6Y.4Y #ߛ %q-8~?p(bB #lDgF+t%ɹ1g 8,Y+EK61/fQFmȕU4"slz6L^4Ƹ%#É9E&52y ϝ(3@cZ/V0MYd\]U\wT8b`yrYU8=~na/ȽB50Sb "p`OG1l=U z[au <@G44`- Ny( Nr>>=4^9)~WB\#P#}2~gZ;^f{3OW/8~ɢsz@\$zg"~1͆63+w:fl ^#][n_0*MYʪZm_ʈ5DvIl_Q@Lj]tDpM7A:\0T꣓AnJ| D8jHg(Cb~]d]dP8cX]E[3u8D+ 03gyv~ЕNC 8aK˅!Q1ˈӔ͊Ӛ讎Qiㇸ6ͻL I9]nLf(i5lW&5F&v0ʗg+-B#]<Pk)tqI@,c lfKA呬ޮ%)x=L@/W )ԽdD8ġ,4M&A.u<3ԐBuK[m|lԪBư$BtODɵfƾPcAViMIWqȻY*s CcgR,VXgVd]*a;㔇ܥUfw2;T\e9fUʌڌJxGVݤ+csU~w7{ ᠵḴ #%sL璯lQŋ(z]q!cLק(XɺHԞrݩAv RZ.=  # ai"I7 +*_nᴱh-.5NpmW:aEaB!ߤėЄETny rEOe`yKhz>g /x )xLYڒ5  hpj.MC룖PAcd LX _>^!c eQ -%>u5hJ:Vœ$?ڦ6;/㖴Л&c2D>?÷WUw$"юxOC@+pt'x,Tl·f,` ;s;v.3qs3iL%D,QS𴂺4`> ͛k!stH YAZV]/1(K6Si} aw 숟+RNt]ؑFgD6I!2=;F+~Z)F6qg_i/sPP'X[h NI{BCj:-ք>a> /P\ }Ex_ɵ4iY-! RwHshyIRעYz~\r5;V@Y|LRl'WoFn` Lr5ͦВv5P>SR]\f4a?@[6ICNX{2x:j.'?їʓKGb!0} cr@;߃-*zB],V-hxn>KKv,8q. Xc\{_{}?<-a<%2ܭ`f+taSˣ2}ՂxI o<Ӣ146<%&%N)*$ Iճ5<`d~ Uk|2nrMpࣴ,φSQm6} Eim"璄4bAР{4 _Kd;@$/W7bp#:-JH{#[Y!|lq\G(_\Mt3}r(~w<C&D(_=|&1ӅK**4N_ݰg=庱v7rչYwX Ef:[.軣}ly._SX/A@xW^4mA<`]h<}-vK?8E 5y!Ŀ<ׇ"81xR#BJ>Ęg+\m!xuݢ, #2`:iR` =daU$94%Vڱ%ߥ' Fff~X+-q` 9RCN͔$6S4TKY' i2;*QM;{0ku#'ym]y|.CdSd;j1& eݲ$L"lїv#*bgl76d=9FAPm@٤{n'r[qsKmĩI9!8pG0_T9ԏ34LNϷQuЍby@#I$:]rFշ%:}T&ĊwޱHJODzmGmPyaӰy?BK֌g8[ "-{^watkvxqWCޏ:{:l X9Py=0ᆘ<)i4,y0%;prVCLƢ!lyZ*; !|4Kc:t:qhc}`zա~7ɍz{lԸ:+j5hms'[V;p5DWFC!bž3&{\Gnjot1nDsf"V% a=_)SɪQ~4̹WZ%8~J@1a7C^VPyu,L1/KNQ!LظH K>5>p0xabk=jElZVWRCoԺRR}0R~Xgl.[^+޴6@r8U-r22S?YwhI)8HV? ;.@LmvOrv-dKAuSy}߽$Asp 4 $v I_o?QɠFR89Vf?:lV/"g(zly\Wïa\3xS/E1tk>1CG.ޟZ~##=oOY/{?؅ܢf:m̚Z=8eYD7J:4΁*pGL^kF90+Ӭq~jig֒i_TY)uSD2Ps:`3ɥbDN8gz}gNK;yub DIe}Ǐuqxu*ce,PwU*UjvOT:&1DSO3,yM)TUY &Ie̜}y*gc\bZ../sqF+ep{zMR?d6(d T%'`3уXkP< M#(XѤ.?_e9|dE4n!zb"BHX{zߡmaeWL( "RZ@ʳT^w%AXzAX/#{tݐœ<4Zn87 %ĞNeRC%7s+8P{d-QB$Z8[-ZV4flpٱm[7ȚuRs2J5^K3v ; _L +~M¢ jg*i]=$,萳5WD Mq`< 0΅Нޜit4qe9jWgmL^imC7̤?.Ҥu4c5E}WnGIq8cpJO us@# t-r[8A2H%oc*-+$W*@*kAup88 nqjPO"¾nbOzR&!'@Nb̚b}AW7r {I7TéGIFpp'*3N|Hۖp*x=͜m~H7buX=*MC4IȑXhXK WaL/C-3xn;UÚkfh1R!6!nK0v g Z3 15{TN.ȣogGr@[؛XD%eƥlĨ T`Xqz"nL6( ӑz VEuIX#6J{l%At ٸE28:M9ZE<93[e j+c _5yFu J*J-MҮt?{WB o Y(O.ȨЍkJjq[r"iTZr]PMSQ&ÏuR-޶9~/2|0Ki}Y [b{VF_;Ot{8" h:10V%rВ>VN ÅPczN{u殌Kx#44Wm\asgv#| D\uA$;WMȊ[fƢIQ'#5!>Ie*뭑F"$<Ո%. T*~(_s 8l *[/3BD ^j!"w*-%ϢRh!mU41866KvCO:b\˝#$eQOt$tB }WQ.Eqd92eёp]YӿzOII:+57)щG] E Rtr¶/HIl j WErBw8Vs R{>Hk LO#g bAr.@h 8v}i'!\ 2LԤ>V?Sq0P;e ?rE5ή"](-zT K^ Qʮ( %Ҭ%K_YXAj1o 1V[CX`\+hl܍gNߐ.1 U20v(;ϵf1<0:(ջլ'jPr6p{;Ð97Yp{능CDFK0l>OG:3_#Ck\\=77)Kдxt*wF[9VO5 "w5H7P"mšg(/ju')d=IG7 Pa9=3(N(VkOhS%%aZgsնv{b!޸7xaW$R%~z}(s]z24r)7s\Q{~AQw*p,%*;9+\)m68 `lj|کe?3Yn8`a&ZQeܢ%Ѵ1ᗻcjD`]Alb\Go`_7~]eB?.dǜ?M1:H`/geؒ$>:˒J϶`1mO iBv6MPLi /jۛ9MK@q*>HYbo3%"aN /.?.TS`|Kk1TZmz Qʔ;TPͫ;VϾGxk!V5̪UE%ʻbW#8NݲֶC2250nmǀ~ak!);e,3\ a@J8v NmZpg= ,~~\) {4YtPcs1EI)cC9EfUS̾<\U?4`PF9AM,xl(vKBlu'紋]+X(S'A'(hݒ6 b ߿  +XZ4 fsoda+M@s!6w &i(<7PC/ @ $NuM.˽g=B F{+!9f%6:iWp1@q0²WŸ11/݈(Grɤ/DJO<=s=z&>F,345IƺEbO- )@ \'w"+/ɺ;6 z߆g 6z=T3$PuYgO(kZOzq#Y*@OKIjʫЩ '$*i ͎~R _&MEgi(}X؂9@S gz? 5&>맬mc}=}0^7qS_\}C$ lz%x~xZ p”3$N̠ )b* gh3i]x/c:IpF_ 0uG!]t܄~d ҳِ=^' FUskm,|Y4K<]s{R5bIQ7yt 8(R G-ʫI; `鼜{G bAãXHt^cDUhy ,V0ppނYxZ9 ܸ V˝0U54Dp-n*|3vO@I<,ĐQְB Pn9&+FR3kNv=0^]v}0E$ qEŜr#S.ə^o1)DI+i5NW5-,wo}"&yD%^E_/ OhQPC)ީ2_E1kmn?׫@ +Цс^iGD_ 5RS"5ya,3%rIwL[ڄ^q-Q65([pjY )WCKWv/ ؞s8ܑs\k&)Bu 7zA,7RSTss(= ֦ u^;><\bAZ/RxB/'I#A5jřR?V~sX ߆ 'ǰj<R]3H˽b'TkHj #qF-[ G<ҹ0 _߳!YWUz6: mK&qrYes[VRhk1ƿR6en\P&4H^-l9AӞ+i J|#[c$ ٬)u~F 6'/0', +@}[_fmD4QG#i*_~.OY4kϚ{VVig7H]Lbe'q]5> + ~-+z85hx!$(46I5w=!r Y4f%j53oz+~6dLٚbz lCDpUgzdgغph+Mة Xu= s>GU T~MB?pޑV\<װe7 ZV[ OjʫDWᵁMգ{gVu$tY Fd ʿqΪ3ܙp<.DbuC`rho`&o#h^hr\.`˰zOV+7_j:1ƢkF:4Yk[8A"{r5{E3Vvg1Qb/pCz Z.Z7eEPyq%wK)͢ęM@m9ы9U߂ WFkΏD~q &lfhq_7m`]'@?(˙InO?i SU4aХr )nmRl ?S ҍC^|(#ɩf ۿs/ȿvѠJCGȚ`þ}F]0jK{9_^s9rI2ͦTޓ+{hdEiy">%: 2 $e4{"\@hT#XPcDz|pq1YOs? u 7u8lsf$o[[5A/?'4"Kz,S֏+PsP X:>A HaG\݂2 ϬTl?8&]\JM.4Ά*Ԑtq-I4Dd^>ct6k^&i?/KYJw=`6 e_EWŜnv̈́àV!G$^ȞNoV P03J|v5]O (;Y]Yq j}WdƼ%Pdxu7oE<3!Wk)w` f H^zۄc%ӅVrӉB( 8VsJLi}pX_̊H?Ef<0 6]4w: # bbT38tlj*rzXВ"eˠԍE̪rs%Z ّv:G:q\\_N_:f"@~!d.o"XD|I>\>\kVn:UNEم쨽-.M"L&ZjRY-\N^İ7eܶCa;H@JgD$1ZgLqU؆w c7@¯"zikZEDHh׹T[ um2X2eHDtұ5 i-/XdM :0CƊDY 1H#C|7_h]0iEфJUQvS+Ha7lUƛY9ܷM9quݪ/W#jCE8~EUoRۏ)-Bi4yoRE5MvC]=K 8m{a(GN_Dyz~$^:>[Ȋ\]BP?U_]~_{*1T;\o\ ezQ4clivsf$5Q)^J<\vgukLĽT"CDi6?NkK@-zG: +aִW+](Х\~D\a/ᛤ$I/H#!m6XVaB Ub kQ0NDhK|9sqDF*k"N+5+6tGª] >5*.R:4$yO+ <VVHӻ\7ʷpD,6Ek#뜕VVDoBZ\l:} oZG:)3 j^rtmg„A804ԘCj޾kuۓ Ht%mFs<+6_pz1*˜d$!ўy793~ͻc/]x*E^D";v3|/ BcUf0uƐ"?`͍k椓!b>l熚chw TV3gd{q}S9l Wn}܍pHM¦cÐy.3Pt>#PIES›N$s;P$_N4^2ǒ9ɴUE}wC*1Ei us2Tbb[ zh9*&%_C8;pt@bE`>cpS|cVx}ʂ 0k=/z7|\CQ2w<1@ǒωj凌mxfƒJש%9FPd0WM{dIɧM&I L9xJ=yBKu%FO]ֳ_p;dq= ޺dV֤2ݨng1/{|- Oi7 sCn{ҲT+ᴊDQ"IN.[a {ORzG& [0XCSɃBVWXzqlͥyo:D0xZjR #O>%<)?A(oNm q?ȘxyJt%*X](F/+] q++;n J?Jf2b]`8BmjD% wɮ 4vl8a7e@ޖ(stOQǻPL/c>-Ut\Ajv#l~2@ALYiui]5IuZ='"#Cl!H:CPݹ/t]68oN*QI@aI`w-?Dt YlO 5YLaLҸ $.0q:E ׁ0+@6XEj~iȉ7Un,}b3Nɍ{q9})8kaϒl@.²r00|QV{B!>^1fj,b{A@HD e 4}h`+T ZA2NvR&h Hu 'w ܭ5EVۧˤL:(C[3fgIQ8q+A ٽ {[WDPIC-G:uaZ xL6K'ȕJM8߱?L`n1 {9s w)h;0F#yt1oˬ;aԗբ7F dq 9xKtz|bb7ɇbGy?O@X1twwX))}edL۲>%-oJPXLueerhܒP8u""*Ӽer<[63;i} Vk>,jĽ&P'P$|XLX] c9]cz1^;Xo5(>cs>`yDQ<=8p&=5GiC",n'/Fj'YdQhQ2/*7DOKyX+P[pذ5ftn Krebu۰WI`;YF:u5XF&-_ڧu{YUvk9 I!H?%{T <ia93geдvZLt](|9L g+xQ*KmD  "tCۃҰ@oafl,zlgC/:+pe^sdY@"񅙭1! ^d¨o4ybԅ@UTd`!O-v:046A|RfI7Iw>~ۑ)e 7~rBA֕vE$a/28^yM w\rF]qLKjF8MXmև},lK% TL8{>:t$9FiGlFɌ3ޣ\KE@S$_qR`}㉁h&CMźjL'gĜa2Ix;Y> &Oy,FUne.B*XvvyC,F@P~kvWT`HOSW06DTLmf.29PlX㲗Db;$T^ktFт42_J#+*32 {Q8u[B<ˠ"ڨ""ɝt-ZOg0"iˋLy- u.+!ٓULFH΃-jfáK/%!ܓP)TaTǶrA #n /aky pPZ_T򰯩dj@%hz{fؕf_xac+VNbnGcGK@i_1ϛ9JO-+ S'ȡJr~وU ;0,BE3R/hdָiXGiÎ(!4QO" \.#joΧ9><1FXHORNap /e]|<"} 07illPW׺S^g4 KhpQqzJF:OW#Nƒo^+IڔN ŵ&Az;p67頋ַm&c ?`!"V7AO5&L7D[* Wv 54t R{h*`!CY-*<òm*0r04vs⫹[& S:^:YL7Q*ow)EKKq3-]sC<&ka%0lU-J UZq'=c0Zv~ Qq=ziYd]l\kXG#o9tf ϟ@0CPevq2PXLUQn#<"qBB4jHs-vOh9nh/q z$mx[_C;(+Ix5E'y)ş Z(յSAhtmH9݄QsvVCfA$s$$sI?cZ[0# 0 [ZK-GKfp"KGŦFQ:ĉGm:sO3fӋ}:t`x$"hL<<.RN-=hzn}ECZ98bMm4~U`t#Ո>xv&ޛxkOuc ˠR~#w<oP8h,Iwdw5ShS4SR+% QPxYܱg+Ր?%{Z\MI`紈@u%F$BԚ15ȍc0ٗ.q' %+|ROE͎@z꺥%>`/Τ# 3еg: |#%d U&^B/ɝqd;#Gq_5܊e<!/0|4A*Eވ9deb:\ᬯ UM 4_]P T^tiv~ģrTN[$.1?@;V $=oAF?Ȱt"t:uLbpu]q#c͙Hj^DHBGwGl +q:' <"_Pk ԃ0` PQ\xKw&g(ռd}9HԞ,E\FZ|iǿOaoIf9sED7*x5iў`q4MiVW@Z"i)a#p?+yv-r=+^{A}ﲱ*VQ)ږbҭ!TGg0sv1]~0v,jLa$^u5GZ@Z:Z}GI^q(m }RlFQႊȺz@ HaߐP}kke28ew ֎V5Y|Ko4AE؆ߠ**>Y[ާsö@gpbA8ש{߻F8r/0agJ(D1xdž-faoշz1-N&>|*{$Bn$qs=߳՚L ,߯{϶Wȉd O<-1"oz  \h>Q "ΐ)qA\˶f_s>lbY2 6KbV/e}bhAtt@P=]r8ZyUw8+;%hcęR4Ǡ32%ƈ#R 'UHI|r;+#W<~LtoMyGPr!iUM4hC=yG`4ӗjyl>T9QڙGGPkrTO/d>xK@PL$S$Bfm  kWw?䴰Ԍ OmGZboڿ,~+ȌyQvT0j*HT1\d0*w0S!|u4A ORżepKw K0u߲Oj8S#Ӯrsuip{,Üo<@ dy ^ avTOsoKvH^kW4eF'4+aa7]6F' |>e9|/ΩS؆l^P0qbSQpR%ڒ mXhV[gU36}2  f[0 Ǭr 5yЛs7X7{P4FZ?[/P_ɂǩX>Г|O䫎_N FO e.T8XSoN; ,ۃ1S0Ҋ'gYZ7zXZִF! +]ŗXiɟ1$Cܨ }X 6P]!ẞ \Qh_-[} Qiݭ9\BF0wdxnYǍpl5& .gK~i(z{JZǍ-Yk+<8e鴷PT?oS2HXF5IB3l6 y.`RN%mz rcTaBCm/E 5*8fHN'WnrS߁?t-ùA (!ژgYZ7zXZִF! EQ]ŗXi%L%%RC႙߅(h1%F0wixǍ& ޸[l ϜoN;^685챹Y)Czp g?DOV+.J.i3WV+KͿ0\iۚy C:NzuACRt'H=)ݫe$ ږvfU7b{5ft(n6Pi lx+뭞|6j5ZMdRjQ\3 '{T$~'V5nAxo]}սS rQ_#(: ,_%Ʒ(8ͭk@r19XNhldG,MN0C,T -IU`y]30n$g;Da@w`̂n @Ej9bԙt̾cnRbyP3`eBmǯ?(z;Hi;Mb%^YQ`E.62Nb o$dPk{Đ#a'➏,QH쥋ž5Wr"SBOuOT-&p;+v"D#kV[bLCkJdm(ꒌ( rvT赡\tرR:]j=OT4NrVMS(m*I( ; hfr"d$Y擑pN{ FunC\Tiض?'Ԉdy١GSto%5~>+G.Ik2>7T"UdѡxqP+<# SjZQ4b ֆ;ǫjtOЯ^ԯv 8MLvB&UOTN&ޗ(ys L Vv!4ؠ uhGrUP99^Y-fQ\|8" E;JcuI\FWK?gsֽz{B,g$0*6XAW~YzV9 .EJ[oɫPX'e)}9[-Ū?v0֠ӂs.yĭvZU݊_38:tv$QVw$^kmh1ZM$:XM17m~$@:h[&5?~~Z`>4A5\SU*{2dLglt.74dдu`1mde\!I>ً:id=%tztDsv`h4W}Y&Bj_U?N Dd`z!wHlIh썝Ei<+n=HZbFB2rxJ >~agYZf7745358ca8dac1cbeb50adb1da70021359d3efad6896dca4550f3d580bd8085f0ec522b3c80ed4a 572a934a0a010bb60ece895ee276078cbc430847 2b4a3577a0a20431445184e03ca0be9784b8d5d7