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 ]5x$$L ]]Amortized_Complexity:threads=4elapsed=58.863cpu=193.964gc=14.6727zXZִF! A7]ŗXiɟH)0%oeیٶEt G}SDgr`މE(`lwQC*WfJZg2t0R\y(83{*+Pᓎ@Ά3\)O?P5˫j>^MP^?*9k86zCIUI^87Qɯ+*gx-WKBJIf< u 7 zaE\)K(0zSnk>j|uqP[Pe#; lrbM`䋘F?u%\*;m"2  ;zt>.qM83ִjv?=1 a[CvN~pLPH{ƙ;gʎN2[o{ }`C֯xOe$F’, ی ^lG7)ҟSr#)/E~^% ~22.Z]څ#y~/܈;/z<Գ?ykoP\cSb~nPQ]z搸Bl1ayNh ߘ8.I+P`< |1jO?u7RV]v[>Qq5ݡW cKL?O}2 w1B]f݈$ yh}3Q\E7gw \Xcf#=mj @!Pơ.F9gxف=_;'Xa̒F#v4;nozWO|2=O?958DKAWT4l{qg/A-oWc;rKIM ejE,oV!2Ok6!s {ɰK+ ]340܁68][8J<s *KuivHbc'#;m{:I_gZ"3W\`{wNȼq%W)q~樌&D/ޥW w乑8jQF')xs@yt#HPP]7#veث0a(㨽S)u(*ՉN5vdi Quc$ݯ]!qHvy kii)Di9u sJFcZ'jp&'LY1/PkUْߍᡯduLc3.=j6? ,IXq L9 kdFjʴXa_rdNcL-̀Ba:U10 2#yY/|L_oX"vޔgאE_iEl<WfRwNo'm|7/#̾.zgdg[a-EӶ+$ ȰTz|Ț-z֘E$ Zj6>e)>JHv  PJ% JdnyW>GK j88Ks8 & 5 Amortized_Complexity  g7јYoaߙqc- ˷<8A4rPuGnXdPJ|L@%pض{a ͣL/5Wr]]rr&3rwipU:g\T68CX> Ayo42Ltt*Bij1RP4Fv,ښք9a-f!ļ\@*D' |2v+ݰ+/QasWxפ 6iĖ_1gB>fjx/ NpH3PSӯ$% V^ٵ琶Rfs9]ݤP( y "|gl( k-PHk!m,eP?˸w[]O;a(4q9}\޵}hvB %1́)bLR;9I#i) ϚG{a5~=ҹ* k(!0|݅VZXѦ&Nj !@GLD(>aAP蒥oX:ݑwSs@9&'':?Wmzj}єX$ ߌڐ;P"Fؘ~i$' ˛YRPP5\!汅%̉&C 7D8? > 6 $:IwjvjsEhIL.]*6u4v:r[= m+9psK*~& ͅ^>Ge%WsJ#9>Dh7KEm+(*ջ?3R~4,A^Ȕ1{ѺtX;4x3X-n|QŴ@D%bRn/#tCP&P ODWQ珂b 3s 뷪d z`(NBw%t9Ad쓮<fNmV8(>3?v*Ã//Ig#m~<:=r<%X+z6y5b6Axt]͘ <쪮'F>XRqW!dF,._BDw M:oyUDfJ VXI}#FλgQu#cҜhJJY8Ü0h8_H*ŀyL\0VmarS@iU80sAUYp[p"AJ|u *XƨrhۧGtFe {#]/ũY؝"%853X.sLz0e3&IxF]"OyxB\!6x[< bz{7;B}K+ NwAc%uMThn)E#4ϪPu;&dҕ$Y{p$2N~P[۟p^جb= k)mn1\1|:Ě!w6W P͢U'a-hvaZ1!^k&C>83#=E-Z[N]emolu;,,grI`K}^Ƴ>l~[\_[Md$t͂u?$ uRс36޶TfM!!CfL}Ծ.#v~+o+GGmc9k.ޜq@>|&['}b]g9MjSbi4mk59B%(.>""t߂+K#H7OC\8Nh6GL9;WDg:nex)>뙜W 8v@t8ye g5>n{wɁGu ڽFд4T7:Gg8!+6M8K*i@A1A[*Pdk%Y3 4GBmJ;f52?[cG5@1*4rWѽRe(K!]|c_U%=nnEhnAi޼3[ ^=V ބ}jY>Z5y-?{OaPsSvP Z6OgQ bJOC.YZ .?N)@ق s ӣ: X;/(SwOmDrOI׎Xd ߮ D)P"Џ"9!?Wx g'DB +CYymQ>+tg@Q-kIsN R? ve로}%#ǩ<=PǷ& ~[|,T=dI(e%:v[\6۲Wu8 !0;6MuAbad(!@i)?Cۚ&cФ[*EBXEtPNX{:+_حL{T;-lR }Q08lK{>\gw}(c,e8 mZ_i?MNjk,54h(dʽءbZj)JYcV*\rB1cl(&J *PK\|" BT*A^: B+fɆ38phl/׍h :&8s@?`pj]*u"g(@gS#,MELg6IHL []Nq.%#W~f9iFٕؾ2OȚ&2ĝ`P/o].s`(Aφ%ӂJ~\ɐ>KfZof/l L"&w/dLZ(\iZ|5Fj:bz@ſ~$ _zO&/ /1eV,+ g0Ogyk;丌4. !SLi>"=@ Dtfazv= o{Z^ܣ :t[΄͔AŞv@ _RI5zpĆV}\[#;6Hr  u"Ȣ=Frժh|'JB4?DrʥsW@/10H2JùGot}qx6@nuFCͫJ=ΐ K@z#`a]K ?g8qPҖxܷ>X(50aw/,eik`tco$shW/O9p W,rU[-O|V1鶏R^ݝr > IU^i):(=&a+K|J;Fl}o ozpa]([e&25qNTՐy</߽wߗx9Z.ڴQItpma6CÌEJ99O=mpz~6k4efk۳![u'į9)C%f4`,kH̅in0Bl@bsPS*J VcHGo٭vfgųv8hMux?@֪; 9{r֏Ub"5rU`8Wv{lܫB! >f ?-Q\׫?ǟwZ ^=_aII?vg aVky*6CrXMkۢsy*|Sl{>a-&(|YpDnͲ 䀹ԆNW9,aʨ>۫ JaP /֭'&%+>}V2~L2MV6&QN͂:-1fû;5XNt0P!!TXh3y5u^4#3PQOI/tњ{q\(;k673mqP~=rE]~ЯǏ9wk;wOo!3r;^cbyԓXEhHI(+R6A_p[gr飤EKIxa_\\יz9j ٝK"Dc"N$~5 p+8w`vi-mxkud5Dp*{w _'_mG3%[%EDDܓM` kw+3@)Ix j{R|T%\ %&D=bdY̟AOV-s8mvˊH% Ré向tt}9h̕pb.'8t+p|Pҫ' ΓO)څl,70/)b{"M4 a3AB*ij=r4QPQ5PR%i&JY%EV޾ЇV;!ջi 2ho7ǜo:${o4<;p2|K-_EHs8h|k_~«B5bw/1Vo_G3T#]&oΖDٔO|:dG91q>?Z ( a2G"A<t㠞XJqM=^|'KXj&j;Fu ]p(YZ][F#J͊ ޣ{4Q<]Rs[SmLAUT/w&7F"Ks (~|j5sPO}Wc. >馴fF\䕠K8kMuLbL+&BK"LH ղQbhfܮdEJ|'Dbfk63Fe#6E3)Rjld21.lENnGѻ ԭ Uph+K 薉L? u~_5uZMrN+ ?u kB\Zj ?U¬%O~JgrQ׹ +;jFc+ 9H(~M,OM ,AbN?.z$QމXN@UMIJa~a,Iur*t&&w85`wS5booR *$Ÿro;A9Z(>I-c]>m]/p, ݼ)C~Q!eVWt8KjD\z+==}gf~Bs'6 [[$/M'NE[Vi{Rhgwf2&e-*vC>;_8e!y0G#"99iu,D7b14v;%@a|7dm*oA#p0bbϊ ".-Ek]21!DI=(8(~%eUL(A@6 cOnT"`b"IQ$B: "˸u``*־DdxEMpqx 51C` 2ud'I|/BrDŽZjک@ba^ F[jOQlWna01/7c$|0Mo{d>,JDn8c1+gЕ5TYAtӂ !ǣ%nPgΥX}nsVyT9i IƋb< vմ.(\o^Qp>4nd0݆`nP-.?[͍N(د9bTc .O':YI(td{S墏tX|` 8v:ocMBiyihg6`)R/Rk  ]G˙q`C H 1BT` NG"ǧbjcϲj]u,x3uiK!>n4̦@qQ#rnjDL[Ja^q~8+4Rg9 e-Dbeta=J4kuϠȻGywQnܲb[  RKrA谫d~AS[mb1%.PƆü uӮ)o*%/j91YI0Eם]@̹^KNn)yk[)eR_iSHbkH9GQڟV"V;uQ/ː=,@E\j3bw5xT 5MYm*)!oUyeqP?ދԵk8!V69dr^1lRj[os‚LQlO0{>$!aKؽO;s 5%g8[#q-IAL͞χ.N'*K_;pDZU ]u;\a'omlh28T|"P%ǫlkm);6dU0)%o@!XʆOfۗ :F4(ԯGĄn*KZzIU, f;ѹP VClO0 哦vIv!~6D-R4ߥq= ʔ4dp.dEHS7z)Q.cr\@J.F5`SIv/rKs2fY`o^o&NV/ohvNy-L#fbtҥb71FVCm1oYKBg#Ŗdjx] Vq_Չ\K"Y!s'}OoRMP@< ,px&!PBpL)OBK#ޫN1Ӱ͵nQl"ڱӎ{c~vAGtAn1)3 4㽠1ԇ ^XφQub!qXNZo. ^Ǝl}3ܜhbyn"-iv-@??ps]ۚѭheuF%~&?r01՗''8! 63'ă$ tg)sq?>R-žX4#W2=G}C~@PM1 l% |i[{D+?p^+tXѿ7&˕P[6r@"X ص)u}ǁŮ7TeBrCN, H^E y ;½wKiL5ʆn!<^Ϫ@JuAm ] ׁ{K~"*EP.>LIG.7[pO糐*9{ʙTA`0}XTU"۟},ؿ^W nt OGA޶g Dw0~ F]\s?$aca5.{`вKսE^ ZWl;9m(-Am%F_ ?*C|$ACFzf:]]Sɭ0hUA0Y5qV647q!a,fX'I! K`A yԈ r:>c{e<8'x8lR^Gq{{k!S`Ȥ^\KL{̉K 6cEo&su;[W})cn eNO`] twxl hnAPMtdDo4a_*0ݖ6B)N= nG3ω,Lʭ|kb\Ji{?v+ p^v-Hy#gA*o򱡽QqjNy^eR~h7!“o`ق yclzr*0#iH0]1}|/{Q@eF䂓!Q'A[ nI%Ev=&>~\@euױ}߮1 ;iqFLqI+Q6Raݷ˹J^A`+aV~ ՠ3H2W_(Q'AUK6 |,E[ʑݵE1ic0R. "+ 9C[m)IMĮi+bG vh1٧꠲T'"A~`T2V -bFՆ׉u߻ϕOQ͸LSJ˕<;V\LvBA`|sQse$_ݔ,k+WQ=.|>%HKL1v@o8HH4 GC^0. .Q_j#!d')H 8mTmV|+ ,XIz<+8 =Rd#}ؑ]ΐ C\| '#>GEhn6*%tըiq͐宐KD:pU&+ֿ^qccvjŇ]z@l;Iߒ3DJ o1݅8&qN;{s*@/zJ]8-(}K(M>;q45?$1igsa= Ú!~8B-8<d^˥z 8oRnі b@KMS@vr!6!d(̼gJ@ o$YX^տ8FJ]9?қ6S7/#Y<6#ehy\4>PǩIN,;o42([1aR|3{JU)xG#'#aT`aIiH}XІ qq)6-(Ke%-la8 u`-VQ"^o7gM3QCa\&,'IQ*K4C671\|_Tb~Ed:9y.XL`̄֝y4v5HtR)H)aeȳC:) ãV'v=-VZ'%dysv&l}6KunSl|x5.# k٦x5{( /&+BRɺ,\sR0E4J"4;MQ(̉3@FO(tegpQ\sc285)`dB(1Wz>2VaڟSNb+DD&?1C:3jqqo)}bԈy!by%&&E;;`YYiQ$FBm վ`-pL4gױJdi;Y( 6ˀX?B|סl.SŦ|TS~f .(ar:.5) ʪ 7sŷ $tZv;̗'+(MMmq.h dOttt  70Teyb`#{EXK;p#Q**儬'cXFw&pL`UiX_:W1*) ] :x4$T24,M55 ќ10S+kp꺃JXΔ?Mv]" h;L9dB"M;{lj??(&Ij[k*ݷ#"TR\(r-$*)B3{DZ1w8b%-Ƹ vkEM岩b `%9q)E#dGK9{sS$zҩ%=sGP,;Sf^0%ʖK]@ŽTW-p.オ;/R3-ǫ)_ؽ#ұY0IN!x%:#6=/9 j?13( V.X2p+C(y-9U5j.)R!XM]Dksl/oJG.Ʉ2(s~n$?Xjkp|KМ+;Z/AnEEBv>e Mzz!yz& *@ZG{Qru HeGi!(\Q=vwс T&k r_U9;|ATX0+N"_ZkZa-u[ԯym.hK}Mm[Ҟq=aT"A [ai,‡V|Jdj"lGD٫jʷ=fwXCBA615QZv;zCu>*C/V~-$X\0T/3xDr.4 yo:'qQᡚ1[V#P,Z"h ,|K m28NSo$Ga>KE =␻{eH:yJfမ2\ݕ(NJC(T.jWn"-7~HoCv9f6_/uS:Әw SSs< tަxh aͽYo0 ;{s|~o&KƜtY>%7 $J=7 1p.p3 N^nh%@OBgܞk*uhH>ޙF&,M=Zxo)N'皒NĚ`1*}bt_>隬$kW|ak]e y@iY]0[NڿCLRW?^&pνlf6 ͘睖 5ajݎqwwDwRE6sz^@xK2tͣ!YKV]9m\Vs}0Cŋ2qYHw &)K{0:g +4+;[TVF)yc_z㧔PLm:+SzW3E}{AۡQPo$Qc~UpF+y @c{q=ioHCؘh_RMFa/)+WT|+0וL\zGb\).uOgUYn]:~t^_^~ lY>]x$ ; =Yuh§}8^dɬ6+>KM`zQr[~w=nԃ ⟧osB[7I1O sF寘a/qћA0a.c_=;e?aYhKuo;.^DZbVF"wɻ`2 QnXT@@FVnH>7֊ FkN(i6c_nA&T&?4'Kךe?5"8>}7ʃ ! ]_TB wN^ʣ1֏nx$$Pd$KtA/j`^0>5]HmXe, r\8 `&A$p\Q/#ڪMcPVoF?hCN h_ ͅ&omȼZ5GD~4ӭQt/F"9RS+]gffpg.FOūmݥ[OwJ;Sk75X: ԈV%8j[kߢif mWd 3aj2%%Aֺcፗ?'7& 9LclA΃Z[JJQUƹsP7v(-TXRBÑ8>n0XV-^ڴ qey@3@`n, z!uc_ss $LصXݍK0#8Q2lH, šxB)v7J"HcT!t`re*o`@-!8= ?@ &_9;ϺX9\Ω1CN*Q7-BMBEčS`O}JA__7 Jj;ۙ{[nP,k'';{!nYv.YL|Q{Mz'>b& xQfP>2kҐVa+lGOi q3FRl=}ѫNkE4O49p Цio2WC Ĩ} !p9k'93=ZUMYr:6#`8`/6kZA߽M= H3%9ßG-=d@8{õ8O7O46fW sBea._4W$%sn >MJAYS$ ;˱,|ݻkϤe;::HWIyS%h#H_!X5q 6ul^$6 iׂ*޽)JBEhxV:u-5d%j75t) *F&'q#bhq?4T㓷lqĂ.KLA3f3:h4 f^7 ;x~. .sޗ0QW̳ 6wUHh{z5덕^W\u>yĭp8ސ u<ƂucY̯)z |[4M]e+Aƛd|U?mN!m,d$[l(9#wϯvnWzBbKHrl^2C'A i-ZwPl/٭N?AFM%zE4pi5IRnz)J6Fʗ? 7Q&;:P0ݩ&xx8,墓{blO7 m/Ƀt;^WnşAlt\Hy{>7gÆ;5#yif;Op4;Ǚ=QeIbRN!mF+.]ufbLd蟭wSdS#,<`}GvH/fBBNxILʸcZHa]M[譄5׵%R!S YPTKw7=(L XfP.S&ZE1}(2xB]a 2jM1ASRrEz7{]s!Er%//JI?ݘyì;ߎ)8[<20e?2H(e ua/C`2ug G*y{ o!owO۰ܕ9!/&ΫvvH;ѽ("EU T,Vsb}݊mG/ry'%]^k,.+4eEne(Ӽ,"f:Uj5TeVZOBeÔ"O)F p=,X߮oJ5PGn8Օ3Rwƍl[[K8;ּN-`{\:*TCPx}\^&a#`s_0lp*2o}hH07 DsR_\1ݔn/1R{&ZyՈ帩m̞,lne u>D2 `rh)D"QFIGϟOm-)卄6yvviGaX:C䧋h$)8`mX ~ϗ*XhѬ"G|3{Q'{g4][A=Ja@wQppHŹȲߢG"㍺^iR;g֢9ypPŷH*~`_ *&q Uwa ]CEbrP00,TA ɬ>Xъuy,CO{"$ ?ql.lwޏKLqTKؼA#ěRINXkLH4H>سjч|ըEH\( qQ 7JUQAI#g.*eXUYbsS{1&3QGMb LzxHYR 5,M`!sMhޑ5: P(k UYP ޝ0=x~h֭Cb`*[=oR\Wg1bn(BF) c B1vK<(y2t,GKb E͒yg[fa*9Gn ㄬ(d |P+,|~}opn7"/3آZ1͞gBBcYbeSvQ*n7xCsgdž fQU)Q$E pMR{;^$pYc|VX[Cgщ3yܨ@ Rʔm4sWU >K8w =_w[/cƺfΛ'/tɉsm'f!6r.srmW<ߢyA[<x^ wU\u94㡗S(Vd g-[Yedx{ACHUHtsm; 1_ƶc9'ZdqY'^η,K(,<.Z=3 J;eR4^\ -1Ϗ /04BJaC"S z??)S1vMx>ɳMsvMyt;܄+wk$ Zk:[Q ȃyC\4dv$v^Z*XS#׽dvÅ*.g=ЎI'w|13X/jK)??k4.ǿgZ*AX̊BjzƬ5/;kx~X1EWPy =z$6"n^vu?  25V8[xkb1Ră)z csj;5g2| J>PlaJ+-. 'v(p;HK$\aÕrp,hߙ Ox2fAW_ӧUnQ00" nȮ=Ȃ؜F՝=##y%F lj!;;Ү= $;AW3꘣pj b.F(+Ld@7].tZfe:qo%6Es:''@P]rą z]?&2Nː:m$.ĩX8%3Lbo"&aYi.QXu5EPz }LMl`4f4XtRRKC' ѴbY&tρV6gܩ{4M-'W[Sz!O+h=.P9g͍8ޗ{ "CuO׊.o@N2rE#$$ʜ~;eS @)sb󂎏I/>'ý!2.wBS\JE,GTpuЏh#oLPB-}OGqI6o|P-nu3 3G,{+Ij@; :8|fICA7>׷7%}ǛcW?eEE.AYs1|/k̴2  EizkjCߞY0cHk}̥E'p'@8 Jne c]l"./Odʩe_}Ǟ#15;Hrr]J[Ig )#j(gNkv(…~ÃCȣ}ˆǀ6\co{[V ɢ0 O.g\D|fG‡=K! ]L냝 ʹ92w`*WhC=~1\˒a쪅 XcR*gcU@G®#G0/ZKsG%|w&~p"v!S:pf{@F6m\5 6fMN$ppMj hŐ~&2m{,žM| [ jM'5Z2xVN@UZ%δzG{ƿT`CIrx@*OWhb^Ϡ;Q"`&esɪ?  I j1 0W.3i^ qvtzzLFr$Du{̗'7ex "yLRdloojhUǏ3Fi$i=I`u63"Ttujj_x_>.2dS /W6[cQl7A@J4c7ýl6Ci {uOS[ͩNe, ]\[؇i(8݅!)_sߎ[} LT6Bz ,ս[JA-xIpFgy vRߜ׊}ap"S!|n|em̠6ŶMy,XZzX-c&HjӼw9%WUdj(㾌 8>eR%;T>NZR)g_ ~7)c{EZ ՁgN vIF3!G?@ੵtѴwH:7?p=˙%W]zqj EWxC099C>Q^5hT@,HP<"Fxl/ Xi_)\`Q23{ O^%\,7oTW%K ߨ5GeO\}\QC%= 2%2mΟ( =HE6(5H7aT-C KL sg .&S?pc&V_}\Hk)K~L0:h^3_K(C=G=lQdѭ!҆tzXjQQ~y՝-ݛxZ4<wQ>DW\c{FDo lM /x$@>'@%`G„׈{3Fk.:M" b7;9t? ]=‚H16ȆOYP0;`R`hw&sQGXмliA qʅ7gW1:n11s5άFFyjr)!μ|;,cVB6G~NԊHկG2܎m2~ ^ҫ%'-ʚRpݗῨu-c2!qZu#X$G ¼-zFS FNo7TSzӊ!{rс 3EJ$t)e LF&w4ޭƢP)Ȩoժt[J:PM/H避}.zȪpΖ Ib J*[P,| $1 4p3m@@#) +16Q#T-6U좉)( *hqMTF;ۊk#(b2 s< pwJY\Kdݎ3ѫjxdb@WKﳟD0rwᖐ|e! Xlu1ZB_4ZPm: p;/褛-R,AjF.R&z~q.sC`Hv"|nP]X$ժpm56FaLչ+#]K?p8?GEi'j,uą6,"9.G %5ބBӻ(o/])kEδq#v(|iUװHZgM4}NK_^:Wmi_\81󡂻r"d:Aɴv3]?g楔Om` POċӠO !A9WX4tw9-t! Om+j𕅚2)X5A ^VR83l+]vtrxh_ {Φ慻ݽX烐yޑ78du$ZGZ=3#JWSY?Xʀ<%فXYD §É"pJ,53+r:^:I0F;[k\`~ВAp)cDJhͻm){ 4uv8Q{4NrcnIfar ]āb?_n`KiV`f Ҳ^mݟz9 ;xEH# fQpƖLր,&,!J?ِ^!.9;!Wa W׏ cr-ϫ[b2:Kd\bYs{ȔS.}$G6x>KIʔ4$QHLыL!}ߌBnsvSD.}xpJÃwfȘ4ܞ\3hi Ka5!/dtx*I? f:=)mq{IֲJ_ٛ:@xJ`,Ƀ˫i{WSt:sݺX+60T{&F˚W@PsiYsVxXPA g1N | zJ۪͝\Q%$]cG|_O7%*3ɆiXَZ@3~E2R'3Ebqb)2STj7u?HјfiQW{ 2Ge sR87E ¢~8=Jl5'rn3No X7i)bHA[?ZWoyK>`7j>XnmE.+/qgwL)cqWdm[[e7/l"5GUL޻3n#d:ӡd,WW8Pkk(u`:aeb7J @J6n iFgg:6:lK=9C=o2&HuBuR y!B񄦦j#iͩ Jߝkl!Ϛ4o a J9h_$0$`67i痀Ց p.2 F`1~7W:7'k#jS()HBg\~K+NǼޮ5Oy㦴z\c"ҺBBkrb!w22݂#gߚ Gٰ:ZMǕK0ee*2ygA]Oja$F 'Mp+  ">K~7c12c[(FgnݹT탠\J7t9_6R=عuǽP8 =ʹ)p'Gnt/5 }WD0wδbEӝ)J–'GCu$4Ǡ ?Ң ⱨXLm2sguP=nŖJ9z/>JPje/\Uy'iQU.@* "Wƍm `i GA$ĕ3ށx6}8%C<SnòIn$1 n;8tRoEVg*T|o:' @CԒ՜s^ԡf߹6ܚL7rdG4 ;~JLwĺr :9#gμ@2=' ӝyrE2F5Cy6]2/_YhJ/.Iq2A4Xe.8sw/91yQzi:ԍe1RPQ*r*VU댞 wdP,r{>=LR d5%?׉ Y"q>⽘t nO WF a('5zhw7*dDp8h+bnr]ԣzBWDH(>"æfpxv,rd̓LR7ƕ&,Mq?_`a@xj TC );@ z uEad g ǎ[G f!4zW(8NIénN#mYI ] t n>D"Yx<۠{RotNA8^|DŽ2Q%[drw|f{UY ٪&Mg/][7HKqK֙xd8=%c) XjP.QJ}С_l{^v96dw8۸ -q%|V\h,`vcw1-~bE 4SXp~16 ? ;$J, %^%2!)$k]͌-1lYL ĪK<͉Iy'&p=x)T7 KcK2 e %( U?ݫJ3} sf&Wiæ-|O 6~OR`M uSg4 'dOR5Cgȍ|9'}!d.`vԂJ$WbNX,ŏ:2ݟ'ַk%ek-LnT}m RLV1Px>ԡ~u5AVW$GfBM\q/"\}{'.xՍgSH"Z7yCb%N :6hE<@Vhv*a&9nQ۰*:MOdOT '|-7cޏ^8m菄/߾dґ W;4ѥ& 8')7[$.tuϾXڳ0bu,4oh9Ļwh6uJ3Ϳ5,_-؇sAN %햯UȂ顥˃ʰ2uW3+wv,~].  8X[#׾țXSPW%EO<]R+uU.lw5[pN#d>^(1'n7wL/zN+u,i_ӛU_d6K6Cc\"uh{ p‘=wb,&lJ3`*mOi=]Vu`N¾LATďv2etLMф7W``D]Y;ٜgplڧK_ğ8qFJgq"_2… e7g@)G V$XRɃ`AY<&Pu'! ;&%ϗl!Kn6QÔN6u3COۂCGRŨe=G+T/ }udY=ҟ(aQ5bQ^NT=.}ЦHVuȟ-zRbL0d>(. w0{ dc G\%/U3 RT*^tlSIVޒFn>YASHQԟ&#ÁXHR0UOjGŻu$`op71guBB/x![d )>Qi}M L5A no9mv4S3ޙ<rF;a@h-R*dAL°*y:y_=뇛/CE҈˒xqG޼[-C[i1s?ɸz%g?4[n&Z՗:cp] 461L¥rsI0Zkw|nJ* 'nyb8PGdXa˹Q:cy#ӻ2E%}07R FҪYސ("r&9 |QpЯxf"Ad+} Ƶ {Ed)%-]F~PUK=Mm!Yinbl/v1V;]Wr svZ5zŮv-R.MCgG/KJ`X+vlQϴš9Iv>ȧUa{S5`MoĊQLfyZcgmӏ=IouuYƘù4 F+拊)mǻmVU"KN]Lh?QKr<7p6a  `9zOo BӃvDMR)~(Q8, |O=Ab&Qܢl煈6HpD39h":տ :C @5^,PWK̩:IAʅ}-k7f*fBh'dߠEbbY!҅6dp=?25\GH LU{]_tρGUvp 7D8=ZH8%9s 2=zPbL?Έ*Erf&EIꝐ2? "yE=9($ъ -+7TmʴzP>DK諩/xxvF6jVK; k1H?LzVل4kUD /Cl ?g}{S,rM$Qe sIWPrlxCO ɦRr} 6 6DCglU# Nч4b`]@m%'7`0+j i`\4M`RMm uhk͠tn9ﰅ5{_QpkDjn*Ju}Xc>)Щ-6͹`A&9Q!{5@L8j۽ًlB7]z:R)BDfʬ\%B{}!k,EvE0: 9΃t*P8@ϼ\N(eRV6h\4][YZպ|Y|է%QA]tZQnh//vb|3hq|yQ@fr!kX21~5D6]%8g~(Wˢ<,HULln!jytGvҺ)H7RS )ո9ka£Aׁ8dg:'m͐5( y n7E2QʷXˀQ#2SZ&u;A؈ٻP4}ZdA7#Lz=aZtTuWGj}4{Y сx<0٭;&uˊj@nBqהkcvmT#xv<^oN,EA'&WP{qDgB׀p.ߠDn\VF4p`X5bUZי=to'uer}Yl&?ZmMtQo5\A`v}>О$so[ճPcaOFSaP^NŊ<0$=hui*%AĔ9'tAS'&;٨<+l9 5fhY62Xq/{;4R ƺLWuk [5+BEIRV('3uw!U!aYOt5p7 nb hů(77]PxDjgi% )|#*ST*ȱ"va= 7!]FtXD].!/bQɇQc*(!rBnF5WiA$+@5Gv==%v^vs(X,;ynaJ6Ը'9mCqf>OXd4N=z]ERkl|lږO.z$6DC'-4vR%F~ujƉR \4γ=3m[}X*#j>J(5+䎗Fqvu_Od'MI}x` ̓#%{`΅w? /CZ#y2X ^l)D*!&].Sҧ5yό;D`#7 MͭIWC2Gċ8PM#eɨpF h gL1˭Sv->M8+J\}[;t,l[bF2 &ԍ4/,JlIpbWHG<4>ddtP  3𲕦cCήYfvudmWƚneɈgoN&?U9m 2/ZD1y? N]LG5,a ӺTNzpDB}7;,"~ܘ̊H.@S #.fj_5~Ϣj/AKɫaғ(pe#T)$]r@m9=}ΆLݸi٣7?m yw~$vdOLS*Ht-c I&-1ovـ\SnƷI~[LƷZ<4`-۟(1Rx eri p.kz%gIV5|1y@Oߢ7 d6cx@Uaנv2THy|ډ l}@ȘY_&zX+u=O7ݐ#ŭ־==7Dx.:"/)S~s2l))(OpT%fI mY~@/MeynEGQ])$8/htjEP6 !L2Q[a.( CJh$, 1fゎjԊ kS;Ú':_o"/眍TCCoT&?]4-S AyuUu]˖Au!Q- n⥎b=FX`g SQOHro|#9Y tYa*OS.?2zo8|<q)堚DF Zǜ[ %Y<ɞ!+2 Q,ؒj z Q.^2vC,eQ[.DŽKR_gYp6Vf9C#Z`Og 39nῌ|Uu7Q׋h ޖm #5 Xqz2;psRiEYr]ۊXip*`F^i*T}ƓDݲвvn=_?Ղ*L@im AB>xu!HOxN8~7ƂYIr=zHXG (xWtO)dhLlQ2c[g~^ZGH9?cô:_{41XRi$m|ezC,tm,}VqaEJ#FnNZ_ƺ3:h1xZB]ʁ+ʡל]Y@$L |ml뀆9$P?:'H֬xz[3my6r`lre=kJ7 )  \<9g?mG0Dp|uY0D\~d>FgPeC!*J`̨,hT^*+4bbz:N_LM Rk#ϽU`OV!m l5yS,yV)Gg{LBgiZJ.TSt/6-^<5G9_lա|#c5Ic+Quڀ /9gYb0Yi'fF m\m 8K5svs z&kI|L)5{af|CZE־>,'t`LcۍYȐyU-B4uT s7;p\f~7n?%{3 H9э§[Hb(BE 4ǔ ]3}~Ha qq낉L{ xw;YS/`k:oDd bISkwZQ Ѡ5 xyFN.A:z %o.N_O9R2מcT+Gi W"Cyd1h"8?eOۆ%4d0|?@SG[*UlE`Wh{,ފ46 d?PzK*2ҡz*W7O  ghVz+u2eate^/,#`'ЇO"̓Kne?;׭=/xOnqOb7`D(0<4[v#casIMľ@wqP?t1AnM{|'|bKfIlJk-A|5["e\]uᴂecl8 et~iG j+֦,YN^ hmO d*#ߊ?njL`7cכBV} >_XݏQN(?# ;("z|UAs/1 !_tU1xxڧM͔3PY F@҅O2r"^c}.* yb^ =|%1}JxGOfuB~_G9+G HJ1 |P+0%!s$R="Kusb _\3n"?>24u&/IE(HMCݯ`Jl_%6 {V;oGNASR7 bI}1x^b6ktjBzbfq3t,Ec$0{ޫiT(ϭ#izI늵#X5ێCaΊt$Ap! K]{K$KxtA'+ Lع `3UH䃴mGӺ!9#kE?էiʒxF˛~ #aD^*za"~ui)PXڪA RC3dC6p&qUıo#Sf_4Rb^;1ex˷< ax ' `&zqiw@З"Sfn2нQo>,_AH"T2$@ *LvJֆS,$E^@YRd7;N_NޅH@0!ڝBu@҉mg@'z>s>,{cF6}ۉ+&``u2ƛ #Wgaip](M7vf*!,xycumHKJh >ݟ; kALxVJJNP%mf{ZȻcC EIY|h5=|'2ľ!*xb".5J89dM8اwGߌEO T'q;ylg+ M~)l(5[Zc[+LэQ8d>5t瑿 HӘ#:&1AY"-L֤J!5P"Ϯ^Z*qhͣ['~3CS 6sC\@lsl1"Uj0 yq.wbg^(9/gvy8%]`Op4y^ ,^̸ةIOo@@|x*)^L>?>I͎hZ? |ίS׸WQgMl]EKܵWzMdM">:]MQnϞJUEQT :$?nbȒNRL)WIWZ7Y@")Szaǟ>]7V[6/]Ve ^θ톥pi0 vǖ#+72 AIV2Hs#ti8]ʛ{IR_tu:sT,2LU J9EȜ g! @W!Ҷ)'KWdilDW^P_ GYZUh@5f QNedlcB|_]":t0(<<|4x^xC'o,A&"JUFeV?o Ulngo_<-ĜېA<0Z`\"t10BuЋsu Vr= KюF XUEXQ-׿ 5?/zi2+$8)bNN.%Ne ?Pmr{ LCFxS/fE|)ˡ.APeFwE/GZx*'ݯPZ9@Eh$)t[W`ii&r?1֩l|CS -ú%V:5aQW*E{ZYyYw5._- Hv=BB[iNo`ElÃp!x_XMIXFRHH-CǾ rӷ<+Faj>5M`>%A(DuUt>*:\QИMEc0e?>l0a[0P2dhFLNJ <=T<0k 8Pܓctxa*s,ׂuR(i&!u4ĕcTJ`Qhahl[e.g:G2z;U],[8vڪTP6dWiƛp].G1,вN8)궘}+M#J+Q0ceɪ]˫7Z֊`aLJSONͤTƮ K~萷S%Mzepʾo⹫Rm'a(f.Ry/!ߵ͂扩Ɖ<$ҝ4O>Hߗ}C-~8~Rَ[e^nw Uw&Bv^rңzԟ) ;۽ӡ ^$oUlvd1/H(Mːj=T.m,섛$dy)p~A}?#\f75řI;W690@dNrh`$£/(B\Jo fiX-hNkYY'.)v:@M]bBT?t jE+匫j5A/ݦh(=Z{@ՔmG=Cܠotk!聫<ϊToC1~'<%ȉShB֗M=Kb^o(,IknnE7=l8Ģ$ǟ}S'Fb *˒OVtNi['o T]?O'9u7V$Of췼"bCdD8JJ0xD 4# 狱FXn D  }?X{1z k@Ryr ӠVƱ<5~` EynH9;6 DަLmfZn࿀ u@0 Pea\}(ϥ?Oy(ϱ(6rSuΔDyXŚ>VI>:xzq~ PЉniʶI2\;[˔ޑ8GB7 VuȮ*BMzXi&_o%E.{Q׳e~{R#[ǰflvn~:Ab?Nnɸv};7eTXZ)nXbht,.pY__*3q7,k.kXZ7uO-CC1&%)=d`V%9*gYZ7zXZִF! sI]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻ޏq@:J|x})f'-a#7:%Ѥ/h}dQhA^8(s`2}tߣqhPc>BolKLo+5H6bG{^,3M xF8O0xZ2ޥc0;Ue._DYhITS Is}gl:xM`?y[ &сV0ƗmlphZC8_3 ˵ < dLݻ3VH UL%8]Z"ԳhY*Qw&};?9 >0o3=}o@cm(Ujї-ԦuD;b ^C;z=%aD=EYհ)wSm/^§{K^siK ָZ춛B?;2@HI}wupXJhlj]TLדASѶV6r'!AnC(fgYZ7zXZִF!  ]ŗXi%L&r0g8}x%ԐHM*؁t<( LFuk/,hHG0M6vϚA!!dT֒$CءM]hyKac'9} )w7;1zp6g'wQ&q8G~ kEw>KJfTl|>9d$o@"&>$a:1SMV-^`'u.|E O<kTü\OsPx>'{Gy{1 `4upgM egp?w-Uz*ΐ>? bH_9`?]cJ;L6bˣ'`|@3@1\L E [sJQwۃ Oݷ1RUɅ HLKW"u]@x|/qbQqh3fiO@ZU]ߊf8rvKwCj'+~6+~龙֬Tۣ^#Kю"Z:q%8s.s t{$xV˘ER;~(+2U!s%[4iMIU^8_ Y|c9ޣLRs7qR-6KO*'Bs͈ mt9}73b|-)zk=Py' '26"H8( oYVft:An: xz=>jȨk{U_A2Z62SZ-OJٹ LWv, CwhZhΆ7' yٍ al'-}S!5'nda_DigP5?G;pP(1R :Ot 4lTJЫtZš/ijZwd $ Q `#h˳Bw5grWPR}MϷC`eiMh!oM UfhiX/*$);Fa,u^ D}vڑ'Y f悓/l -[۲K{rEF}IJtxK1j,9%6(~%x3U.k%!:)]8:f1xrA4*ГʃIea&p9 1]Mqȟ0}ґ`wX/34Z}ŭRF:<c [Yri|Rt4e?d2Uɾ@LLjhRZr;}Q,ωlD Ǻ JnT{Ig0RצQ#^ns/S\ݵZuc;x,@4#xp̾\̜{tY1\V~#h| Dbo]9=w ᎻAU-}J<: >ޛ p BrP ]ض3%iN?N|ouMI>!bJtgA{5n M0EzZ075i/&&[~lzd;)Y%"*Dgre20Mm+9?^ ,%ܫ_|715q7T#qJ ^Jfk \M>eKE9-; ?O`g~7i{F%KelH (bL\-Xlݩ^u+jY{4hn@sʖЖo"-)u̍G.qP=/6]d6[Y_H0ʋs>7+<_,ܽrV-e|n0"f Ք*v+W=^w]-CnL)rs}e=2G{kXA\m;}J#>@, f^F#Cm R ;=GĿMR"SP}~wmpHyωw\PeXfz勛Ѥ Cc#+\ZWp՝nރ?[&|2C[ژg)/e)>50N(Y#H̰DUAKyqVfp"NcҨoԭMڛCMLO1QT{G:Y4br,>?3eiY /cU # 9{WR&EE ҖS{\9֓״<^@wUx8r7: :1pA$G:؇Ϩ` c5Nkj̼M$./1CFvtg{x$!4˸q֍Zj¥jS>ʭJXr>\֎p,᡺~Cx0 _m]4~F(e;eJzAj'{+W2@AI;>i&ʳw [CHҴ2F#sLU 탐a熛)OC>+-dYEaNe^u$Ye( a+["bE@@UE̿)c$QcKG)kCi: @(&d$/i/;H2x^P?s5}~Ðy3 4!!qP A& ^5=<MTmcgsڗcwdFGIZOE$*F͹ `Ҧ Ⱜ+@]dB2eأkt~Zqb#;pa0k^ކLԏx͌,$,*vEdW"r1i[NP3a K}UP[_d,0ťH5?):ίaFs~ 5",3R [tZ5ܒ=R=;#ʸYDAe&H$klFs d՚ $ r{lg?}A'Zo|u>O٫82V]֞`q?C ^mkfujr7 ;XpQ#HI g-n%m7Y&~=Ovu5$] LBÜIHSgNF:5fZ)џ9.?R_ C8Xi_r[h55O&yᛣ:rG6epk)'=ڷv! z;zr.8|W{PRQ_@qk!~*]]8[.%K9pO6 0ۇ0L3|Q;Ir ]HZ%D/Ӄ; I-;Rjx$c~ʮrE֤)kjQMK 5z@aZË ,3ݓmY7{A56qj5 &p&YK!h!ZVO+YOo2"NR$T26}Ym=#wr@ !U5]SMk4gbͱ2f>W<[d<*ߨM`Cg ߢG h^[Ɣ"mk Xm& kݰu`_RGS 3SX13/kZ\{H Xխ ]5j8nsrT)Vq9]ʤ WwĆg2D)rl;B#ޏxy,tY;rjZ0Y{@bvSE=.SԱ4g1Wl6vAO1BxMa>{wZv:3wA|~[hL5 6K.,Q8-A K:QٴXRW(q!Fr *wlN*YKxIr!G$r6˗-AJi9l);$Ξ&e ;>,ueߨ{0P~m[#ZLu+}{tGW%8/}6NM aNR+z 4:VK*Ek{} mO"]*܋"DM*ѐ$Y:6'*^,4Cuw?Jl pbEd6F7 7_*z!~jzs(^9gYZd02556f13bb0008cdf2acccccd31eb8fcefe69779aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b3a19eb0fb4b2eb4a76850a7f997d302cbc9ab14d