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 t!d\ ]]]HOL-Proofs:threads=6elapsed=679.701cpu=1867.928gc=331.824factor=2.757zXZִF! ޻]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ K$~~sS A! Ja#5W%:T@GOv?V%KAX'/.@xw!i@.^1I+XK-8,g NqXV?*}ٟJ=k^2{MBns,ԋ&;,6 W hXJRbSP-xf²n&'48\yIr9u/[w5 CU[A#>uIs[(~H|"|'X;Ƿ 7!K\ǗV}I}uB*l6.%<M~(PN\etER%$=q`.TΉ?sH`Na3^!B*Ќ8j>59I2PnrMV= зovZ)L<&ԕv%WǸ0r@yJ;}17'x#L'=_S-}E,YwmX&8Vx:5~ij3KӶ5q1ՠ2=34 nצyׯi`4Z8;δ)^JyM PU ښ+S1خd%݌f.mm@=ԍKB?3iO@%\׽#KeIZA7U1.!t[}5{n?Ըy^&427 Fn&@ÐZTFUsGT+9#ѫ:O 71P$BRP&GЗMm cL>?d,h!Z8LwEV~r[ɆI p}bSzLDgDЕ7]6]^a"RKs:n P}= ?kyS.AN(FzAͲ@hwJ悬wųdE޲!.M,B1DR0̄57K=MڡF-g <6{ssH>Kv4T)&2-fZ>p>>if!<V1H4e %}LJ%ඪ(en< wpjRWS |srL +5-2aw>{>' > Ev U_@n|h,9@~b8ב@*OJ~DAZ ,22Ҽw%xC(XD| Ҷ}n2D@,4/ksg4(|8C |8 w\XJv]YGɓȕf;&!%X(Gwcj2tyv'TíOՋ sݒI꿊BZ?Դh=Qhs㻒G}e('1UsLH :]{$ ם|c3P(ȜކKLCT̟I YEM/w7CХָ[)83 5#':HTXN!?3\# |j2j"\>9"k#ϳVa1w~D^c4"v6m3E'.HMnle43[Vde/EkiQY(VRkN3ؗANcƅI&ZŠkYIQc4.;LƏe LXk.H3޽kkm^1dĝGw.j eQ Bi:Lb_{رt~f&)߁zܧx_3WfR}\4 vJ,d$l jХ>d\s!a猝mˉH t> Cؙ突v÷h -/Gè97rx "U&_up%h_䍟EXg{ɢ8$JBHR я y6guˬФ b t] ۠1a_ 2RZ@T0QbY52P L}dN3-:($v|)@ԕ /~3WN l pmv@;\sQN|Xq' K)-C{-ɛzDU72zgSc݈A QIHewT$ g>Gei'cDS5:I<]kR9F2f)DV-mo4:9' >C{ "ͫCןGvw96rLA6H0'r-KH#\~,$C6h\p X2Wmhi~K&)Oyh@kc5,3@ʕZBJ$CeH)Ό3*s4`R{ $"~[dSɛR?Fu2hTuR^{6}7!fZΩݸAJc0>q\c_Ւc" G%h-q70maཎk+ KWپ_l}Ew\y`|YQZ Eĸ2 prӳ6ZU%֧ 5[%=Dl38Z˼/ԕ q烩d_u7h&e5@+UNc29w=Vl<6 jŭb_Œ`.kV0@~_5VMq[}G;Ht'"0\PZМTE9EIw!G'Xws%=eτ.m~c-*mp^*]'l0jiN9QmQQ_\ <0tH ̛Y"`(I6zl"03|k 6^؁\W c(&.ܨ\JSCvo(e-۳ÈĶ!4% DCuŢc5'HFmQ/Xd+Z*XE2G'EчbdmtwkӘv|&Osi ~}E2<6b4Uo f_$si|~2>,@N|iN12.K#fjd IJ=U'IYRSn]g-<(80<$Bהkg9|꬏̳Mw9\On ۨ-y -(_贱I!zT,bfeQJc*mtnAE?uBa/۷ekvKI`(^!oSJ4vdɝiYb9( S GB[N`-al0%$ rjc=u ٗ;O|8 ?=Ϟ\3fSjZ>vٍhHіlB1B JB>|ϭN0P[5UٹOJQ. ݽ.v-`Ѧ)O 8] ‚y!9ȠppP>[D,WZR-t6¡UȴF#?"UH-+˪DL:{.=aL* VB-\$2H\ PzC]O;?ܽ& Hf[‡ꑮjjh[ըS#0u,O|8eNphE1uQi-)ʓ[c;#4mz*`5=OcJ$X~]fD+>ߙ_xG0|WWlZZy>`sk@u*Xf$lp(H(yd*r?-D=;ۨU0tV4{_h]7 L4%l2}?)N'/u޷(lS9vf@ xC-V l !.yH)_ E~ %S,L]nc&a uca)-FKGgp;4m˙O>W LfU}O8FJd^OQ"(]iNr *`"%yH;´[JAW9`^e?_{u,eHKo{.H~d>D^≇j։_H>3 e:.i'-Üt!]a #;~Z`VAgG&L+3>%cPQ,CcVƼC>0J*NZIiQ b(+R`2Z]b{>2nϖґoHKc$ӺJ.W<:w~^` ivQ| g^56vruOdܳ@ܰ| 4 ?#`*WQ10gYZ7zXZִF! h]ŗXiɟ29aoʼz[%U>EM!!BKo :nK$-&1KW!R$քz 6~_큀O$xUX〉&Y\lz]lw%bP2!l$s4կhXxGxt0k :[C73* ezp9=Kk{P?L-1;r\A~S_1;'(%a?1Q@? eF_E0_E\b]GK8S# iYz{2VH )Qj,08"sDҾz7^GV9K("[EA86.HEljk5ܓhĆ ((4zbBe?R[|5'% `TS5}c0|bsoAlpc&XcP-~ (:?.Tٺ0۪[4B٬EѯUto yiLj#ewCup纼XrVT3ƩYF3zផ/(t _hoT/^s@pn؜㇨~EkWmCk 9xe[`!ve3"'џtv /tza{SK&׿ mqqXG=bBa_ū }񏗉AgL2;jD%s+r&S̡}܀| g9Dv^9踄B4O\ŔC,hJQ:Kn&Mq}vO,rFO$ar#A? 'v;u uӼ xX O5L͚q)E=^uoNcaB J)Io*>sEyNb D5B&W2 B0A"+Ԍ#>dPjQ,˻| Om:I4oXj%ȟ?%S#xRS~#D<>=@RT۸>`Tw/MC=1jIzi@8 k}̤#RTPI39^ yh.5Vo|tr.^e azicODD~=04%IE? Nu=ObĺGDHd#Pз8:>2ЀgYZ7zXZִF! A(]ŗXi%>p\ ݇~KZ^T7k[kH;&c8!ʖYX8zGB*N_^FԸ^qP,?i Azu$Z8S7)yʰ|֩Sq,Tztn#-YNSU1Mw*ozE0?pe5%ߩK%pՂpw[nApVT!3ML'#6-ut$02p Бe@MpflwSH5 Ú.D]@pݮwcCOĶMfZ뚉|#2x;ptDV)5| rD}ӄ$#I3?R,%6k4@T[ . uBOb)avO$ĨѾƇýAH;!v'8q]m%TʾA9ZXh B4ŇE'2[Jb[?=0#T:y}ޜo*i4K~gⰋDŴvop(D %mP:[ըjE3[iXAF*I Ḧ%(ZC+RgNPIHL ԷXOͽ8 * # #pޏ/1_)4/ Q"( rڎ<nV&0e6!c7(md#oXdXma"~6shyNq~IXɒ/ݛBWO8\ҼAŤő̳I.$u'-ަowwE_:1P $'Ԓ?Mg_/]FH{Yʽ!oo4Qy{8 B$α&4CMX4z I GutvY W5J?cB|*^_MxK s.K`_0'J(,3%d ?J ofLƢ҂"UǒRKhި[2@bXBRGa/Mj.0p{&!q3РY}P<3JmU#Jɑ/2Dƹ+KT px򁩷MȻ FXS}-zQNk9d,of;:A7_(k#"{6a'> hnmjVi63u/بMUZõ Q+8!jQI BYm@6%SZ1&+5WvȻ [C ZɼomHbװDG[D3b:)$ Ao#tQ:/SJ TSI4k;8r6ޛkJz#-pnXVҏ^R3}&*yZϪ]U:\>Grf#s+ڿZqj`@_0$0-A"k)"Z{zE)v@7@?W L '| xXhY7Z>w$Ʊch(zj$[#ΙYM-գTEŶɺ~a.$IdSY4qxqeA/ؒJfT(;ӫLEj: Pjp"8~RIgUh )*TJHz7B- 8+9T+`($ϑ=SGVť@8;Z"l8>hj;$$)::{gLdSh@{5au VK$ 49y uԂ21Oӑ 2SGM^}a_PDS㟚- ֍s5荻ir [eyPV=DyM^4{7Y-k ϐL FӞR£Oys˓+(#F8WvW5ی6MrΙEq;u@ݤD9A[jo6j Pq>堌*i!n .$8X^b믢XT˼Es wpj~QWzKC9ofZѻFj,a?"LN0Wn2w}Don䩭b%e==NU:iFb^]| Zr7K{ЊJ3ʏ' ϼ=Vէٔ75gN`G紴e&XsDkiJ6Ts;89@MHBw*"'*ӪGF=%v0l#S)Q{ a.RwS  ٭ȁ`4S}#Z܀qmA.)#D%p%!&Ol:?I gt-J81[jơA(AϠyՔ!ƝV5!r@P }w\7hҵu;˔- ߪ_U5q]dfCWeYMکHJ4%_}qÔz&F\u)Cͱ-{|T,h Ansu ׿g,6gΨO\.⬆oj>Há^g̹Q8sggQd4y0kS?]ph>$Zf94z r3Q(͆*G8/$p0 ,*,]lj?VC~UgBEGl.MDl@m @!JmIo (?n[2G#p x,J^` }?4SuI{$94m]Mh]rNJ`IgepeyL ҭ(ʊ,Ao@ү`/@0&k'.uߺ =516k.@sT^?f_cXGwxJ1N5K.D>2>AʝqbN1&P`Ox8}TFV$I(6ϲI9 U?GGq6٦< @YtFm R vT.k33խL 4 zgvG:C{d 9ì]'RsA@lh 0-)(,磟P J`rh2|eڛ9*tD#|3mܚlA z#m}>"6%o+||N/S+#LĽW%oelGCҟE5$o`pJn0.t**.Y;%C*u/8![8]lJ@n3p,1yBJGi!V[#OO>,I_  xF;!uFn|d0u-{ X-h {ߡw/{(1 2G^#'oX'ZU,Ej+~_W %.\ f`$p*n1QiF1;k`vťBaS,{^MN.m M7?~ĥFIu&AB虊IrH8@me(0I5k*rg >|cB p:^Chv}Du/V 2$KQ>$1. w8CQLcb"a? F]pax!sr-+8dO$O0ـ7 xD&8ܹ:f H~fsgZe2}vlxQN lyZ21˱a?-[_S Oi-2ҘEr{[sݾ~ @/u "  7g ;KzjcUF2q(H!]U{im*WS b:!ôIa7@EfU9$`1Wxh^ŝRB&CP ݠyy \C{Wql3L|2ـf4Gḿ*#:^U'ڠ 0pM2@>*1v,CmAێvc_n@ G 7БnGb;twZ.<>v%} yr\DEc .zѼ8 ,d]*Xc Q߳&IP07LM=Jta OפoJɔ4bH0!^";VN Nii(AGX FG|oJXn023os;eW˻%^+LT A$,AYCݘ-`$g$m?ΒH>oλ:K|Zմ6hUOAbd][OۨGrD`-iSYJ*`$ MHoCƤD ifcuF"h 62N᷂c c9FP5=^|%/a&]?(v"z'{M`ٺo܂$Vv( e $փ :quj[@v[ڵb2/"Ud<ȹ7=SJN~ȿÛ=Rh|k;?ya-t)"* as+b<2˛jc61y}c&aq1 qJ6n$jNBLTqcrX=pSM|(7Kyd&waOfP Z[ZcLe\h7 4v0#s{gHW2dGM"\6#+;X+QW*H=FĦb61[w}\BIzjt{DT!c=1M&h0Cb%~#ԝ d\"R]ZzKtp9.AP Rd,6xt98ȟBDٰOzⳕ-#bQL {#fXwq1a֒XviykR2[ b:ʥ!<7?>62pF80I\h6㫾S "}ш6']K@N/1[ceXT2Iw/_HV봿NS2>N?ۭjh +dj\$u\Fx+?E{)Yծّ[n˿}QVm@[tј=<^*(%ղz ȗ 0,CA$X{}D,eJ3Vݞ9RpTUwm[³*O^P^Ka*?M> 5.o8ć P'O9gvН+ߠ ĂL5a߫Jnx1-=0p})oSPHPND\uҡҟ4)qW0cA~nͽ  %W鼧{K}lhd*7M:!pˏ6}VB>GP)jν "*bD7a(2 k!ш2ݺVv(ŮpsUh|?N)[pGfĭeL2dvQ,Ys;%[d|H`VJok"]ǽ4|3h\F\6[e.="^WNCIy:[ 1Ĭ~ca1u9PՓRxk׏+-܈D-Cv"* \fNd7'4'ppɇ&ΝnqLQαaZ /K?dlYurQEmySq twC%3 |/9JBy~u:^j7"O[ lkԸ^CPW+2QZL}hĽhAr B K8_u2V's0*pQQvj>x fIcLNK۶KO){v=dBʮ'%" ie݆nK]w&yix4=5Orh>s-s 67dW^-9#쨏ql ??wD !0L!zLj5`_R<[v < ,rRpK6]Pb䀝tf>aqoᴀI?ɼ8/F3EFm@UAݗsԚeL_3PVNiC a(G*ZEGoWٰpS0+Xv6S޷&ķKb Ky&=8h@F;fhd xI 63'X:\8 kS5KjR(42j4nb=-[# "m{agc3%Xcĉ}8NvCU+ $JRXBb޵+ lQ njz䀢UX"8QaЧ+D:4^y+"лgA=tBw]z>u4{4XwB@fvY<љ^7}-iG1T|f|n2󸶸֕moM.Xv8?>_;+OMQ;4I[>8{WoJfhfY{4~8*.Jp`LMpAR‹Z -,kqxqztvԮjs`O"LL\w>Kus FaQf)DS,{<5asv?'Am5 _Qô";fEY}HA^bheڻDv}UGqHtB?l22o f>)c$ 98zGI01LT%>[?f&)HwHgp }le]6~DqnYrkun'$0@\s@p kxYn}!³sLGU)&epWߝo\t6|O(Qg" KS쯤tT,һWr`{{Be ֢ Z[Z!1"%끞2+r-X >V@^pOդ hٻx֓GT]:44٧uKۺoxl"Zb MB7̰F(Y&2?HW;3*vlUZX]~ Q }ﴶ[oԄ99^I0!bTbY4DX\ɶ$jLLQ"5]}P2\Z Ӱoop͐ t*h}ğ]"%`Wn?L7@6y'6B6^w;N8Abt<hVL4 >|ɁNtoY&@|9k)[VI 'K8*X]#4c7ô Ve~;ZIo9I@_x 74 [ G7e*,5rYn4>`'uc8YHW5ρ 4tvq6Tfl&٦oݦ 9cjƁFZÿ^:fX8])HXԁEY _7>Ѣ2;@HM}hsUZ$~7{Uc.676W}qẍVGuj\;jPLMD)8TbLBbT,lǪ0@P|ne#zJ<=)I~]C~'1K{r;E be9fC+цeDKKeTpNWK]*Ԏİ?@ag O}wE1[~ %"*,`0+@5kVQ4h^^α#rԔzFeҝAfgɮ\`Ln@|[/"k1tUNh_g'1.Ͼ kF:)K5U^D0Tt jrWD=!I?_/DUn?_߮>9ꗜzi8 4h`cV#Z8h%څDT Τ+eCd<5SQSd [帢-.3ZL9j`1C*]+u݂md=l7.!7_e,w*BT*qlw<)p- ݇KUd;ښ;zh Fj??l.S܂\պ΢ ~,k,À,rĶ2^Цf'c{%gG- 62e{sZ&ӗn7`\Dᆓ.N9w!m0ԘLݙ1}$ޒ8qpQK2v?y['9ko}]^(1BάJ? e(c'}% 4v2U/>)^$4)x b$3zRȥ0PD˦0cE&H?J-pDL H5avʆl<2GAE,4}{maw,|>raWE{s)X_bݣTy+3bĸ=>[jyf&Сeyg&l(d؆x\ Y.QP>i"lc(KCgݐOD?p@uˀ|3Z 2ʨ؏\P;Εr ;w2"ld*Z F-X*RYdnz6Cy XBjE#ss%[0Oj~_`Yq r#f6 v{;koI7xKviſk'܃/䤌)컸Ra_cL48~rBY!5+۸ǨOL-V FF-`ִK58Bo}Ui؋׎ /%4b;6G-|*~湷@v/NibڻMj ki}+Â鞡$.Ym;Eo%xBH|$Az`8RHԄ2ǭ4?7Nl0&Jon#VzLj~NBsIԈ}ZD6< &Z$9-y&Zd/8\%_x+xʥT@Qk/oZƉ%.T^|ۧ_ug; B ̙~a-֙o&R%W`n.q7JbLqX@5ϧwssi&fhGnm$k< I٨]#NsE˺A9V5hah{<]1!0//C#]j]' ;p'9DT>ګڏiFtb@VdfD̩1<[#'OYK$Oh rom,.t9oU0(4 >^37 #Ɏ3!jy#s%El`\/o{ w3NVיFT;moLHuEluF`I9]w՗-$剰#b]J˄j($`B/kM)6ZMUJK J/RNV&twA\s!TԞ=շp޹V3}8 `oE%"_`5i fAVs$ظIU}On\!Hj]w>[h֍%v93sjenX\Uy"9:*І)hZf.V]IW`_v_e[4w7V5Ru/76Xy!1c'89pi,2ݷĮ97G$hfMRltQ?]"[кG1:Q0jũf>=09_{hA/PRq^{/y_\ M&nNkԒ Qk~qgm"q>߾pkG\zx3؄(yQk 6[k^!b,eDoet7ɟK$re ֬|Qs)nK~ܿ~.V3EBQB}EJ0Bk,PIdQȼ ζBK'wdQh&up $j宍J>ӉtKT x)XI*F:JMe w1-Ώ-(q@tHF\Z2m`ys *FKmsf 1֊bv~ׅKQxȮya ۇV;M8/vs㽅kDHkZd?i3N=v3,] >g8hÑsY@=3mexK񇮏W"L1zėgS*!Jk"s:T,>zzl|5ފ!m@4qWә ='GrN8^_pwE06d~ 0 L,{,RDmݘP4T7ھө"tlɵ8I+=&TBـ7sgc C |5t@?N}Ӥ[JW ѩHD"Xa30DmʾyO:c'gwIdX.qm.l:zY9*>VPq(v.r:|ޜ@a[[WɻǹdHZM, ]*uxd]F?ݸ̯*Mni͆9aŕz|,&Y5pKEe2eDF,xFJ /?g**>?%}&|CcB..]Ij\%s 5@ \1AsNxLf׎RYbݯIxsp)CrG'GU}ѷ}5CN,;)2_!!wHDC:$wt N6L-'X9X/`Ί|#2V,璄cʗ0`1v Mڔ#,Ixź0@D"1냿كD6CpCpCK|̰r%˶B+ Wz`&gec,W5ֶJLMiBa u׼R+ r/bs-Jͬ+z|IIOiT,'_G*.º]te4*ʪy\;`^}% ^h 1=\v3P9)D8FπH@/ezy9A^zɁm 3i=gs_@WJ$z)rN[tMSo?3oFGۣDf%FUC41:b4'T̓(YȜQ2O%lm)DABdHA<51G9R}#LVr*T'4S\>x jCm`\RŅk"e-s}wE!<;oAbxХ~V7V:k[xrC˴ߨj*i4c:VZs5LjcdVζ&W 3W0JXX܌F{ty#qUjz13{z o2fI;[7 ZQQ:Giv=4#đe?x52 fVj+w\u® ܷ,@=g |f[ekiGAtu(Y,ftoVI#iL݆u9m)weTɛl=x*Ƀ 4pMG@Ĉfzރk˸5H/Vfg\SOn'-ﰤl{{f]R >a2Ѡ[SOe*8UH`R G nȚK BgNܥkܶ4 2>Uzr: =QAZ KG:p]ÂusZ\=sr"6>u F]#$5' 0 Qi0ktzXG5.)!(ߺ& ُFNFrO-7gʽu>kZn MP<SȂPzeWerV/!I7H̭mvX\TΡ;ﴵ 0L{Iѷ=@=S+A_YAr;:]%:/qZ ц('rT7)BS :SpA, u- %`z{N]# %PWq!>9ՃVPSj>iZ,cS=aK7CWA½ KTx.U<V3r"'^zQr~sA+-r.Kos k%=I섳Qx/o(OSsKr!;Lkp=.$:=۪*ElK-'Υ"m(. =16D:v*bhqGeT70hbI6Q_z>Acd>>ԋ4قo$@Ú0'wO~teN9ҊڡޏBzGU]GZ e\G}p4BbnS8j 8oy* oXm,dGl֏RAsj87HF(4- iN$@[| 0nAxl'4#-mm]VԡppdmlL͙P+m [j]r $-3 x2" 7篞Y%Ŧr _I5pOA.k݈ߟx9S՞noL،in)JӘ]/KNKmjsklO9c\h+5;M+ҕ+TeT,1,qjv~ E-MVcǵ[po1ҩ.:$s*Wi9Q^ǑО>C&<3;,R|ogiXX}LXzn8Eh=Ty u9VV8p.Gz_r7>5pdoֶ9pD?uЋy=y)C UREjz@&ǼP -FwUIaz\حfh8k7mGw]&ryi,V5n8ύIu} :q/lcN{zM]%Nӭ8o`EżM<_.~}H69r8u rKud )MCo*g~ fvC@X4k JqeA`[=b Y4:skRYBԒxo`.#+B`B"pocX` o5eBuTAh. wƌ/1ȴ`"P^NAB6gMElƳVria^ӕHm*g&} Sn)"˔uӺp!.Qv9w 1 ,#iU͢Dd/@CƊk83Xʬ!Xl-!!l\ lWG7PuY)^;#\ίgfB ě;WDqt>(1Қ:R /g]0V"J4$?M $v:0(|YwCĢK5ZOA%O>iPLuua5e.޵6C~o;%~Nr@tg=# +5[Px^YG1TH[ᓽp{\3vu]m0Յ8Bli@ަ̞7sulW1j@Eo;q:JmædsdƴMǑZzO@Җ\k%Rt6 ,T,$VGPZ.vICy:Ȧr}Q-.v|h=Sj8PFC(WD[ԆJ졘o$| rL/)ZDT,?q DT v$=͔3ls x0HgK3Ҹ7ݙ2_O 槒3>) 5y v.Dug+id-K+Ί7?,~k{ޟޣ}LjmVh `كGdB7 t^hzH0zZ~K!0HQ7XKo&&_J(^^aOL| T79_|2k"nD)A4v0_|ԭy9| \r ɤ2}TWՃ jNT8c+DPn80 z ^ HP*S:XMv1lªgnd#~E殌I~go&Z!J0"UU@DfuHWfeziK81 |~DVMPNϺ<溵i4bYGoܣoOѦ<;c GrlYQ듬U.5}![)i.MU&ᙲ~zwsSykv_i,LSwI FX;H g"ebcAyC;pRܬ>)4$a3ߠψ=oʘgFoT7%-CC,]fC@Uq?HD)11ڰ/ʯo(~Q}7j}G/pZ4Q8q&K>ۊ!4 qm\ _SeNPVZ d9o}h.OB#YifL64eQű8K %u m?-Vl9঍FBx7<ܔN35|]2vKɅh_5v$<8mÙUE;i'6j?_*F-k gJ4:ЬG9'*.{55`٫lCR7.W!YZ.L9<t`nQ̴Cs0\_AWO|gsAJLgEœ'; 1h&T~4T^P [ Qo?ۣ[ڶN"bnb .4͵֓<ǖ]NDA5 (&Nj&xsg~cƚEp͂Fڰ6;Sn*m{J/Y+9H0_kİ!$K3#GiөV!L!Iq#M+tR0[#FNQׯ/~\ (4ɆfU _0,e2mgHtZxj_WFT F2 72G"0'_677AiUg*}5joLK@ `MK vS_.^ŒX{Zpf,,.(l")$ ] +C6㔠\=1L;/UyW0SVߚvzƠAp ޫax+,yVŦT 8xhnA䫡$ѥF>Yw7Y&?рSG ev 4 S k7$k㖽 jz Cgܖ> y^Oߵ۽iגdDgʥ7\LLo*_Lk8i_Α4u/QR.s[EBsS_⋠!P"]:$)M˕gժAz/xWKfSƪg; zqu 4gڲ.ڒU9H^M! w)؞>P8*墿F5h f(s +Kzk(Š/?78W%KV̌s*}D'[d?2 lF')7-dz6.lskI~"ʢ= hR4 {ym7A8< $9m/Z;S~$F1ߩz5/7f_4#85!AA3-es>&̆[BwW"R;S.uiY|rQ,<{|MmLsToDqAXW^΀n{_ b̓'F&=dlLT/5Ώd傌1GΐVmezP5‡ŽhB7WfC߻&22ONdOՊk5pU\oq~wrS2U y" (Ԁ|^ϢY9L0c hK\ WCaK ̗ߛ Q~vm;mCKz\MP5p q0dSpͱjsE.|x9\ '##GFZ,+`\ 뭌^H-5"ll{Gs/R3.Fe`|p퓢EMAaʘ;ƃH!vꙴuKjQMc}?f-uNÜ@%Vrya, c"E0BQkVW ~$,3GJh2Lcy3P4g/%2223 7 sˁ' 봪jcC"(ڃ{z'@z85P9#eo#\0҇[?w=TXEopx_|^gݬb jNtE{ڪ5o<҇G !NL PI ۶N,d%9:C;UdO QH="sr"$h qPED(e"n0鹡 n,ѨH6H؇FH-2pTG+!GsU=P8͕䎕f" !#m/pLqߧ1N#DzɆpv%UtjD G@cr^,@Bz ;fsvc>U'ĥSO2V%׾(haWixe#d>ba%1?뵝jtܗ>,9BX[*a3­Z(q(jTWomc,0h_HO@"I6P,`R7rRYnW<ם9%w6.B$8y'=R@Z[r!ʡ*H;tR"NalUL;nBɻTӵaKYe&|r95">7 ;IJebY5f(Q)}m)}B=R=t=cu1H1(d5<?[&O#yc~i^)rS%*JPT/+o@ѱ,D&LXj=f+*'JGZ^fLSVќ+ 682sF} J97K{noeaO]*I`3kl "~Vl@@V,T$kx/ [bXݺApw#j##yMH1y1ALΕ7bQY  \t H?Cgy B{k / /u2Ǝ1RˍzCv5No$8N@|SGRgN*|–\bަxz -; :u:Kr@e=B*E]3) 3<\8\y6ҽ*[ -GPV9usAT_RΧ4%{+l[ uX.N_DJG( 0m|1%&z\hfepTsbLl4@=B\#2t +×T%5{Vs8>ԵG?_¨ᴎ-A' |C [AY{lqZY?~'XrW@K9;9&vaOVj zx#MHӹQxPڪQO2֣, +z$|>H8$͜Axb_h(:I]C=\z" 5z7iB/15T B[Pl񏢺K{<U,ȧ3#puC0>>ЋZr  ۷MFr͙R13+n=(N)̭]ngk` Eۭo1E_khړ M!V1,'xe:H'- )v.&lʻ| h{PkAog"E:BO[I_*Wd"D=O %T S,rI㲬pye8vgF=HG"C;+ 8[vZovxe!TmKC>W"}as"1RyEع΄#%}Hp10DjAarkU׮mMNcKGs((nd/ef+u SXp=bB Yn,\PDe,%KP Qu/?*UZR9$L/7L0Y{LQPrJ#yFӬl z{)te9L߽ JٽkiubR=}s(7p1 Y`@5A ?o̲N"6$$> doq/яhYz''Lk?~x}^eF~F+A1 2r.͋pX~:5on0hX9>|yfj%<rh?FQ2|Uqis]J qW/ &)r F7N;[_iQ~`Qa\sO]e+:1%*Sd'8Z83ǿYNq$bP^#[҄X960ΩCnٽJشm)ѾAc`hq#`q^ll.}} MgLD+V bLhj !7|~(ZWV\4g`MȞ!~RS3p38Jw,SzՇ,On6;EMdm@'T|ơc6;h%2F ErjtfrIǠ PmԺZC펉Аׂ%^ʯpchЄTVK\gy,#0HG< ."sZ>hWF`p#O)Xu 6؜ g΀6D _^;t;A{%}=tV'{ppK%6Sukp֏%dLNS=}E(}OH^8)e{-317IaM'2!qRA;v|uZy6kt謌ndhWɰORU ^[Lvz9]:XСwev(S==AqΫ8/QES~<݉qJF5]T}J89A&s4 EOVRLjRjFfަ +VilCp\m1c$ Mjf/ePduv W.L 0#>bsF_1b-_Xw::7A 2\<48D)i}-k'P \+)Ê궡p4.Pw#:v8 fYrVP#ϩ}"o#z+ x6bBO-SR5JV3GH]֒9 * H#d:q4O-rÇ8LQQ3y$ ?"9#$ RMx'6[G;ㄟƯ-p){ vu]jhW _n]aEC-W$p.Ҡ 䥫7]hMRL؉Io$-!/v01D1=orDDVCá:VTjsr 3[ߔ5 Ow<1[y+v'Ue5G2\ v=&@;b=✭0LC>B亖~`Ct]-ǛTG8aˍìZ{ϴI2ނpFXWE̯c9؜ H< T z(v Z)L5v[ w}PacODM-+G1+|${|F!ME 0=-Ǒ ƜD $lRdQ zcW6<%Ks01%QRG}*[ e N͸ FYᗿއc4d܁!]8]b6ө .qQk#7 7U'Qj|\O /ڦpSB~Y#cb?kXpN'Y=!Rj&D݃U<%YЀ1'yBy.J'&D)ańe,0 p_(?a,s? %$'X%%Ѱe]Mp 8onA1t)zb,Sۂ Gd5W b fF:ɓăpK҄x7lxj_TR\d/çeaz;Kpvyj2Fƚu\ѱXmbw3bgS.@]zU!ţuCo9tK7μL>+6|k|#R,0s69c!\?KpH*0mqW "%ID5@- 0 #1mS`5F𣶐o*Hnr9x yNC$7 nA"LxCʹQ9f(JBtap@{ D! lGzLfZYrV@UMctӍ AY Dݢ8{?v s4tBe4qX1OQ>WEXiL Ek!e"&VY `W8X*[9Lr86Z-Sl@'avrxd""y;Nɑhx!@{=t՚ptX*HbYcig%t7$3֣Y.XQgZmm'R14`26,$?mv ^C4ILgQ5kVA^vTrTZDJҔliͩ`[Cn1/ҭNY[{sؖzaC)38 V1! "^xä)J)m hzrl9)b'' Ea+A~6\'"{x$^SC4z(|VJض)v./3WƵ5a72,ˌ+G'ZG<,fXoCr9ͻBb-q>C\a*ֆ7;㨯hoMU]}(QX2rw\w.$bM[ۇ`8ܷJI@poΦ=I*T^uN"S?Q$eLJER.r 9qJ^j^nfk1XS)۬5OKIPWbQ=|UrX%.`=`MI4X[EXQPqsl|l5[Ef 1}uq)Hb?ۍ؅r.m9@\PdiýM[3;ҐLP -NA(c0%W,Y^ 6V4#v__܅PUGV_s89E7I- )[z!1w4+M[o I&0g"N2Ni2vg̃1~*y9%ac >/Ēv ke-֊թ=^X8͉"!+N0U1OdlUQB>,&Ɉ4ƺêAf1nt1"9XgYy ռm]RZ_nQ{<7JWGfʚ5B _0@L{Hs+H8p,!4+z"#<6ЩցO6ȏ-m:ݴ=oV.=N\<XCYC%^ŸMe v?y8ÑKTЈij6.n]#3P|qg]="}X~JwMs9f!4z3I;K[)092t! ~ ӑe`崿F8!w]eo[X-o-58ye~X`k@IP ʌ9pBqR^Pu-3>d26 ,}y@?wXP، ?};ڐÑ]he yXor4lI6PVTGW.נ70:hx".5'#U2{E/$=@G\1& kR#35 Kaƺ 7v5@liy0*@Ѥ`Ч>TRX2ss:!ȂY TEsTRl%atX-$R}ѡM˰QЌ%bU"އ&Pos+ u'o9lxϛ*cYUl6&55 N]h\8 /ȴ'I3훤cx5 8H?*w)J7Ch̩EpXʙ`B^Yn~IpJg32iu,܆Տ֤3v8ӵ}nǠ+9 \^jPyHFq{cUQB5D0nG9t-MnWF=fxxMjSImsZRQy+ZNo3ca:4f/T;s֧.)>1C\[SNiLٹs?ٞs=;N5 ZOfKlTevdhE%E<^z銅r& DgKOD<D/SxݰP^ϓxcz(=13TS7sn][Ɍv@sH@Ok9x5EX5ď%+gmĭ֜۶$Aע㊊ky Qbl ZolrkJu;Cvr{w+~{菵#Ξ̱j)I[? zA`fyJ⇂iv$IÎ"r{&Ϝ4E'rD M|)m2U!(e:Lq>\[`vB51YCm8YQ3GJV26IoNȍ5>\ 3n;GM__\V^l͵ws%Z+J" .uhN #ǀSbyi:0h]!9* >/Ҥ_ m 1`Hˢ=Z uК\{L<,4,=;x\5h+8#T dDV`r!d[kn ߶3I[/2d?C-ubg1^<3QxCg옓Om>i*E1PDIAn ?X|5;.—Rn*L%Tzd]y/ XǬ:pg^:uĢI:ژ_HitˮmA5Xt7 *lǴ_ƧJZܖa7dF\SwqH) P_w;@D%S}-O=k;n.ibWIt|߇)@'6po+o(=zh:Ydh}v>M _6 I|bg 50@6]Ƒt`n$mLdN@֕?\JNԇ^ ʮA>k$+jbLu1RvevT̲%?խ2ZY"xeg8;!{f@}[u eZ(V t=9:Ð\K]#ϮͦDհuoJ<`RoC#&Gx[QB@TS,.nO;`;g'Dv 921(y~fFVɋVimje\ޟ ?a@VU'rT33 EGc5 ~ W'N~r ١:#C>`WP*A YNt&p-rL\d7^k<] h(j4`!PCR1ce&opܖ P6T.0T0Wf϶<*t@2CbfZ=be E\hw).khK!rQQ>w:%nԸ&u 9u2Ir~p)Rd{ʌ@;zb&XUp9{0uDm> wpۯu5/67)-zqXH>@^G 9'c :;OQ[Z!N]n wCZM$#/T$#7 6wTef;\}"Oq6%*;faHsC@;~{B0~^j9V^y[HBmaLf $z_̫uTM`ʃꦞ>[龸]%zi}SjPNdW<H e1K9P1MUA*+ю AR7 ƽUtB.v5֢u/dRzdvivrʓq_\Z^Adт3{bAmهňq<eYF~҉"|%2$ooѦq-U >eQzLR\u}rޗbŌiToĀ+]ԱgYZ5cd5f6224ccaa80eaa7273ffba3a0549bb613f794f89cd12fc22a65e55bef97b3448b7e615a544da61c6ce68da033e1d42b90bc0aac8c2d9a6acbc9d