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 h!
(s, v{a?*BCP)L1 jEulc@$fgZ~Bg3;dI ʘpm_ʶ*{Yr&߃ͻZS(x)87T?[nTp1hhj&7Yz݉VR!]4yjk7'+?!x~aTf"Ad9.Q4ߢv9j]^'ziW65R|.,iGg[mz9RCuiBuMՃƭ覂8..5gj(Er\v Bq^rիJ.q5A`+:mK<rc=ILzS+;,q)olܦmiGc8:Bu|&yt`NjܔC#}iܝNJܲnN\!WuWH |ܞڞ!3B-4Cqy9h6֕ MӉta8Vsj3N%yl}X%L1}vYh 8F5ndqh.+YϠF,6jiZv4kK>$Y>v;A(_Z5PL UknJ|;%~-``xUnǩÏVTeMWȌsRG-Ȇx(T{Lvw?>f*UbW6G;=QFOܮ3WzF- $#8} JĢtQ:q N_k͍rl]T˥+j/el5hcIe> Ne㳀_O$ќF7FYp׳?ᄖIBvg̐ a;nخ>cm+ ;Iu")~AD~%E`0h18{/ 8l' @H}r|Q%n( QMfwKdۘǐ۰}1ǽvJuXӿKR@߬3LN?^  ! HOL-Proofs  Anՠт_#< g]#c#<҄+ s Il!䙫CB s(lk47r3] dp#YeOHNjVE\5Jq۬EMFxoQdU= !X$՘p3vnet(gM@!ƋxHV8L]$Tw62G ]=gCǎ29sGtã!\-A51M7,\XiNZ<,cnVwA}fiQ4篨`ÈE6:g^D˃$#V  Aq"@B~-uXaǡ{L&ep'B kaƻX1@$ԟjKIPwr>caPrtYLL^/>|4F2Ӳmdo؍pjUA 6f'gDi5 4‹o K5&2? OWtos)nɦ\93VQ#?NjM?wh^NJrK| (fH 2=z21y8\gɰ}*h6}P`U'xM2’M}(svNI)ß5pO37[ N39-lsQcJVfAMȿqVҏKs(孳9ш(2Xvےө u g =ΎS q̧munAU` FLě77p`4jMBkEi•jn \!rQKԢy}yM%n"p'BzhTnQ k^4A('i0 |'9RHXPdBpZBXI pW{Էsc#pthR])M4T.O B\X HQ ̲ =,‹Ňղ|ol56m jrTT < O: /TcFFݣ+ Ejl-A ZnüW)Κ6Wr97xd6пbkdrg uhXԮʌ˪ߍ`C*ԇ+ Z^07(=Js>ԲVz!JRK'ckOJ~*)ΙD܉?xaxaW2jgNPlf&2d@/YqucǛm.=OQTUdC͏jycˉyG.Z?>ӅrSB;zV LN}9@@L&I- q 3N*䇦w㜷:D@C3!ķozivƜGdXk"2ܰEg..tvc\,* p2{͈{+#!]m>xӇ؋$Zh@=gۮՋ*6[;cMFD {ōL&õcՐ"i6jTW7 èCH!~(*[wr˿%4ۄP0R~]vmkk"_&}TCZ=` R\<𞽏 ?Q:Rπr!7x4 V>oo=TNm<ڜ'vq5)} . :o`z"FqN>5 ۗ(%y.z. ۺG'E`+ҵ zbgB|`0Zl,ZһS_"zn}"V=vօn ɨl=m 55K3>rMJN億=۴ehog,ܐ2_24baJɡf~SI0l]۔8;7iRgR (Al 7ҴA`4;'y{P|9&! !.}pU2J#'"Nn }'LoCD_ H:,ʼI/- 6WTxņFc]Ճ`Yè%Gc ؀\AbGL:n =$c?BX000uw_1Cv?ɥ/ŒjOTׅp$u !-سHm^ZzqcP741Iy9TJý"XD Q:N@ [y-ԇ,##`)~|+#gs݊`*Ab!ʮc nm[fTU 495BS}?T&qHE}2q%) GMuU6U%kn6x| .#M_ 0=z}P2֪;!si7sǓ2< V4s&[r:Z.UE*%xXp2,]ǧ.EjLkJdv_f5B fh&֌ryk4*iwsjF8 rf.L[LE3e%lL_mߤӊ:$V?9I xϤ$*%[(T;4U3dׇ.6ɢ@_T)l89o;hy5+]kNLj [tral*3$7[v1ZZKG!GwzlJ)|$@Jvj:l,F]>Mia^7ai17Nv* ~eyE1"L@穂K) oƍXYamgHJ}^lIw ם(xb'5[&9x"/iFj?c *C3.v$Y閎Vi_X<3|41"+Z9tvds +զrFcHȷtk]g}v|xN_ձ& h;t'%:ЌmMՏ|>A15o~aBunq$pm*.P'iH-G؈NW90U&~ÊEeK){]Nb׈=`>:Ba)U'+gw4ZOu'tE?Bq"%Jcmg'`(SQ5zTգ$뱭:e7բ\а#A׭68v_+Odx# J:v};G-M^(B'Mc#7|Peqs!TV`!E_L@.!ՒCr S$^1|xlLPԔ^5[DZW2OX^W?Y edw%DX<ϋAs2 pCh]xH" ilB쀞 ā-͝Z ʷz5Ե"`|: :C gLpA]Qb݆^-jEHp!&ˁJI3p,ϰL0 e7u`Y^ ' Wx|P?$ ;kA%՝ۮ.XssQM[PlHFjNn)[gn4\vFyH6^Nc߯3,ߌ}(SO# 0lt)^/y+Y.?b?ϐ$pf08r ؟Jo^Kd^;ۍpP.$ON[ϧb`${7]Ag\S4Z[<hɃ*S5+EC9T6l?tE_F2:Dܫu MY]se#kQ-_Ԃj NI;B#[?ET_voEo_ZnLӖ|, fٌ#5h*膼IHuϾ.h _obW-C$m =HsĬBi49ڏFX!:7z8*' tV&3 "FW!4=˒gYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!BgSR1!Fn-ף"p}W%_x%jKQ|aaMP1t5q;]o^V.^{z_o*/TYU]JsJ5ևAR|x[7#nvGg\UX_@Vb-zʌ9 @?Yn"8,+taϑtS ]c9y4@ME'auSG`K}E>h3`:P_o=riM5[4mc*'4{D;},qR5`W c܃7Jt2PS#$6Z~_A;4I:X?Oy҈lH8ˬR-<Ջl}6kN ίϮq=>hԻDRa~2 !K_TI#w?QR+8gcQ2.U La$#'}EkBtn b$. otD-Ca'8B_] RH~E"To#">ȝ%ehܗy`_#:&AT@~Izu@79"#-2ӳ̫'6Y.2bg{_#䑢K޿k OTkbDJ{.Pϳf ,VYupcFĠC*{. $>[,ǩZ2r[*}M["n*>w봄[`$^Cs-\ޥTQ2Q&0^*LV8Ѡ2* ykBtSIE +nv N@oŜf&M3>Cj)G +8dGs[I=ۉ'TS: FZ?M8_RV8fCrOFAafX>g^h^hB?D8| a %D %ʩᜯӎY ]+s0s%q'gJf>;f~s{`GؕXrOKvYG+f"+d10@=1o6)Vq.g+,X8}fhb Ck7] ?`jڏN⥑G;FX䪺Lw~!ԙ2cp|)xPPBbig.9VۃqK輊u]u 8:c)WqPL(!+MMhUVaŵB)tgã(f #{I=n[Q,ղFX@4iUĺ8Ӛ&fU'I@oiuEZt v)#.I%ڇGI+K?G]]eۦQDېKgƁ>nD1ǜ}U"B?p"\ͣ{%t'gDXY- &,XÉϛ^Q=Y1Lw饾&AX9IrjQS0\ʄ?Y$\5Ec@pt{٪Y%m!km^51cZM;{aRl\z.;?"FO  J5S1 ])~G>&@&wSbO9D >\G8[_].Яx) 2q_gYZ7zXZִF! BA\]ŗXi%>pJŧbc>z1*:x(` <&=P?^ {S_2;e$8Bab@ !8^%Կ).BGZ9[ $ȧ!C BTX?"+4ьhe{Nܑ~ 0B%r;v>5;gK,㠪7~`#[:m?T@b£)kS1vpWDR:o ]P֩ !!kǶ_uNa\a%MR!'8mu7 OXLN]RRb֌* 0 By vU٫O;2Y+YR'F;"7:kf&f2 PqR~mVI.#MY_8iU\o@Wx^l;y0nsmђMHJ$_lѢŒIAKoif|q1\{I\/q/:7?fLM7,qS >P具Ct_wCaO6-ͺIc;!:5 $`62B]6+ 'Hhl5i4nPJ˼nK=qLiZ q[0}en|bnPU"`aGh/ YuQ=%ky b%pE^Y0hh02%nGns)2_ mFZۈk2zpkkxw8ڜKiw@Okә/µ+/Jm[F>8:,}X@}!X_',ϝ| a̝S%6p&]kZ\w 2M36K"鄗XDE;>M'nZE#sqA n҆OIPDZ/!d 2 w(w/|XUWQI!w2kV] H^8϶\nk~Ve?!_| yA[& ́ow8 gN]W{շ黷y96P1;pySA\q(ŻׁFO8nBlCZ-Z,C; %@zm$M@)feƈ~o8ߍ0* |iDaq;X D'ONQ 30(G A7ԝ5igbu]sΒ\y3`tI!ҳ J򼕼w-,Y+$]ʹ{S&zn}^V>ab‡< Ͷ{DP5s\RHt~@}te2tK}aUJs,GuX&/ˎ7@dydFza ރM eu7al٧.wDK2)8#sv1kh: (E$v G43a+Fܶb\HZ {M#,_ 0J׊eʢW*֬Ǔ?VE\~58>g#aǒbUoϞŽM^=lw3g@AYy`Ҏ"[u^_+0ZuhJD@ :@n`< <`?6.7t~q!H0SP:t0OR Iѫe fLXPO~ -%{ +MЭ≙w , ډS q.OWm [% 4e~0̌IDݞo@Z`!Jfw0[^pAA&*zUmC751)>v 8wlxMRw,D,nj6TMٲ$Z O P \Op^E<+6`JbQ|ª[0VM:lq`$33)pXSY&Ǟ.#Nx30UԒXOVU2D] l*ӱ1>yzm絬yXu#XnoO"1AuDbՖO.Yy*RԢ,0,뫻`)WF-V`W)xulƚgkf,3@voNQ[w͇X5BorM} B_Kps2t릝-Sl /n`W0߰UUe#^;^VpJ'ϟG28/kSf|ĪQB19BYD@'Ywynq$,F\m7VS{YʈGH#6ςSyM! (r>EBzɀwq*At_dKe ȇK ?xh_7*X j ҉y㏼* HȶׯCw !CJDQ VA4H4q!43TYMdiIT;mةCW$r<=+XY/V-DeluŹi":-pbZV%ZW=I/~ j$f n"*?wz<ݑNs-T6o7 _t  L@ݭbI=?ܨ;%5fqg%PQ`OE6q"d bnf??AQg=W8qcuih wCCy[:Sjzr db6Nd'xtKHx߱lqnYu[ 񘻬zY0;.E擳дEQhF쪦 Z(=FIE8i |)}fdw){ 6Ƒ{DjE56Hc~.'+[j`W <-jAjkN$ g 4=L43XM:\6GgӠƷ)}3ڱYAp;Z<#]zo#1_q&GO%2pٟ M[6e/ͨG|8~c}=2 ͊Xթ!p1]nS"\p|>Wr緆u6*-e_d11F~dD7 H{|XPT?}%f.O2߷_ VQϸMc'1ӈ!/쿏}(& FhAViīIѵ[id-n+83ZZ##&KrgwSZ1skf5~*LsdA࣫#r܀ dV;H2[e<$cl Gm =凞wu)J*Wkk'x+Q e@~g0>ЋKlJ۠asb*rZ͋Ɠ*I DF1C~Nin1hu$,2O]qU%ʘԃd L^zLGǜEhCqy\Lqyl;>Z;mA,a11 ^ғv6sry.nn4TkȲC^=J0;k'@c1g94ZBJ+TR~,׻Lt[&.n'o` nQK?*?l Rۿ#&T k,yn @&zKݝ @G>]iľ%$t|mUk tL?2_?-"(=3NoqL^X݌0lڂ[,8 wNFKEJRMki|(auor@ ʥZ s4D7z+G52 Hh谂>ZBMpݏVV¹٬8:q{~BE.vWtHu˃DќuRr!8V$)59 1$[뭎H^mNRnh,^qqu;)+Uv C~ΰOȂ.]"j}?(j}IjBXK]TJXk! H*쮋IsöRiy Y*ؖО?Qt"*Tbcb@Sk_h07Q5~|)o{=]!~0X~z^R`N&64%1eϏ.vV*?6Ӿŕ(h9BxƼ.H@uDf3^p]nX"_,_7I Uw%}fA?37 jT YYi8_T緒b4SYs2#n |pP G1BX9^ /``ə?2= F=VFn}Kun<K ۳ v):Pi_iRgEG[3bedEj鯭!TR iy5rhOsHQf,pOU *?y9< ϗ%:̜h:oie7/ZTߞU˂:T$(nErSCqOCJ\l#uDrқk'm\-fi M-+gsJVcnQ;ͺ/]GdӲ|C*RlHݩ{+zd]ʱ>`Eނ{  0UJ752P(З#+%ϟ\SJkGDE-ASh/EJt}UY zV:幈B>go:>\Z?AO T-*LLn|q'WJ-cPe ]CʼnJzω6Y.r)BVTܵ<3P%d[ ,·n6|ߞA`wpCS2Ջfb>{oƌĜncs"hYR1ײǽ9 (sVlhO%SkO2ЕcV/ĸBc׮E;Hy/q|ԋup1 0\-kҍ-44E*|-QW3Gh͟PKs}@CT1ߏk@Ն]CIZ4bZ4jYT:f`"}e?ds'ϵZ T~LJ^mbGSKMM$tIm;pUipb\(@!ʉ >:ӥ=vq&e7@%~@r6+R hka\ϓ Dg{9cƠ (t "NS`f͔+̳Mpy$NMGhȁBHv}MR`8չ2] gz;X.'-{g1 P`;]ߌMADrI^:@*/mH~|^b8^c =T~O|bse#5Ks(.3 >ubck RJ5n\2ljQsL D5 kT)qc21*T8W iGH0)ߙC"ݝ=b> m&[q΍j%W N:wUw#%`.Hw{`ua|69%<8H0Biv=+@(!<S°XxhkA$@hr)S">" =HT`nS( b.? 3$c 3 WjM"(lZ%T8 O˒!:la[6_Q{J!T?8~}KP Lhg|4%B!6w} (&M K o dMK6nI/ɴA B!v1nTM 6\:i1FChAFN)N;N\t!o޶HOhȌn[f?Hsy ".2G2I6{dOÅrJ%gI땾;.YزI ҳ{L+Lj :K㧚Bu&1#v$ͩZ~teGc*_7РxUE0dC+VA5ݝ= !j5hx?{6-[S <|m'# Uu8bEwT#)юVb ,~߆A#|dh3YCj?[[LJ]"lW(?֚ ұgQvCJs'/:1Qx_d05=%9T 4b AkqK2TF̲FIu/MU})3d=vtL];xntSM#`΁3qW̶v m1X# cx?]7ęݞK?S?فoqW&@[=Wh4˿U9n:)l? <QdL[:Ygw-@V1dD3fΘl6|)XzoAvZDbwP-9fhùTźH{˫lM5zfRqF 0Y3K!ujitQՔCk.+ |Bd*ōC W[lfu^ȩ7k&VFjw=c3R"&e= ]-^4Ch$nӰ]hlܙٓWܺpka8`pwOJ΂t*byРW`Wz\q5MM{(CI"J"mI/mwX V鸤{v dcvQhs9'W˒j:bD_4ڼUhMtƇR.S^pQ<+Hj[h`{ c {.7W_v5.f:= t+d~ hJ B:'8'r޵)gh&~_=?1k tY\"`v>L(̏p#%7b^68Ҫ5{~S-$:%sJM[\S*^lB@=?,E/i,`?>yRe=~RbzPvS}:3yNrT0R{pŒԹ #y`N4\bTzɄA>hӴ66K<M=9L`R#?aP '}.~27+w%,A{ 9ځqBAX̱ tZY:E | |SGv Awl*yw v5Ө0\yVMަUV_5ɽIS_.l:7b Mnoes12OlU05죥r?=%' 1KM!%>m Sp"ԭ/ا0~17=D+p~q-1'!D#R=ssri׶jb6ܟǓKozcwX՛ɿU? ܊DNªOZGw)puY66˕, #l@|XZ +WPFݭ VɠiN)%cb ҊZ~P[QJ3;9>Df 0w~/gDzgyY!#S > 6,"\x1x/E˶QIjU,H/?:{qg^i8_aOzf)s2J֊U'DKgECSQUŗ3-hʍ(̾efFL":[Cx |39V uDpەF ^CRa-N(xVY$P_; \坎Kc;Zgw,|Si1-\P?|W(*5-y@g9H3Frz\'W^@3w+gvy-ZaNTöiD⧏}N|ɪw*g;%R%S#@(Azl9!t&GYuOU^9FsfN_-utf}4 >zm +iZ4i0<90%|я V F2{%sF*<$I:() ɀtH-s;kҩE\ʜ:ÚHݤcn8@oVON#_"l!OQwOWԊlz^Fb5)Gf 3^ uu5Y}"TWH>-B5M ՉcoeGdvl e}F3er:s|&Fuq&!Sz֨"'EWWMzŸo|C*16r8}IЊC?q2ܯǟcTҞG (Aƻ$MJsZ*g`E{> d3o/BIM2W ۹*ԛ4\o %kAxL(s^LF@1l!. d;+bQz~/e>]Hpr> U ${2%ҽDfl䦖.|J~TE] #uxltJŌ9L}ĉ|4B`urAx VAé :rޮ sT"0]η|"}ԣ|y>a.vrjm K:JYt[׸؂=var+6t2q  :m* mh@0;a=h=dx[,%0N\xPqù)jR|;TD*-HM&zgNbm]# zq;E={0u3Eiw=sFB S3olvt&f۶?G vNCvekasP F?7%*uqlkv #sMHC|p 0מC9|܌P*ig;5sq'f噭.a,}CKYD3h'%Ev UgG&)J4  ?|i 0k=RS9rUf4/#lj;h X=ߒ]N8T5 J1vE;*^sdQ#8Cfӷ8q3jRS6N P {z : ƽYe"׊ZJ@~ŪmU|9!I 7RK_%-`YG0 nZ}]3n9][\_ڒD~Sd> .rVk&p',MȒ-47G~z*sFhT֓rC&pdol}fY/05E7:n2Fn5Cu?0Fc/T:_[ЀC)8kEm,!Q L0- {5`SM2(x&b+)/p1S_ l <8'/AZhS)<N?im*O:܂l΋rzg`|H0n)CaeTr!ču)I:X7i6rnnp Rv8kV֧'-0/UT\IsL`?<ϟ!CǺ/ɟ%Q8('Ç2X%+:mhJP5 XR5Ripb=@3BFN1W<.bb.)k)1ħX -u I^H/BGK@*iYK8^&DJ6RwsIas=2xK*_O`b-pr˞pf1E]KX}) O2fK Tc\*3랯_pȕ}+!ѸP>GtHԟ^tE2𖾟d/f DBgR(dw2,Zv3zfo.!l6 lD,SV&%wKMcɏb9?"t nDlo(^;5,Wkl>ź { H3Be&o9/i"nbBʭ/K{z4ݟ͖.g+SzTjNbe3AG:5mw?Gh;Ph|?Omx)R!ƲǾ44k^ q+}wbJӄoAQ%Xc9>bv W c=hڂ'~e6aϟ=1mRoܖ2”o+}N!]WtݩɑL)$vammHx7oa9؛rжx2_+9Uix&Jr2Ǹ)}%?<ƊAt4.x뱔g~r-Lz\a+Z_r%Ȥ5*({}Yk.^ubq Ksڨc:}y 6Њ,LtM6ֳG(Og l;5ˑ 7 + G^~3*Sz'7̆20i+Ѝ뼆wPUy9}猷ʬp9yc']$KFAb^P/-N&<@epSTųQ"N!z,e- m É_q= ylr1Yw9Iڙ' 9)~L^GkyO`EfZ)7uti ,j0K*ȵ}Gfʷ/ɲW#f$0(ڦ_!>dc8DLSA$V$IBڴ0dbbwMfTߌaCY"BHKb܈)6m;]z"XerY G~wR9mhjlĂ#Έ=ʊ\L-G86=s2k]'I/VjN#NO pg(¬,$GP -~p(hdm*:AwDgIJO4pR2Iw0o%(~W{VbI4? R=! }Tq_1a"=֎3=^NP;A ǔ8I 1k֤%Tl^D^T&,Q]Rf9>$dV xlU5Q!p>=FIjA?\5'[mPJ`Ւ1t/D(̸˪i'S#$ںEkIbbhIzM2[ u. `)źXM%웷_S,ÞmcM뺫cKr?`8"YДDg]K~ Y1\WjQY*b|ZZq=(s^-B%V򼰵Ԯ{&L8hVX MKzuX44&| rKƃɵO?[ܪ;!["lc AwUskp!99_= v,W-\[YYϟ/~VOdua᫸S콧d3a. 祺z8u:rk}z<迟}o,JI3?S_Vuaؚ] *?9DYr.S^M_z"imŞr1lێΓ-vx[0~ SS։yX&p9Ex<ژKlZV >}]2.'s_ʯ 5F+_ pC>L0ys>ok@cce6 xMb> hqv_cO_dXKmXۊΈX ThGpvu0*s4uӼʳvA.jhߙ¢W ~91(fNQOlPo?Sx4U.м ں^u0LsV oc;?n1|#!ҍ=q}zx4tSՈ4` 9=16;,2 B!k=c*`tz.:I8retD?sO(cj齟d Ъbm j< 0#!_d$f)V#[W@2F3㖟DDPϤX%ˊFyc_pdY`?0A-Ԇر<ك ] >^9QW"*.tc(t4nU]+U*T} 2R#xAtѽlԈQyVpu5JY]J}"`;R[Hq+}O!w&1 Gyg*cBIdQ8 q%&$cg60LlZpDȤ5<>dm/6KRW?>\+pbϫ) 1.[xćϿZěbeS`CS‡ 0SK:;g RK !JAL [a?rWGe@^îaޥ%ZGNUnf`3oD "gIKXCBT2nX5WX/$T]O-URcoX܂yZȇ/n]E櫓aIwwhBj=%ߧ$~_ C/-CJX \sf@KXiWcֱDk̳,R:@|,-y:4&g|Jj$ S4, f€Njdy5{Le ζ>8 brĸ#So`^ݮ5BDn:W>zBn_ɫ(kYčK]_Ҫrr llm}%n-7O hSueo#xM{x l`6^&Y$ݒ0X1s2 % 2TmP*{Xc*ڗ2!j*bT'Ѡvͽw^4>UN[mDH%X/!No3H/\xe."F|ph ;^۽+ SX7`>reDK*欟Oc*mr;ޮ﫝8@~J{]"~I;l'A1 ( @f1=qWЮTČF5{4y,;Єq.eP@~1X7ҰV2B5a jVX:Uz*ygU#tͻ} ТCCS< K̎ٮ9^fZlx& =~KvFR]m.n5Iz 6R i6c?t:5o.>l.\N(C_C>[Rͧuy)O#}v*6,KY 8GJʭו5` w8يN ,2e4)vBH'n-GK/I3Q?]v, ciklL=7v@ZXpζ @&Yvr~,wmB,P@`=$RUBcHC T8`IΡ7wE;Tj5KVw F5R*aK+Cǰ)N˪|ndncm׻Y&2Ix t.#7=-u1mȶ-rb6>hpH1@9x Y,@ieG;!Y \`5Y6iߥ},BN ZkyŁX8 WѸx6SPc` Ӊb/B3:I{Zz MAPPtZ}'fSk60ߟn*+u/1T*  KPڟ0UwJ8"j+0: Ojj`UY!,!a~=r֑3TTHAK8ž:>+J!Ae#Qҕ|ݚǕn3QpP1 «'z+{djl;Nl4JC<)XB2v33~SL7Tȍ}uY=qn?T/W炆h9TlqMoWКb TjށۮxYfY5=ݨ/~;^\~5_}^t~F ¦ Ȝ@jawi؟;b7&VXՔCHD+DNfwYqFTҝxۯێAsr_mL}P~ڰ¬: Cː%tM-X)l14ueBz-23\MfOJy;9k: {<*$93aM%)ӃZFړHe{Bi{/жCk uJܥ`-2%hEm\ҧdgTƧ84Xڵ E8 3wi2m|D"_ (S'zo`XgM N6QdI 4 sIZ^%˜F#̌^KwglA]C^岚Ӭ AZvY3ON6aUYM }.^`Ѯ;T8Mgռ[G8]UrX4'?T@e5TC&@vG34T WLR^bVȠ=M #l !ytw$PCH P[Y`m[D`l UmVSJ BrfjQ#9eoP"s!GxTՄ-!ց0y!w*DXF/~WDJ/F$Ks jZUȚd<$sZr6u-0x[\gF_W<%umׅjtN <.F7Ag5e]Q)M t)-XHrY1SzxL'0E3yĜ~F^ 8ݟ\*cEl%, |!sI?|M8|wtylU7#Ufш:Pm~窸H#.+cƋy> tYv't q.sr=9\C%~U9m0gs"7V |]LTfn;r8; ~p8dB|,)E@n8*f˽e}qky!s( RTa}4iOR;N%a5u} /-j~ r߹_a"\ڬ '+x->9@_t)@9GfQTs]I^ zh]:%J.Ɏys7ͨ$ G"L{[qIj[a~58pm[dܡE-LWKRb4ꥵc._z'5R& 5$uz{KE9ݛ!>nԼ7b'pH/^6_])>nN,-C!=?_7Qv}`fT33:v]cAah/ئ ǿ&ڲD>/j$Lں胮&rt(^/[D:'NnjǻtW\rg=jY0G9_"bi)nn/ ֯0']l }ʭ$'b"uzZӏtί.QGYq"twSrI$ ^\A 3g_J:xUϾKu2%>!#67zI!Pw%r#{>wCKy-R$MK-UMWkomBT6]яym  _.DGx Mi7\CF[EU[MsxKq,X9+di2|0En$+3s,i6!P"N4Okǻ,XT2$^8?h*-h[;-ОHs龴=FEtLII{ dqKYHFcb"S"wlX/%g&F |7EE8ʐ\AbAwW!AϳZQBl!ٴ9,֨e)_p"S/˔ij*c({V!i!V02ƺUOm\Q\x3g$-,s ,_̺S>j̠ޗk_U73 8$yqW2ݳܷ:o9s) w.CDeIL ̿r>a3|>%4EןGme!\mD;դR,yŋG=;0 sp=$9mvS s\E׉wT>ER7J w>*wa]JͺS2-H냫B7 32Xfq+qOT}v*Z j 2#Q&\~YXl;cĚgl >Vk\LWN9S CrYLOFԔZuG;d*2dgr`D2w @AN3Gл٦Ew{U;)48`~0r<̉Oz.;G iZ۝[}z6=?W N;=R.P(ȋJ* } e0HJn";پהT*W}UARvu[,NqWg]&3 bVM}\Imf]~riz/ `Y(7%o8›)xDq< Bp@q,Dֽedҋ{'!Q5=qW[ ^E3j-vT@ ŀ`55k pUs Z0#])@\ ٺ:9!Dtޚ+7fQ\~\^G|:zEʟ8(ZbҚF D*֩* %RufZ*e凲N{!>#Hp<3ϼi1%7VI޲?H12 wG\:8"+r=;jR *xoR$ MzFĕ9DʻYyFQ=o]Пd,MI{cOԋjQF0 O!^FU}ȯ͒AB%MB&-FiWqWmG3[]S(!+(0qHvU_ĚGИ#jnqyëG\z)P#IF]g:<)ioLj5hNboa5~0xWZ [3IeiOԃkJʯ$tw+ޝF4=̕_v69iMvn6!Q~Qy zx,^3Ub`a+Gc*AaK)DRC":j9R` ',M@Ǡb#;}# MP߭x_(#ƿЫb3%vhZfg Ff2F ]4 EYUsR}g:Or 1-~揺\=uC;@Sm#-6^Yfh:{m.rJzD5EtuG%1P(//)9``4}ϻ\g(Pceĕkwr`LMDvpL҅zn2Yç30`a qWg9tuL[]$<`Ö=ձAɑFeӗhzwWz>hzbT^W:]lq%Y[ߝ{;ڨSFs3vFE֢O{7[_pv%9d*qO~熨۞xͥݜ%,?: 5!'|zjBWRd JLWb*ϼZ@ Es!w2(BUGk3YS]Sq!ZR]𳍐.e?BJn3 xIɾ>⋿)Wz4ffA;c?92.~a3McMf+Ơ+yLc2![ܦX(؃-UոA8Pѽ}rIX<&Sbyͯ>~(<bQftzCvFYzx?IXk'YXcHp\޷p(ҵfV3⿴b`c?5I!jMC޽ly w\̓v'9x NaJc4m: R ftI ؿ)߷\扝cQc`qʅ/}g'䆛F!M{K27œsv_mv$%3u䵊R9":܈X4\zLNsFu^9oO\XaF\cBi4A!)خļoZF A)P%9E`;V| cEr?ɬD~@keMj0(uDjgGm@r &7\9uSnK.36n v‰?S'܌,?Mw n̐" T)xrYN%X/9[i1V`\M,q7h!\}dQ?Vu5^_ v8v#v,.濴?s# &q3hLk*Zu?I+;w p!6 t.+B%J&ZT~U3-ύ!!bZ/:W6_ILPUv0]NE»eıI%JP A'u ~}0FLsskyηE:ŞVd9'W-(CX…MPt"7EQ|5kU%jzM v *?SB'ߣ'pX$XGj]{fͷ- Te@ΗZqZZ-3qB#R_{83tu[U:T7'* '`ˢyv+ȰdDt#?5Fݔ5sw^/iDH/nd_XԴgA=Ī #LDNnu;t ii;v5ɼu|GJ$yئ\!k (ܕH.aw5BaZ? p I۠0?Om>p*ޢ=QOu:T@ˡoW{b̛ 3|LOP "PUz.::+>*žKMUbST g  5qx"DL!.1W A?;hNYBHVM7^u 2EM|@AUv[D6"nBÔlbԒ'{X/1:'Y:y$Mtm{hf=ULlh$mf/ S+Ms 'vZFb:7OǺLD{d2m/Ȭ8ݩ擋K×,ȆKØ[;LwuUni/Us'iWðGfFu7y{G=dKޓxB&qJ߅Vx/D&, 3bIZ~3ߗ-/ePd4, vȚQ (|,g LFhR2__34 :aGŮRý~>f gVEjw6x"3Q\Oᕝ{UN_gPPrbd;4`_$#29ՅY+h.#8!@62#Jː|9̬ǰN4 =pͦog=x~+î盁ă8"UGZN` TU޲*ǃ$tLbಖ0#1:L4ǪcLÅ75R`/Yĩo xaOPѿ:p'|z[WЋ̪ŽM20_("Au{$ ݶ庍2HFKǯՊ-vN^{$װn׆@Akv~J 9^ $FAk; [y5{J :VﵩJ5׍Gd3:vfm8>Z]~ m2Yk$\›&P=qTwңNYj8l%!Uh\5_tcwOG_P6vZ]nG2P1b뮿q-:'KlzTd._YEUg^)~XOrTL矐Tm; K%V6aůPlz'Uo|X&Y8!&HW*L҃iˀ'ݢk*^'Z8=BәOQ$_Ǵr˲*y{8*syQ}7$& kҸgNm,3oMp$KoTThslM Wd1Plfd\k؇bk7|#981|=tD.)Gku ~s`y+^أzB@D}FP-k6PT` `8L"-J|O lc=2<%c*@懕9cP)sfS[:CݖJՎG!QhPkK!ޖ<~ ԌU/%][?2@oAm=p7Iwr* ݨX̛cl}w4"YXb򾌽@#I7U :_fBgزB&%32=zADL\׿PyxW[m?O:v;NL]&m^9&D?OtA$]b>l."&Gzb|4KNuᢥK%<9X*Ef {bhCdʔF-89An,Z*d';łSOQQSbGBXXjU7` I̐Q!ܼiKľ#'IJ&js({o.]s6`;Jbi+\2N0\t{st.y5&>ifW\thkS&InpS\^hś]UccQ:#gc,LEL)!EO:m>[RU<;e,1_ŕ=kw@jF1[0nPIFaI-ֵگDJ{VCKs --b8銷@k6 ]9g?+@,9Ln,l8gׇ*}B`bLOT6„-e?gYZaa16e029c18a472c974b611a783c98e38200ccdfdd3df6fd1fc63d31a2930446f6245215ba2d6c82f0b2383f8ac30a341dc94e483ee07bc095a32ae6