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  \ \p#TL ]S Psi_Calculi:threads=2elapsed=639.750cpu=1137.476gc=99.536factor=1.787zXZִF! {d]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0MeY'y֒[;sO, '*FFlݧm̈*V!QCoF)\v woE%k֬}hp7J841}~_|V~ Nvp,îU pFYy){|5w%WP(;la^ =3nq *"NX,RmB KtyKmk-9Ш3qI,0yl>)aNl_R Ҩ)&ҞvV3uƘmc4q7EINY7Xz3?QiHôr;"(,grBy.pC`nqha HI<5pHspL?M;E;fӅUFZtC ?-J8TI+`M}@6x_/%ySٵ,Ebz5:fP(n:rPtb8xXsttyaܛ܎kaZO9#C/\c\qU"` 4 Ѩܨ*t9 utp,ȑZWmkHX u BK`KZeh^f,u];B5t,Yn͓֨K٬ӵSEiy}4p5hP{[u)J[ќo(T:e;l %R< Qx٦'Y;]c+CLh^)-(ViD{>>\UZwŋiE9<}:=[)'q@z&P"=UgLzt>.2t&&ғcph;6m09d́J<{ϖx)~ZjVgLCOȜrIpvr6p6"(KTنqy  h6EJf"8oQl[Y;qV0N؃Kz6yu;z]Ü݊[RX4EM&&u5PHDj _6Y` e2t2 `m`/rx{~@3L6Csle1D{3(ODqFi/ietE gcfԇ$Gq0=ԧϗnZy.5Zg)5Kfoť=@y5J"2V;?t*.LW"YU$PZ $.W%2ZǗ"sx?7{jepdS,{ќq]ꘫV63?4E|ٰSQ3ymS^; Kc' a 'ZMrQTOW޵ USs'6ʯOgɵ?n@zrdtCؠV/̨0v=/ W*S%7ΉHeSuj1(Z]^he$ԑw/}&(,zBs^^Fhkʼng#_y(yqt ,p/8v4E@[SYQ80euyY ѼPǸqsUn֫+б|Y/#OÇ]?lAйr^+{EgPל'ץ1c N҆죃\!R~'Ds>NyfQVO&B0Ij@AJ&.U`,FR<B+Q1>@'7w\aAx8ɡy;>mE_àZҨ ~,Cz 6!6 O0phkhr;C8܎#~+2Q1{D`?ca#ģS69rf ,MC\O2Ǘ&,Zv=r?=[0է_9eR[Q}PcAPG&ÕT!^0/Uȉ֭ ɫ݈][L|)3=n]dP{%{Ҕ }p7Ĝ&ać0M}}G[tri>L/}]8jJ\o|wZܦߊ:sǃb91PΎ,yGzsw3 u;9mX=δ0oyqtjR 'mg@`7_Swu܌uߥ85ds DmW|Yz=oI$ta!<9;XCJndԖHA_6` נ&Dk.ဒ&~<8K$%W xΞEI'X js0gt8%._S7!#L yoB9M8^q.-J{3z:LP!+mGHqraۖ2|7:xIU4K-C|uyN>쉙4"T+.9.L~{yBvOw^%Bi=~MƮ? 8K | HtQغ\+ c)ix,TcwC~>@9)R/yB2mKK2=!B{*ɪ~b$XA-u٢pnHRVjdnN91 G+\T?rUSh1 ^'<\ AHFS-n~}dbz\c?]-E<~Mcoz a$HhPy!pnԿ`$b{Ԏ-: MA=׎SzUL*|dRT%d=!5i0!{( =SSmoifަXcM"5\LuB%+t.}NRU`>j֐嵂6t|䫯 >73DSLjh /˔MN'%u˻]s^$; 6""L!2V́'kV/oĂa}-j~jYY˾ ,w猼41bw1Wf/ Sm"AV+jk9v10@9wݾwF@@XJE+IRym^!Qs@qc+IȢE{bR(j賳 n-_ث n75vAu7×,+fd:!N⺲!+b E\J-G(j=?T[u=qB8d~WeI~-e|m]77=R c_UDe>Hk\t2*bIw*XcvyW;L.k@m rsOkKAIMo$G4 R&Oͮ8{Ǻ^zBp|G`ğGFv-i4rXͅZH.I\-nd c c=[ p:I:sHz*iR +H(:F9 }z{5[=S^NaJТF%t1 y0#'2"U7.w4]30=&Lq ]>Utj+]{jABe!(Jn4;Fh QJU:UiŐ4EAj-r:1[fxUk[<H Q= B "`6=8;B&ir̉"n*}IY;5$T2"#wn.zlVH50Y2-RNk?E3ږЉR'3 % fQ`\ 9$:{m Kk;Y7$.乶Ofm P)dM]ЎQ_ޔ5wI}2iP:kLpm,p~~z@/mU_SDoq,2hul| xfcdBV~kA(0#d'x<"׃顠̊8F>eҸ h V#8}9nzLfVT G{@Ȭ3,Az70uN:NdR30E)*Dx.䉘gmPhcScfg7 sM(Ukh\[FmdDNL K@@!Fxr503JbAksDxXTy+9 ,d^UPY{Ufpo $MbvC{|G1bQjW]QF8,!N|[8}콲HgJ-e2$ /[~WO>P.,M,o2%Q $(B'WoQ]CLK >t0ٗnF4?E2&QjB`QLE;"h9QkU?G?kr]dUуd= >4cR&!MvErJ (~"}V2U7?}ja'7V8ĥE,AoƥVK%4 )inZc/Q)4Cb4zZ>[bu}Hs ASJJT5 ^c%'; aoϘDZ?Xݿft #L6 jaKAу+ rRjR@k!>gNUp;M}ACe~XT]_.`G 2Q)iK؅I1'ӯr!oLe>Qy n#B%:P-2T hIH/N,5Bo>Cm}:5D^bbLzgwgǻ8 +Czf;;˱DDGb/^|5u`%[W"G59S6*R VcL Һu]p:02[a_a3pzO)_MO[/-VTxEaQT6pFatJxUp͙÷ueXÚuH?AAzHSNDK@T\<)H # X-d0҅e"y ?U p,eYe =4_$ڠ! 4(FL3[fP=˱H'J0$OՓB3DlHQFo9o( V~Tx{-@&|k#?s//Gw)U!˵IK4nvmR̔ȕ,9"x ?qz26q|K3sM;Qxj(k`1C| CFg{"جJkO@D?齡&?M3V$c(OgL0Mr5 M5uҋX"l(놫d&>YG/)I: c.H/Wiw* [(V==E W7M,J.r$fοƥ&s ?]&}>ѫp!3X::fj@%'RY7DFzR@3Ɋ8`pQhp V9 *8pl3**q!|U1s&Y(1_}An~#63$聨}: ڨS<?@=±gYZ7zXZִF! C]ŗXiɟ˗̵w'Sɺl!\c!{|S9[D^y0(`Cb6$\P)n;l͂޾ SA}AJmt:]w#7G )#b:jEC:\_ybMqf'P#z:BNLOyx/2 2&<'|h䛡2B5\uV#eh/dn8KH2@4@)q! ؚ&8S\TPڥ'ɮUn2?0xr>vumCkM[@pI `TIJjST*VX3kmb 4'Bo?6e>|`*ƋH-gu>K0ژhxcy>QJX/4$YgJ@p7 U:o߈O}Ti@`AmoH7?@ X#SFa7tLq6^[D+H'RRQy[5Q~"/eq:_Uqͯmo[^/.RrES㮧E1Pa{tb/%-P̷$92Կ^YzHK汖/ "r\0!铫[#4('5o(vh~kV=1V9-Ä9rńO. LT[H T=_gl:OJ/}9W&TKTgYZ7zXZִF! 봼=]ŗXi%;@Ox< \t]fM. :ch,,s-Ckd̓/Т\8W"?+vz1+hL63 :i_򉚜ĀE@M1uP^y4!oG솾\WK-Pgue'9򊏖P_n, Z;NCd$[D(Uۺ5QR* p9#$b,$(1I[ 5q،m!ՕǼ)H:N` !6fi dسIYm$Ҁ @d(D`e uL'03]G]5 &b)hvd뾖ɓ.\69{ꎭ1ΟP éE '"^$b{C 'D3:y 1Rd6_fezZ'dG /f50E=`mn1|,L1y~ 'W7o{7!ZI7A^Zȝ%,^fBÍCPթuCo\B݉%rc4`)ɚlu(Iz~*8}߱揚|H:%Z7RH뷻QlGQr0Paа68 Ô!Dv.ʴ)0lߌz}WGh(*^zNTь0U9QT[f͖B?{J#+qT kL2"=N#;9M=wgd1T/k݂ȫŲ@ߝ񐫰QI},8"/w zʾy=j\8]m"ý2,# 8!fA].g.%\Qώ_τ^\A ofka>Q`io%ހWwItN>8)or7T;6 g ٛIJ5ܕ#վ+ٴHk틔V-uڬQK[ [01' a9"N?WQ ^ 08LUζ&}PMY@{! ?3Mhka}|mU;~@QJZkãT1 5Bd:q/uk3цTu+Jks8ps ̚ɏWtN naΚK42wb3NZS|%;3~ǯb SX073'p.[DwgWBq~>kߴ+;h7A?I%GQ텑 yKy ^dZۦ8vIraYȐH7zf)bwa]VC0_D7nRFzĐ; @l|+"wlqZA+7?x.DHRk[B4MEľۼ<Y>8oDYz"W2Κqq6yyW<ѕ$ ^Ɖ!gdW/ۊQG)3<=h>!~&+V]x 6.V#% ȮK>}WAoCR/iqcmZӲ%P%۲ 6gg݇uF#'vOq7;3(8pHXk%]*D0o݆DN@M]ٖs}zs R4ǖˊ8>\=@Is3@`s<s«dt?c<,BA*(b$zV|@Jucu䄙3{*N~ Cxy Е!GSwNK^Ck#{ B[Q(I _eJH;m5:oa[ԝ;¨lr.mv?t!.W{X%9`@xKIƒKd-ٲsa$ՈFlVwÌ^y7|A蒯 %rmVԟuBp^j:I4i~Cdeн8^[N0pMд'^}5 \S9`ͤ u2442۾紑vFr IY&7 őrƎ1 +#!bJ0ZF^NGbVf9\Q7]IJ)0ß)Gɇ=T/Pc$>W+ dx<|xd! bcQdJBo#kN>5q=kfJ$v!}+21jlO/[Nd})4}2N>c$go:f\l R9@V _Jy5c2׮: / zh,KQj(W¦w!2#:̭ɹ9!3#˲+;6Lh@BȣNڟa~ zl"&ǞG}7(H- @1*]t.8-9؂Cb}g)r*9}i K"g_jP~So*BXrԁ[* C&{"<6Eq4)THU29e܇y)_KH` Nj_bwvnD^1-ICV&A ]Y櫺"~ѩlX}:K1N{v~JĠαlss eˤ N7hߘk'땆f4b[ eƷӨZur\5fxlĒXY4:j_{zK&Ѕ1fd p܁*7%v *Mq-v,i&HqM̫ja7!i֎l#eGExsM`fO{UֈIeaN۵5+ Pb0 wSŗ3ZL˽@oEk(_E\v34__K3 Jd6ր_vu|Km$J͜On/ AQAU4SW `#eUHx#n|[RR^9c/1DH*ce]xнXezj=k8.kMl{>T*mM A^?'K{2#e ջᏫ*"`vBR[}Ēw #3`̹ gAü?R&?njtU8Hi SO>2ֿyi"!4IDVn5.uG#j=)_3l Iwd8f_2A(@aa ⤫ ް# }}{**ԗ?њ^dE{X޶=t7KH^ޤnWa&m|k< tFD?о]G<2C| D2`eש=:YZv`NPNNJM&C!=8հxk+c}EW^?R6Iwbge(.Ӄ-s-Qu0cP>6Yfsy:$ m-+1U vQBC: OhO(JV5YdF/E`mJ=OzU(wVv%8Hx v#ĦC~W\|o8 wv# đ= =tЄ]Ef91q*BT#Oo#6C8!^Zes[rԮ]á[s_ˌ_"#$+C)\=(DIZKݩ~q/ 6Dw#7D1֧pgha[c ehœ*YLB:4՜2{ ٭ڛ{O6gRxCݰv!mWl,FN}v$tFs+m~`:w ( X{Fqu$cX]ay؏cUCGN>̦:sqBuIMNVǧe%H#5 ߬3QR`P(~!Pa%e`I;R3kny[3l(HEum?Hz '~\hBCw' x!>m@Ɍ~Qx+Iuuj [[$h$z1=;]w!;ҤYNyqv~',:KfV&+fuh߄fPǒ^?> ! G4DBaK hLsNIåshꚑz9D!4OPΌh\ykE@0ʐm,0%NFϽt4ے( }j&!D[^I^Q";D+1!5 ^ot)NNKZ t0ÜA? Eaزݜ@0_DLWHcJ;@]$хy~rX[:lj f2aed^oQP\'Da!R2=8$8{V3]2p!@ JT!F2p$b׿yKmV6Ml2H4x5P L[ a:aj72kܦ. SBZ풮Jm P} ʒKZ<O5B#ȓC #[_TJQ)|X[tvpF/^HMS`)("N/mZf* ᰊH4sbu!ՎG.fp!eX+T@l_3Xݰ0)8|?r47>յb">rS9^.TSSZ nbT!ų"JCC)~/geB 6}x  /4g?=j~|[&e$goLŰAߵ3T[gekpL}l%q|y+(=gx%SNP|3r -?k5.cƱ >S{VLN 8ċX0MYM cD''dߟh%==P;MHёuSRz)}IuAסB3>rbaV ICXԶ~Xn,bvW*BP4X_jFehQ3 _#p^ꤷ^Ƒo5}W õ+8  8g:. 䟡%nA 5^(o ={#{]N7 ֜_/Yy⤗k-I ̡[^RC|ikmYW?NiD@=6Hoٙ=KO.PH~{pyݩ$IkqfȈjȨZ~;7?Rԙ\oOLb~Y#'Yt?B1C%c:㿱%LGY?GDZr4?6MW0:Z/IګDx#OQ si$ !:QtϪFy B7&Kh=C]ISSDKfx~6qCpL@2Ti`Ӣ owy~"hu 9AYr,,۟?tLl5d +1kRL5E&V^Sӈ|#(;whp/:n4JC~js8ϛPBڽ|p"\ \=.j!=e@u? r=l}y*G㢀_,Y.?`Yo ۼ! +}_FuL;*A p__ NPޛhcMCd̸,TeA+?Yb#WG+ L@\ƳCFǔZ Ey޵b=p=JqqCq`{-dB}R a Glp ߀!@AzYd?+:4~kb{Fɩxg9!i A:'d{oW0SzٷAwE˓ p=$"h`ǎpל U앶֛ӕ{\˹1׹o= 0i?Aѵ|T:L6AЪWvYqsN+Fzӯ$>ens~7CʄwRݭ9' uy-燴pH;~3ml|tө5dCk?tf.c}h#s)-nbb[e¦qn+@N֗9v~YZ؅Ǚۛ EbיkIRKzHȄc2݆4L>~pvH.ca7ѝP 2A^jah vQX FmT|IzEڀYܽ,a͖dzhp3JAmQa}drluSL;!FmN:|TGQV+Iϯ*¿Y=X6B g@&x%u؀\3}פrz4"?pkT֔wzspH,"܇QdYAhZ*DAoKS%c$"E_qjE\.;pI\>r@k,OgG&-8rq WYXXr N2 tnza*3ʥ3Rxl8~@8@2Ҟ-s z?HI iz&{JЧ1̹/JZ0K /`xz[KOF]zF `T` [ esE>'+[nK97s?B dѹ.+BGagT#Pl; -aULU 42MaqƄ_DX3B rj nOCs(O#^}]bx>A[d 1 cO,%B< +s.IE)3z)2" cQoi{k[M[\ЈUpAd=PϷv՛ T.=9bR}V^[".%5 ڥmc^g s*VRG&?fZj]Ѿؕ0< iױE#6SXo+v.`!nVm\ْo>FK$"۰<*bQD&_ƏsYQ ܯ>SEH ;}#3]3)o1 i"+c7$V זv5@CyTZ- YZZt(B8g 7QIJ@ "Ea;}DH<dxmR\c <.O#ExU]'=K}$\JOkKA έ'\mcBz-Sr;4 8Y{_aWȔrhp[\.9E5_9{S9urW6~o1#vDmI/ 1>?ҷ_Rgwg$ `?%i(GQ N-B~O*GP/%x=p *(;s6o֖Apñ]&Ʈ4irKdvRJeV-?jtIַ* OaM?2ZLXZ(яf5n\L#*xo}.2mAmJt~Ljv^QY p9/*: GoLN$3~,'6P^_+VTxTm499ʁO 3ߛA~ȼ6 $6+Ev r1GGF"$'tzaR6/TiVE%9 sF;cAnqw /50gt+uE\\cuxfR 7z?=gyYH~6a /DGA;/kf1D `.!wz)n;*_@ *UadM6,P } aJ !-SۋTZ"׾"∏_%Bx4z+ Km%x4ba[&-x`fufLM<˦E МT'pX|SؽaU6:"3奭~hٕ{H֦LҒ2ZYp5uo5)_"uwn m5%./ sDCsbT|ÔR.HBHo !}ug8G׆.բG^"+(¥GG (' ѭF;W'O_19Nt7:@u^Q@Ѳ?-dIu@q2iUowz[q ee$!Il?P) ޸4=!{&su3 ak c7@Vu߬p.)`˓5 yZjrQ[P] Ln`?i,|m^.ڿţd6zH]Cg)Ͷg-ou]T9Eyh^@QSK?D~[NC?Pܿu `9Yճ+s+П;CrnЈ L?԰OO'Z Cp'%W/8ԛk,yky,,i58Ґ2?1EN- L Bڥ7Hԓ<ڦ?gTIoJr4 ڡbxˤ0*e 5PݻK4xva8o)Ϣ^+>dwɗ7lg`].TyN<0JXymu|E]=2ܔD+M pwG~cFgO]эrOqqz ՚OI~0PC&(jhވ&΢lo  /ǭJ^RX@d䖃F1߹iZO6sVHM@ȽC#T- 2 <?MKQY ip?5䒔v5;UB];}n j]@gKSW2yg<ݼJ#[uݜU=6okEޮ*LuBۛ7Tt 8D#Vh P>oܦRD,ó2w % ;T"'nRUKs.7NZi`sX5h&. >Hqݑ[v/82fŏaK%&$ڐG=|}9_9>]z dҗ-v? \=`.q8ozu0b&%q:?U&-]OqdWd ^[̐m9u͹ʗf=׋*HG??GKш:c^e+А196{XuvZPa7utS;=%1)>mD-`g49K )~-.J注jh 1'kȡ, ui6'I*C:/2Wc&]9ZlXH=!ezTu#wIոl7`؃XM?OۼOoY`GHI j7Z暬AYo'*}qBʐ :jNY% ϗm#U1t5gsBej]ϑrȜgL zPd- g^ ]/8g u9&ȇ’aNFӆÊEzb/E..45 i/?U-cFGqX_oV _qAR~/35̌(6C#H[bۯdMcq]c\F eK[ ZI3Q5%g}n!D- 6MYagF|^4g3:k*^&Ӈ:),ʝ^$?e{=;hb>xcpX.k'S#f/fLVg$e\)j5$/jBp>ĄYd*B$qT\~2ʢ[(۠n 1HmUa dkKQ6JKj3ҍ{X2tp9@eaV#V-_!&n,'{G;sQաz$ JY-PCq:.|z` ʖsj]VA8f1޿UԦ c=5}B\bF4Abu mtwR倷9=|*nDFNɉ LcB83-cs(U&ImTGCY+w*%GI8g7q=U[ ߋ3"V'MpFǑ7<#7])$=CYzM< ݆ 5-k0 i{ܙ%F}e}HI5I؆ʘ1A ӢkXqJ;XɣdT! Vu{fޒN@ ؼy)zqDo ҷ/.'Agw0Ǣ3nS ~[ ,[}xtdZ?"0t^&Z @PZY3J~ʎ| [nړ:H٩0Lc\p9{%,VG@gwOM[k,TOz8ǧ ;p}Z pOkpӅeQOTԲ_}ɴth1<( IJܶ~xyQp6WvVF?u3OK\0 `FwוMvuŴ>/\?:a"7z^!Sr6;yS_y9 _/Qt_Žvhș&hKؽ5zX;NJs^# ~OcOt/gQݛ-[}H :nCLy/.Fv` }zWA3U8Hx Jç:@NS1%# 6 Y%6Qmɦu R&=ju^ z6ҽ*IsRc.xB۲ n J&5-}.F'Qdub"U'6ȡB1N7piOO_,>e%hXJqܔ\q@[C̬kfZF=0B /3ъu~*(>>7HAy !suȟY34b4CXX!~ 9 tWFF\P}m6iXm:ՍAwwш㏎Fs.8^"w6Cyb0, Tήf"?v 9<*S1-umij[8qĶ j<Ӕ6t.]w%h ?Z8AT~ApՀ UyN+iϏKr^Al{:gڋ1hE_ ^mB6,V+A/Wym:Pj#{iI#3a&~9?I.(y\X(wWOlz=-R95WnU^*qӗr ~87ʾGE^AS(g5G]6 tL찫`Ei;gOT0&J| (U%,c2u@3xכ*lNR$6YU: 2B'ynqxZ+LZrg[D-ƗoK0 qC}pOdށ=Ï3mՔ }gTTsf] xJ>?n_pE ]5VC0yqdV,r ێ]nvk/@ŖH\fԹ{pibH[ya$ _o ~\IUZMꁗQL {h+NO/f(DWͺ&~-)6e~RI 3F_Ig㕪Me= xtF-铯ЍQ@-W9"qȏjDeom~H[rb iX~%ʈXZwUeX^DUhCOt-@͞0xh!.6#MTܦP{el &-aQ^8U`":U  @a:MǙjV?ʴ4X@xtX5 ̊GʽGJxQlZI(ojfQ1jzsDύ.;{SYy* F(5_Yt >R5硂ĽUX3JԚ^m"@ ̬ ě duC>&T"U2K X{1_n ;raC FU x&=T7^šSu_ 4;W\W&&wr@Aʱ t8zi "E]LJ%T?Yc':r+\5Y'Z;&:TZhvΜ1+@`*(8J^=/6W;MJwx xDݮL93fBʳյ\┇IRg|i R?VW)ysPՐ/ 5$۪Tw,7edgAr<ޕF0QT1tV2fI%b}+@Y#qm`Hɿy Mv8 e]kR8+"-m{әT?|BvylOvnvSfuZj!% .rpeDLJ[=ODz80KUȹ %Ľ6Z[B`-ubpzw;(=@ *(m!肤O?>e"%TJz- CظimǚJoC-mE|~&c2BJH%ΠD h4Dk[HP u buzt)Q B+-3YV.z;sKvϽBHb Q̓DV_ Ccw{Vkn柀ѧF*2U3ғVc%}W8\BBuPŤxxI!ҧfPD Ё٦岘ɱVjɤ6FZ ٬TЎߑ>%Y TS G7 9{Xq.3)VeUI'"u$GA K[7-dµs;E.œb<& K%^KNEFH3!\k ܧ& Y2tfyӫZ;Y"k^. qAHw2~>A0P1ȫ,f=> ?;o`vqaA}dȏQjv']l:8R/fȵEߚh=[1π7YM"B'`UYH9gȹpļ{ꑷ1u.r}'`OCIU:̑shp KvF.Ǒe61vliv'<T>϶xUr6N(P +%(ɛn6%vf.VlKҏf-ypc|?>6/Bg{vpv!V@GAt0x5}\B;@:E@ZOʈdh3ɂ ZVߝgn[7Ln  )"RZTQ*8ؒD~ҷ8POEΏ&^0E{=E29V)y2י BR ÏiRP6W5A&Rލd3CxyvP%9YM+gf^?gmAfwȽYhpUH6WK@$ΰfj :ȍ u*02&i_Fڻ-9`o+ E?Y ͖qJYm5%G2tNzw%KKqW5VX."8XL'+wk/\!fWK=ﳶզP?8t' rDZ1[(#A蓊GD{fYRYՇޚ j)]Zlgj+uT@Jb*ˮȃ<;٪h!ךڐ!E?jկuz(]h;Z#rl8NhEЦ,v'Y 9=0w-s%hTzr$y  OCrDZu뺩|VttR?wd|O}ˎ L_} \|Xg OI %?|e:movc-"_ÕJ qVi]q֡.R'(Edph3Lae.|V+trQM Qbt˟?2ǿjAk` >چ&̼O<7&eLg 1O+8wEʦ!^FՄ 0޶qZ p.͛Ö*CY>ƈ*Ã8.Z] cBZ,u9whY9эcCaisdZrM"̒USsU1b73v8Olrf3yQ1v-%C"CĞ\ Cܒ2NAz⢛eʳkQbD+4d큠@n,-T&ngC)l@ j %j0_ QOʇTk&pQ=0ox+]ԨaL <ĞL: 8ss#!! (2M:'LhB廳Hcqa苻nӐϚs^>pMq'J<7LDxm˲h>C6x~>/I6O Dm/~]E"fqoK͈6BhʄW5 m5M6i&SӑX.{>`b-#UcVi}U(k YiB^8-F~v0`9}0BUeb܌8$ y>lB_m^'zV9+5Ĵ@&{Ӳ7HP!/dj>i2cv tO2~֪O$*9!4 m_ w_$jcg;z^U61DҧM;+)+y}!G N&KS#RK 'c$]c_. iA~άBԶLg(>u)mv:b85 ӏ_]+lx_`{&d^ִkhG'3-G~I{F\A5Ap) BBQWɦ΁Ư'$gP#×njMfTvyOwݳ\pXwyC%l-|tʦ?+r٪ >*Z@//DÁεWsc@<žX0W.٤ ^&C=LԸE>1cppecL \oX G89[t&Шy5YKyNtA>a<'>qkv?s怤[v /Ch cxYg2y0-#۫0ם&-!2>"Na<~lep[,3њ3zF7q%B]Hsv eojGz{-7fNN ?̏\30I)k࡚V[MۣXT ؁:.ેhKCÖ+|{T78p6?Cz3Z5gtRa +e^L0'g"x?oukdV)!:b&cc2[gV]gju5) o5zKG-1fT1yhK/jleH 8!TJWc~t#vˠTrOZ ~meY *DN`ݜ7 Pww֌x.m=]>qb `vRԏ*֚kAA5_k;j`[Fq6\ՋyxR{)N$e{oQdEy]yrЌ" { 4R>B7X-aXn9g'6@5{݃ROhػv (kP5KocӠqye9#(^\;hi.85gP:#p'Z d{I]q0,ZH1EPxEl-T?_R7 q.z޳|\Cst !2`YYXa~o!0܌0=Ic_;ē345t8,q:e[#RMῸ:C?+Uzmi(|xZaKy2^cZ4[i)n7%`j#e/QϊU}BϽKJŽ ][ȟTsF_>wg#;B1# 9ĄPѺGno_">ﳎ~] Ymt f!Q3"ګ41M] ǥ3gM d>d4]|gέܥ:AހAGnqֻ x ;Za+"Sҧb[oشY>̌<_]Mvomf`HbVm\ЇlsL5 P(;5tUͪjI~MQ>mwoJfGp>mqb/kg°p>L+Z !uyz|.iF"'BLRy%=2 /Ŷ;IWjhL(3A`e["⣯! k-;MMIWN?t@D\yyas w-bʃ8U?1h7A\J/6pңƸ.X?c'e|2]lLp/$I#śJH  URy?inttRF0?Z)k}QȭXSVE׍QrXgǟN;X8 PӜ 9_$/ƢoED@> Еֹ_()ZӸڽ"Z :A+Ħ 5k/#2jF0dG7­ :X/HQ%*<(-bV.]8a=jjP;$<<_$&\&)\Q!pU@PZVM--#i=↽vS07Ec X0R'3XtL?`- -N$Jɶ"]a0Zhj%NԋQļtBDHֲ6ɆQ%v*4R PQ]iI򸃙u8{6pZEw]@l> "}?'i8U$ơPoXgX7Abrr]~udaxl,F(ţ^gy3q9+\RFE\of 2)~S@|.Ȝ5a3Cf%\#{GoХeU&_!sɒz`7ǀZ*3 m܎]~b4dA4MI+a-J ;'tBM+u#kcI@ݯ-ziBfo!hJuph`ia_gs U MJU^;vz٥y׸[4<ˍKY#Xk˪ ,ݿry壐\$Qqŭ#/eXgR)T3 Hf@c[­hG2<cQvEcMb'Ag 4=\ASC|h3DR[((6I>DCJ>7 E;q#uN$+REeՈQcwʒyLŞ'Eoyۘh1v#QQA\ Hf(-EjhԘl"bXO@d5Ғ[8E [=)Ǡ էg[4>m^$Aoj=SsOt5wN6-KRJTuMK{Ĕp t<Q}'Etj)9L\n#LnHmܲ#|.[Ys{C)-j]κ~a8ٖ6%W2cZۨ#'6 c&6ftUbn@wf8C'{kSTyN=/рNbN~m3B`3qV}vqYJ< cX:-hvJ9w(<ޤN@,Ohxl:| >DNA:'~,qC,q] z;hu,}2WJ{W\-&eLϬ{exxAyq#M4fB!<%_EW)Z}RK 08n)tl:UeA#VpG)hT>8d4ܻ*Z)u{:}Ѿ @$R+[Pm 3+%XB&O\-/ V@(_uݼK.KM}drz&'!>{8y#?d"`=6ʕ%,I@f $2*bvb㈵XhD=X3>م^@a c{Tr-7:OjfI`>8jf_`\.ÊA u.8UЊdS>zD n+lL2JQ,KF/@ YsObH|kw$ӧmTp8p[o<#0h+""S@Dq%I; P|L>~bqb tN+bc,kv3kH|8n0{;;FpJs.5L-%(O}|MVܽ|AP|i Zt㫞dK𥕔_ӣ+ uf޶['gVr#; I{fZJO&HT; Bz%R4<ψ?mlWwMFaZMX$=Y2I0/ZA9޹2(}6E5?dJ6 ^OjY63Tb47mY)qO!&#+$&7o+x7G!wm KF'g^ik:3"xEKV`}ؘNK[V;(|*RL]KT]6ׯW\ 0TƧb76j4PU0Jl&#}i+ $j|_ex7"PAlAĶ5UjHoyH2[|7Ą@.C03nFɑ'hh`0JjpM& QLBHV9L6Yf[&u.(%i;xXMRIև 'A15\f'"N^jhLz7X5Nƾ5hɝ݈ŽS&ZYDZ4Zt0D:%uMk;FɒMBy(dojݒkw-Ps.{<#=j^񪪈Ź^ޠ'T|ZGnBQ6+r%42B0q4+w&<8%gQ9- ,OZ WE~1ۑ }9 8N3!]TpA#cGPzM`X ھOP[-CZ|ljݽ4J } DF\doSѲ%9v3eњ`Y^L,g#?lrH+oc֘oYsQg؀ MfPXB0o LzciSNx[wDS.*@s硆X(5#GS.ˎMy]YNv;%hh9Ɣrݔ]M 3Cu)`. r{s" D~/n~2k9-G<5"9D<;k:nq.R :]w ySQ[u2NI I0._QU6𩕯1,esޑ4ǯс }|G 2~U Ƽ@ rB '1xh߯}:S o1t( Έ {\gXw_)~;B;CݫMP[6#xaاNd hRm%aϒmAf~ b5*es׃ֲ \¦K38뜼 2#2t 뗲KM_oWC,@}y@ 2oÉ[1V0xfG[ KYXV3ŸȀQj+ _ vPxٌyFE ,`t@2{xUb( k~ ed ֭cĎ25(AM6瀁G^r#PUOkW@'?c~&Ȥ>=?ߩFlh1KGf|\(\qo" W&UP}H~{Zڃmq?ۖ F oO@k.y@Y._8LaWŶNJXл  3~~ʃTmx6kƍT'm>MۭGHͭZAi5;&; FӒr0j+x;dFкϥP_MXkb31SHMz} HL{͡#*=@MegvBC@Rq߸2^.P`@ۧRxV {y >IFψ~Ea6HPA{ByE݇rKXpa4TxHX I[gC2,}(-(>PY/k Ft[-b^.~>5ݕ7`X*ճv6Z$ g^D=Kv7SWp DKhλMZ2M>BM8)@*p>Bb-3[c^ɰS~&6mD   qsˆ[PBB"-֨h+ѧR[ m|]d5[*TNl@c ^O&ꮞasH[ k[JȀh ޶|~FٗS^\~fme3v# tY3$X! ~h5p-LXۡ1sM{W2V |Gn0BHNTԚN}A/9nXoI^jG*.'}m MA6l@^FS*Lu~TvW"$5ˌUmG"پDFdnl04. q.k4W.u~xpa=bXW}T)ӫVW|v 9* 71Cr'@נas7a9By21nN[I㛜f]֢3mFZDRRV?a".`30bqKζ4>.z?]) |4kXxvС7 k(Yۋ%*`c Rc #];v.OW?kr9:,ޑ՝e@c#x]`%*ܓ-8\W+?hT﵂ AұO  &4ۑL-s }a QnvBS^METb`R]r0Cm|lƀBENEthǵ#p:` o}C,HPEl&ɏ ݀CS@GݐsG&%Hϥ6NyI)˓Hc $bHD!Kðb?y#6DIȟ]1Q=s ָiN^Lq.mZ_ zMͭbiH4b"{-̾u'EkdK>91"Li/={-xO365 L#!wy'g>wDgh:1JUjZE.UG%l8{|oUV`ׅU@֭J`.#]5ºPeiSJJveG݁j_hz$wlU]ke/|=hrA[Yi Fc5&UBьDBgj ͷ.ڬ۱ mۜFmF֖j`z7~1T os2UZ3;N5q3Ը=Q`&v2Lm ΍1*Wl̢lOЉA8T}61N2՜E4D(7aD l,R*d+ǝ+oO`ҏp)e 4V `h7@ad/Fglo94$V[RlR>-pV|2!{>.M#̙PuK$xjtTWdRtC&?|kbώT5w*N b Bp&Qd+T9&Ɛ*H,6妨mEqxh3ca[QR:j~:u_"lAaûI_gi*{jK p.:*=c.RA Jȅ옑VVBy괼_0|-Qnm[b WK=":@1^.|2u8{}mrIǮ8.( QhgbR۸nΣ==:\]' ķA8w @8' ;/\Uyw։lLOΛ!Yr ncG$5Gߒm9- q _]3kSVNT"8Eb}ѸhP\)`Ԥ VRLD .^s,Goc\ֶudØ(YbW,6AF۹bw>ء08:+O1o_S{Ti@qHwFm&flX@nSv澱om‰OQ=Wcf*"+]WNDl.]|tEM Kt.؛p'>TVBS(b-6-ѳd'D9!Bu:u(IfvniT*HV/( vhR%\ԂdK@ޏ3I6Ѯ .Y- >4Waݜ0׊ָiȾ0cp}BTݿ?uW|syz xεiJlOQ&+*lu# 37Hkӳ4QT>xnKg~g=g [$T~gq6gBuCI"jrl<1I6̆h 7enj-{Sq瑰&_YM/#Y8Ш pF_#;AWk[&Y? ×Y/u*p!>y@H}v2ò M80WGsJS}r|_K0WbE[Y=R&0@`X" g%LKk8L bdyq'قɳ9vk@ WGbrj|¿Ño"qk\#'pαN:ĺMTiK [U[jryԦM3"@LAېC#.I{xBpa:RI8afV&<ڶ2 FՔa2ٓIbGPlyLаʬ"ӻF5)@8;lw:{>ŵ3'Te5(^9(ȼr\5F"R!5fm=K}_,9-&y/!3tЁW4wJ ɢE:P.⾣qCN!\`oJ'g*oșӵ&):X 2/Jb+yAyhȒV,fd"}"6襗Crʶ<r^\3'J`Ҕw 9;c YFf:1&^Blz:GѠ\}i1a e:9 fi6ŅՕPأ<|QHp%/˩S1]t1*Q֎@BNByr&|Eȟԅٞ.෬gYZ8166b94858b93a8d8faf0fce1e997b0d2e420b0ca70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c cf4c93432a2b1b1e14cb0c6ba011da10aa0262d0