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 b'tL$ ]%]Sepref_Prereq:threads=4elapsed=37.805cpu=87.756gc=4.2487zXZִF! ]ŗXiɟH)0%o+3̥[$HNO0$*,҇lm*<,R4Fފ^Th0ppypwa{dg[M o?%D d-vi[Kfj)zS\* ciEzS0x"݈&~GLkiV%0} leҤTLy=N]`Y1>k%v`r p@"z ݚu;앒u [izʉ}K@'~ [0:RcF'=Yp1CE9F&PhGb37rcԱJ1trq# CKH{BZ52JFOl$ewnthPRr,;2 B с[жv1mYzW lI-yzueWOF=v|tٚa_YFRJq9ԟrR `_tGiD `#hrQ#- FِF>jeઃ f_z{Ng~;KF͔{)ȣeLnqe#\~cS?v'wv5,kLX¯ 407SA+9Sg||#lvPcD]q)1CƒvP}ZK7OhrM#pKHu9p?RjVةe_AkP'y'` O>9YR՚U@'Vj ]v,(VIKֱS+;~L0c v9y" }-ljĮ"q_:PKaG=4d l̏mʿ5^}G"ĉtqa.9Jih _z%mhz'2e kL1g& 5i;1ꅙ1)+ kߙű?K 0 e2Z^^+sϜYuC w"(p tn4@3jkHZa˚_lҀMO8V`)rMDϑP8V1!6Kse?n?va*Ċn}B(zwC8i;Vnxs{u\-IKߣѶ2T :*0s-Ex#ΊNP{j^  J@avfڴCbZsh-Ԧ;Gz6;#ᬸ;zH #MF}PcůQGw0Ir^s^FI-/V'[ۨxlL!Ayw=syDQˋwU/ M$_'g!j=)x循@ ᖩ#5P)X}m'N5eSw1: 0 lKΕx'"PM^&y$O7#J¦ok_d8䨚xFZgí7෻1:> h ]0i"O0L:rl2+ S'TPnBycUHzPz;b@%?a%A?ͪ Lp#.`7Y(X:1dt $u"fj6ʋ,Ìzb K8SjEH3oU2lB݁bqh JV[d,o٬Zj@(Bh%h,t}˚bE}'8\{W>i 71 bKfKG$XoiaFtf SˣlR.kno}q l2p>דa:i:):QB@@S)vq|YHPV˘VimSYBEByn&"2iyHiߙ\ޗW?> P(v^-zl- wcx9jvf~n5"޾kq3?h.{3-&: 6H5.Y]/v~AR۷4lP58]#xxI/>LB+٦kS"6C3,5f[ 7gw(ʀX="cHrdƖmi"8騍P8p:'NfW#k_xC/Zq1nh*a(_U\ 49VKÝ`q0B^Y), vX^ٻ;)i>gZ0QhpA-Kc;mhF{6q )i4kwv{!~uڒUףgaLY#p%(sG2H۰%omf̖4;1wgطeB\= Okj]yAK^:8m!%BkeϧUl+(PIljperh+_WDt ,C4;4~4˜BU D4w]Н&9: 9롨w$!6Ð{u–<]ԃDn3=>1{2#F龶ʄ行ك$EA֤= fe$AWo,%&Pat7LFT8LڣА/:z۹\@43MP3oM{f9UZW/ozu`9H!y_Hw{eM_R^ $Do:0:м; WZ n{ԩpCJMwHɒ̗N{?\ .iх̐vXͯ"_Zyڇ}imx#~c<0RIq\V=7~2/UFlOP:(x|k&桯 xQWEM aKq/*oUEؖ-A"hTA:weՆbfS} uSGj3+C-">Sb3dMw #;c}HmP8~/X-fX6Ȕ3~nČ0ZEde7 06.4̀ Ǐë#c༡)W}FokCQ=mE1A`봾=%Vɽ>*~4ΟgZmLQS'똷Z *w~D6!А^~{*|a2j7 7tv@&ۣ̚40D( 2}_N 9iT$DjLbK\+W' u/Z8"43ϴ#a]4q{?cTnT< {B܊A&j4ȘP ?6&9ww2C >kRtmga %M'r TD讙""4a!.J^^laDʀ/B4>p6;d 65Y#pn$9<& yt5sk1eXDJy^F]eFbT0l%,-bՐhr`|nYɺvv~1JGXuYIX\RQru`{Y$nnCg RPc G"97 4ڝ _2+nEFޠJE[_'LHNi>s=>b³ٙ)2Iė JU7ܾ>w d^> -DkV Pl\,/P2AR4ڭOhMzĵi+djf[{m $abf^@ҕ?JOL2h5(;NRwk]g`r< 6*33w8 x yn\-|k'z'g:k(}].A%>sUk?CIc46GqZjݘowdI @z}:we _ZDO+1]奅u/^x!T /-M10Qn+fM_F#KFfn6&E732SS4 ڍu2>:Ԕ^sPնv2;)Rbsi4%n6֒/˂gcr=;T֗jל$׺u[4wa:%jGZ5,"{[3a̻, VOiS6pF|0ط'0Jakos.k뷈a#eJmU*yy'1_@C2/Rn]IXB1o~/ќUI%mmm6;~]X,=jX1mdju"XnF+[0)A$%/-BXc~_97vx!Ԝ2N6 mwxg/\MV^w}ʚl"L+]. U_Wd Ь$c\p8 )c1#ݱ>|e TZY˖WZƩh̿p#Ex"z;N{&3k#CwBn?0̬+7<tAA笵Mߑ&A [S϶ưN*TZ}d PŹN5nf5OOX196ݣqk/+AQ?2Y}9B7gQꪬF*W9~J!G]e $<;'FXC:){VWAMU~x#tUS@43^{I}ߨeպyf;0׫O9f+BjϨ`kBw>q WU3jXnЙ1gJ9͝ggҟ.Ju߼d@:[*C?2m;=or0ӡn[*K{{k\t@F,\UqE~xQ"Gg*E4`cu< aەaw4Ŋ|_ũ=tw(`og 'ЙGs[K2$,Ydvq@wJ&C1nT%eLYyT2oM!׉w+[ +}( TkA:sT_5nP7 `!޶[$CDq1 ]Df%N 0vU t::;w2gPv:F̞s@CԻy,,p0llF&s:;:XzxuL_O0a)y T'PXa*eFlp2_NrKO>sfeܐnd ;'%>#X^$Q8qPn/K1} LmY~MkԛRQ~ =9l(ڲf“[HŝOMEzEI1^Z iS±b̉Rw\nפ?w"wM=f(/%9#=;a$N% 9ROpȋOgPN-BBc],Xa¦wG`M,)ZCLN>?վ\o)7~vFgi)9d 81EWR[FE*NFPR邳Nz5ƅIC` 7nmp_Rʪ_&P cZ=A?NM>=tE WAW)}5jjz!H)ϗ |;SmЊCBɎ϶4N(^tׅd;?֘VAhNN`U x\%͌ؕs*G; 0L|kSw`ouH_"ή(kGva n0gkP Z (QQũEOaZh;Ha -IM"E/2AB ΤeME_tG9߮'j[Ll#޽DAW@=D4#-~`ٔqj8$4BT~9,@ޛW5h Skpz/" q>1LM- b b|-.5by"m<t=_&霗><|ƤFN Z[hnŋ$gR]f(R\jz@EK^]aK4Y0 "5d |BI>&&D]MCK~O2Wstz5 J3puiGJ}O=idVEV!Y5A /b4&*'/wP8YP_ꣂƷTKU<[{%M:\x"SBp`,0lr%3SRݠWYoI!\aą,4{f6C}?Y(L3HMu/ cj8鼪vD?%ƑN[` 3MPDq`-T& 6G HsjWh0G[SMs:7Unn{uG:(T9N<'gNecMӴ\ʃ O6"# g1%Va`Vh44jN ~HFD@EPPX%vSNvOZ`~72GƻFi)g6{Bj^hTmLt)6<聾/JҲ|py.PT4u@@UvCmTCz{ʷau'x疷-- Njn2Sރ/fSB sD;:5$n+ srX)Ӏ_T#oy;;(x~6㿿${g<9JtaR*LU("uO[+15"1d7v5[O ,BmHJJP%Jw NPUMcL x@bQ =ojâ[I]%zwEYpg.hcCS]'~Hqs^VSWZVFY4|1HԒ픨+2ەQl8gfO(nOzB4>.tbO1{VQK|Mُ$Օ`6,HaqV!4ګl d 3*:c>~_]5ܺ{ӫ1JuHN徆s#IiaEfJWqpS"2V28J#8&SM rmmFx((\ Ur?1j9pir1v_{͠|B7tێ7ÄKs6׉J5\c l:Ū Loh=$ ]ʟl֙W"T0 4]N/de5,TADHpG׋kSmBB}\q0tx:*l9Ϩ/ 3~-omqHP,~.4" N0K4b`^$M?% N H^ހԆ.lE>z*R&I`߈ ; o@2E?6M9htJ-v4[1k{N* p~ ĂXCAk,9 фA>]ÌqIfnJ],%l%{R]>- ^$M~k>ԁ(o \_8Wsr] t+wⰘU&XWwޕ[rCyWQYD<3K$Ğz2#=תl-" uW5u.g<=rc'V\df~Ao]P<J#7pqH@̟i~ν(&g$)a0풫 Mf\ww=izL!Ҝ2 D}4&yE6w2YD˒RwB/dC :̋K{yN`o3u(c(g rY:е)sK@ eum[○JgČGc .r`h5 x&ovEM_70'2r)ہcn DIq"`F obWCZj`P!bѼ vy|%ӄڿOIMIC ֺd ĸ+In?Klnx|y(`Dska Dwۢ K59þ2UX!𖠞)NS&IujN;,Xp7 g`E<3st"WJo d͂7c˩Qa_LzHgy* PQ3PPPKlE#F|lք'tn;'}Qz,ݐ9tG_HrDɟh]ǚ<ϔL|,\6x|JV}L`YzeK[@X(+K D"UDEg s Z)i&>ntA5@biJ'3\cJ\1@6hUÈ|s_^G#&/Ax>h{v8)Hܔ<{F_K#-tg FU -j2,`Q{P6 )*B\uaqJw>/^wXw8o3JD5 2CM¨s3mk"ȷTaQ^UE-KaN$c&"TW2G4m0u1m>1(f2nX<2;k̼yn*KjctWnwȴ*yxHm?e$ Ӌ^ҽ[smO=6⛂C2:PdXѝzb6`׸NpͲag(~7%?ر6HIH']UYmE < rzKO3A T@,xv-zNI"Kyr떢uǞosŃ3 aJD PbU^/pҘjsSoblLƠ;3B4,u6%G'%wh 3Xa?7+_s1ѷi+Sgfl5 2(m~ cc+1Pm樸\ 6]>-;^iv RR/ {~$myi12fEU@ry@?Vc&ʝJ| MQwDyn'KqMՎ4nU}TXQ1 ٴB]'c3 vƙG[ 26e.rǢs KRػU~c70p;ĵif^VJ@MKڭ4JgPQcAʸB$|A 7i?]j~Ԕ:5DK"a @񬉇yZ 1Sɻ)GsV1qw%׵y]`> b}=c櫋Ҷ9Љ197LfT<߱+FFyYwN`td v oY-T cXvh=Jy0@0{Ů)4B>6ݗxIT俓/%Lт aGoM*k8ouJnlWs)JC-{EU NWcMΨLQrL/Qܑ{vR=< R?n_B\U=SQ-s].goOb\݀<3&a[a~K~Cԕi7SJKKO "S79 IEn֪%@JѕF~VM. ngT6u1; +Rم`y7^S$4J%fWH( dTl*%PПHQ /fq\C3 1.ZwX7D'ΝҪ5ۣ7+?/x,'ox` k/E(#%`ZIBq7jYPcυد;@̕;S Ө+v?Wx> 6V"ql͸L7Ņ=6rfG{ Ka17ja}]e'n+ίgo&e76tn4@KXHJ&$ڔ0]m/ݨAz Sam{m5nQ&Ks7@Ϲ6Tl~ORRniHR:?U YwP< O#(XjQ]N9,,xs f미g^ٽVO%3r.\tEx}bݣ8/P$E\Xf m?w~u|jQ]=n$ШLUzGAX^eG2a_*</?,,5]0BR 5E ^>]]z+:GVbES\PJ"3 J^ߗ4kW7-KaTYze!g F2.ݦ(FR8XFu$aw>=KWJͬvpa= ! 5lhxJŝ@0bΤ!(4[-7 ѐ{1._.̄|/BGDj0ZoSyR9OVc#VxeZm-(Q'EM;F-r&<`N Ee(ǔ$~JmY^gDG؝)lSV3dG^_}1J!i`][3gFށiz_`!G9PHI(Lv}4Hij<'3ROel}bK h:/v8f=$ |"#p~t{mBڻ~h,Ȩ?,O˧u]$oD s`%RRִ͞1jҴ,RZ^WO},p)9ƕҠt#| <鿔98<#"6{8^z̤g?{h1|#jBv^eh--)&K@ S5B6.ZdS$9Tt` W>{"?ql,udh ygo"\鲱uU5Z'^#8%<ӑp[‰{'u:fQ]$F\\#YdH Ws=AN>cNx"f1o"9NN|ϢK 7C.nȔA\jV0x?ƈH$^Vq~캧G맷ޗ V3sY 2RCvx29bql6ʮK{x%'pdLѩ4O;3Qk6bpxt_!Uع ^ISRKBp:GygeO8lIFU_/9f$zf-+=e϶?4^|U vĪ5^y>(g*$&JTU1EGԪH.]tN+aאTS6בFI4O=QślgB+= &,a~KP$^be\L_]3gKv|ԒEt $c敾Ex5!FU\RfJ9iMLr6R(3o }dq}y'IE]MZQ/ \,,*V(iO t`mhS&\]wֲHhIb}cijLÀl(TJR;8׶[C=*:`hfOrBHiKr9RU֤[Gw%" t$*K( U-,C؁8`LwSqW$sI\Jj,[Ӆt5^7ӻBd;o(`X<͢gsɘt;}@~Gy#T7KJ=* chZt!d˝@ @rME]pB > CqR\Y Gu6.@:nu c[Al'sHn@3J/}s2!k8a@N_nh-O6E )O'jk^oKrl^4 !Jsx(GaQ1WThhUoLDƍ Rɔ{9gwn+8U0y;?Q=ጹ7z Xx{j1pOlC{'r;Jߔi|%U$ zi$]tVF5\| |={E>P߀u6k^'JBW1gWOh,F j'" ?}ٜpS/գd}PBᚙ>|7 U_FbzY)jr}_r |a2#sRzoEV*jsy(d"6[3ECUUB5&ڬGikLثR45Kn/݋cZ]Qc1%\` {Ur d4Eִ(5}C*%]6PcZw ;h8j !^c[ ?뙅z[~ Z mR?lnXn触-AE#OW99d{ʰ]w93b|9:FL$"_h?N\4ܷFQ2ƙf+S'.Q@;1pSdOJ,e_ZAl{n/`H᥊E)9rbhJռW,3L1~h=N !i/xaFSNCU,ȝ+?k^/x$'T![s%b(tK}ۅ }:({rAȆqPntH*h(WG⧾]l IiI]N1eTb$'6 1 j<+9*F~Jaa@8\8 ߴiYˡrNp0I!宻4?eR*4Z5j@Rm%=>+@Xۺ|tpHP[|(Dw29j@WGK_۩zRW'NoSl0ri ܀7S~5;e#V>@`ː2: YQj*?Te"XGL &c,DH1|t_y5S#4Zo*I~q~X8[r겉S]0̌`J'j杏ϖ 2DW*}f"\rYEYNt|7"_kوMy+^FΟ'ζh"ӊV80< GJ@ S({ j&b7& )?Qm 5CjЯK6ZQP 4^Ců2`<_ew0Q<x8 PfUulϡ7 RGۊ `':NoA| Y^" !DֈjQw}=rH4e.>r]v4#ArTCϦy__@<1)zJ(iLFTG:}$}<N!!W<}ZRBpe'rSY|ZE Ͷ}fMQg>ʍ!첍fޛ4Bjz#Z kq ue-~D-3HC8mI@`Y?W x'_kAX0)p ɏKEӇW$ l|(Ϭ%kh3dz94ᧅԱL Lz2%E=g<$( !T)6&nюc}VkAhVk-W>ڪzQ&"mmڽU٥0ɰRiv LSc33HI*<5E."a6TBK{!e˾!sA^ϐJtqP貤JpAY :ݡN`um{Xc5ɏo #m(r0n'FjKTIEMC:c,.b᷂sWLYm< 휻 > ٌnxpb/5U$ zEIX.~ǍOpۯS)onz@(bc  j8; naE 1Y_L;] ̴̒.BlCAHw=` wwxPfZ}:atȴ !2&lބI{QcHN*&e"f55Ch .SP>C)0K' z&qg Z/ÊS {4Rqq X׽IOa%Oė͌x!N%` q.w|yzuse= ➹JԻW[O}sRϷD0RW-pq4 -΅, ѯ-\H>'> @/(+t>|}Z9J4k蹴"%@Mw/,L]d//az&y3p@rb A+qPbT経3h5ŗ٘߁ 4 [}%ݻ?$r{JX[Z">3amaUpUa#exK2QLm;7cH^z]C'nYZAN:9'>J5k,Ek¯1[ܙ'>Ә~I!%>}w,%Mr A٢)A55h5@ϡ-ձ٩Yf̵X@Amq{qlLZCcmPzoqK!B%[L~H6LiդM3ЄJ!,]L25BMYjKEҰu03|պ'iN-4Z$+H:2V׾#8A_zQmmBCs $7IGD,Q}% ^p*=d\1_ا%:e"yyfYw8Sן颴áǓ '?C+KMьQm(Auf}+b;^=@$sÿ,!c wkv9bf.$4 O V$1},/H4 bvV5xXK5I,WYLC5\eׂճlK˛kbd6I}5 Y$F1Yk().]e[`D'ih,^ɇ.Wza~XT2J},Mf@ou K u7}V?+V,dt2&i.鐃9KY$ gr?-d]ݻ' S6 zh(W:& )'W5C8L"mI*|y~V.Łngל}[nK^oAa%{s { Nkyln+=c t";i2{T!jDsBc)&dr?BxP-|.E Atvv}K{X%Epp(80 ԝISę09<ԫ b_`*Y{Fc̔:1RO`2/N4Ң33 ݍ(]W)q St`5ئI(P";04moκTpSl}/rSǵT)IN%*o 'bUi=XKbA m-)KaXvqU_a<GJ; iSUw`\3BA&@xU t#EJF//ZXka)IOe-_\+q?.Ȇ߃b=Vj;RSѼ=VGsr{W 7L\s ׋W1D[TUى`Xnf>V 4؟t%$(VS:h%jQ]t쮀YG+k/>_P)M{؅1u<QJOqb^Yծ?i d9Z^D߈ƔPA {qFi}󿼞@`\. P4 腤&1ݸWLVcvuK!#*{MuJN!9,x{HSn%(h )l4RͬY^;A0c`Fzu5 d^}wz7XZk~H$˵:yQay7R^|!J: 2l2ԻЀp'L2d0х`3[`܆z,H)R#^hNgfo*V1ߨ4dwWIh/<שNx,Wj ɡ%J^#uSYL ;?B/aO6}>qlbmU o fP6(zW ue'N+* w4J葽A\PU֨}YLQZAVbB?A/+%uvdBF(h1Ml%k8mXe^f;]7m|p<>&D(c|±ZF_H&e|π#53ZDvСIu eClu;6ZYvF|%&g9ij4qLI#ٸ~sP+NR/|)aIewddqNS(m<`[f,l࢐X-U9:Wi]9n7%[Kb] 0uz$?ݽW5C;//K:xIP(Λ2?czlO'__IfGHHmcOA1''~PPO~q}o˗_cs`q`IJl$񐲏oKCZKׯUDR!]ᬗyK ,uEΗ G avV&[5rRsckoF^rKHݒ8`\LuUJ"ēG!}1HFD1nIC98{d]LH36Iѕ3_UCZk@p%*P)w5m|z3o^"7PsٓGsGyI:4Q Ǫq}iD"ȴaZ9,vrCs\MlTNR 0ˆ% L!$zSo[sRCt$>!p+PIz R&;ROx~~"8-0d2S˕+}y$PJvmyq6 DP^)j3|NTdu0k]sO 9-&hҁӳ)wױ$&+m zL$V̦ 5lK)& pKDM5੸ђF<&J 7Ksp9@!X9Pn;$1k=-d%SI'?[Z'r3!VS/E:!tL2i l04ӟ-vD!¨MaHߵTRPcc{x3GONګrAbfdQ#LڪI[}b\ḻGY}1X(n+ H/GOZꉅ||C#`giaԤ^1nr}91{C5^Lܫ.q:Jfu"4%Ӥ-j峥^C3}W G!py$B؏uܥzH? ƐN< s|uJ0PP>sk )8NbZd3[M N,}˖W`t%v'bKoƊP .5mS%8 цHS " I]EǠP!:}̭8xD˞i+bܟ! qoИ8EL(g7Ѽ[t(~d"+}7<~ϑ4oΉÑ~z؊oA~vK|V`OZӿɥfW!'if˳bn80[%}MiI'TpyvJ˱LjDOsM9)Y׆x8 GA~ %? ߋCmİɱ\;cil}Ѱl):UPv(zE(EzUȴ:c"Լ{I-|#b\Z&7.231^RzZ RR20 өEt(ĥIķxj<^xu#)M,t{޾SYIBq$9pTlv"Wc iqQ0 pfWf|8\vs21nv/r͛~w'-K631Z2mg_ @B_ZT,.vq!gSgI#j(܏ꄥp:9yj&Y@部oi?ˋ<ɉ[wb)ô~ʣV%m؝C 0+԰3* " =<WKEjERs+^ [CH=Ӷ0bUcW;jmcq+v+L8&Im~c2]b7b{`\¦=tGD MCB<¦ݩ_XG=&ֵo/fIeW2E,c48v1/zx4VboH,1'}q{I |-!?FebV)'B2p EEt\zL:mS짡*%ئn&d!ص>HL½rc./Rȼ-p>ҕ.u :9/cZk]qyv- >w 1# (E B ̣ay5H: bZt7Zs4TBXsC,Z,&Xt yC؄% iƊo9ؑ;W 'I!5簐|apwu"UYf&zߺPZp&Y<ϸ) 58=.݆_>QoZ%s[-]sf|G}]i UH9lO {L:NE}E Lf&{)^6`myo$uAf;bU8`/p]{Tk}~R7*vtl@(#(S@is3tR/z&OX 8js3mL O.M=z̆GdYc%"JjC=[jyICt_O9[:yؼnVڭN*PJxpC_K6M6QYWjoUiϸp M~\j I4.n!>TH-#Jorru rPEzwW @la'P|[%?/#t<*çۿçhX.lz4CE?nsPV=ŶDb$蝎 FfZL=l&,%^5Wv|N }jUb!9gj'ޱұRa Lsy5l)&\Wsx?,~o.p[L0(sp{!cvlR9|h𓜯$Zӂ [FX+E K@Q)wۗGpϲoYۼ b= Cw^}{q]кte%n L@ rr;$BA&8␧b/JZlyJ/ޏG(.^X])vwd_gء*g8TBHx6.&?M[h D,cː0[UAHò'&(׽Fu}i0YsǴyd?wWܫLݻBMʴ)ٻYH)f'We8CPۍ>6ll'q~u-җĈko$fC0آ {L[/Rڞx֏'>%pH4gc/P3X]Y?lws yjGF^)xK_ Oek%8wnxf}Js76j8 D%۱Hvi ڏ9W{xxcam:Ʋ GofH#M!mM/]Htl3\)*Qo0{!k-ta&50@*M#Z24e%$/֙/Cm5C,reUh7NLp(҅gbBn2s_ܬn˃sK.U&Kc@ % pc[e+(eX ^S/}LSWq7j-OĐBWdg(QIV{)fjt1|T Yɡb-YRy~,B>Picӳ YVF-y _ %!|g!c Շ?c>%BQULg1RzZA\]#fܯ;8+*#7u q :z\Hdoï;^8sMglUu#Q(i,#P"M{ơ%*݆2`t /b9M .׍ݻ]'^f#MxS{Ps?>S6 k`V k9YaLC }VGkHX8O[5;3:sPjsSL]am0|'+cmZj #""f9.'j4nۚOfo;RfǸYVbF(|=:>CPdhŃI웪1Mpb.ݐwg6TPCrxyeNS*ǖcJ _2wԳ&5~אԄs,fn(-RM6<^ELGX/?ɆzzFՑP%h8\hy̩Bι%]n'[+2Tq<:ABO͚4rPOڠQS< '8HH3:Ss+ݍr)CQ¥s k6:@Y<x҈pؠ'K;>3 Y }됧Ʉbi&8@r8âsW]φ/ Lk_Ezar绕> \bm; %d_=t(Y'V ]oXWhKjG PO136!HSO6x~&WL[R=203Q ;i(8;kx] i|ܩBN<^uR@/VHF^6qwֶ"XvtFܡn!deUy.'ʔ*䎱sS5؇Ikp7*mZy)qߔ#Œa)Io~ DЛx%w*p${g8D6w?Imг6C'Z+bCh\,}2 &H;A$k0UF5f84.|@07iq6>D@H欵. yYgAD6ay{4 KP1?&cG|IyWu4O$6qmV{iƐNj,Տ|ىOL{G+ kzd 8tݘc4Դ;{Pes"I -cKnkY4*^70㯲Nh~]A4>=6 %?IvG%d6+d΂ @rf5 iS .xk ;??>rԾofӢhЉpOKE{bSCw,qsocHӪ3H*}{"+T/RfE3LM;t t~+B=g/E%&'!vY$7mSTSeWks iׁYX\\-J06xM>;ę5"7%jRq>Y,E{fKjH2]uPl ܒ=5`P!&$xp+BJu^dK$|Y]l9!ti~T1SΥ,n() >iLa9#}-̔?'j)!(bc`ߛ5muA +GA`o%Te2HnéJ"+[IfЉφ6&c>`7~| Х |'9: a RRVAb^RUZ>Z5Wac ̌Osv;>GLf7XcaZj<б bÎgyUty?ߌ9 !"o7`qK!+)# ITұ=IXwI"ݠlp#`$o: [Dp NV{5vGUě+E*.eX󔩺}[˜}E"i{L \VlT\ `KT߮RnH&j^-< Q뮚J_Rz/Ny{kA?rp'[H۲b;,eR+gBy&=(ɿ/T߲`~9$NAZf2z|6xsIS٬#;RiD.9.Q%Ԥ^@oMu87op6R 80c~$!Z}\i!:>ߥI|6>11V }xm%a!#Ic-bHm ,hIxY{ -.&Z#_$ ;9݇"ԘgqP o~r`=IAqa ZH9ЭR╜N@.bb3:l``>`Cy~[a[QX 8Dם{7LeZgު{%sw,I^E!aOJLp L1"0(xe(]=QƩV_c'szB>:mJ]5UKzCƇσ2 [ںml| &\ຝѣ,`Q hSZcMJ3@iB0ǭhdפ^P@NENϯ,d:cm%QuWN#o_=OK'.a)'UU`+ @@,b¶A zjQ=mdyJQ SdHHx ?ʧ%ȋ6ղ5>d^ss oD#~@!#A^86!~^ ~_""vVGlE' lvN]sR)m@9d8'yйFs1b]eo"B]c.=AJ Vc+LݡTN^ Xa6i! (3򼜎?X2[ RqN$xa/7W?⻮%Km`7܏NB졄He Y 'dȈS/f@[~ۼa_[Ĺ0bm8jaɨjD18!Ⱥ-ZCysݐMnn0Rr%9d"Ug'<%%a85Mg:T7c%[!U*Gw(yIN(qP"qR#Y-R֢-ǜ?K҆uc7dn9A+AEʳ!HS#|:F}Z1 q)bPX6<Ȉ]orqÈOx`qKFSB&F/g6F' 2 ~r h"1 P CN8kA!mt(ԾuE+$ױV w;w&K&м"TRA&?+8t7ppKVW m0H2ݺ&JL|K4Qi!!8IJ}<g`Cyoq4+nK^a)esOzO%j S w1@LfM V?BW5gՊL+A(0B8cE,t bnhI6gtfEY@2T[EϻVY OhM0"GS-[A~s[-;-mp6"%z_[ Rs;-HXJ!bbbߑ2TWW"z ,y_+D>40dP>̽08rQ=0ϧb~8:`4eYR],|~}צ.%H;KuK@ic3J2_DWmYkZ7)"b}9߲ X;T6sM"zñ']u9)&SY Դ0I!H9HܙјO՘8cy)&<[D12N9Ҝ^sDb j#KQe0J["L -V@K{2#ccb316/gD}S@(9Qi-ωQ!.| [6.!LJ+m\Z_aӴN|yE, $-O(ycr9֮IT}^*j1h m"&6ZNnFO.hHNdHki, ]͘iҍ=<6e:v[ ]3Ub`Mu-!0](QiO#?1SbNfWX| Ky_&MzܞXZ"̗0ɾJ :DaRףNumHeذ,E/qnj5oέ@`'V諦?u̐D$yZt{Rf0頽XLLIM27O5i ثS+?8U6:Ҵb`wKcֿ'5xZɫ47¢fhU S~=`Њ\okI7*gGW~LrgVuF _ xiG5^T٨@n?a2<8kA67ؖPrE$5aZ&~Ϫ~|"yES-Au~7 S V m)ov\i/uk!|AS\ϋk?M> pF%,ͨ!fHC-Zwq'{f#` د6'ӟ^rYb[ jd9W4uS'|.^}`3QwaEd :n5$XW$\BVm;X> SLjK.fB10]+V],|_Q (J L4= :Թ"&}1ڵ$Eΰa믧ARY4Qz'j*lAA [jO;,xc1 )' H.uMu3#U~҉ 0OԆV3tу툜ė6 %oQ]N?CBOQ3p˾@,@%nSPC2ZHhhÅC3ZfC=qrC v-2Z݂=TY~a _Z-XSXǕgHVQ>Y>q1x:O#V=d~<.U^+3F?RS#)Z_ HlDfm7[ڻW<| mqGѲEᖫXՉQ8#A92j/l*5v;/FTdO()!MĈ uTH8 8#|6 *kDkT6\}!3Ml> _@4~D蘇ŷ8&6EYe_MF- !'I4R–:bbMIQȉ v7W_7e;lLj94En6/0eY/2Z+`K )ԪW3(U5~kKmr.O "RVI{ODU;JI0lI>[zJ7&Z[)4HuhdbSr[dol׼ a%_ּI;TYFӜ\tj=dU%@:jyf:(`W_Ǥr %JBg QS0T6?*?ΦO2;GH}op0$gxdRTb6ILkx~R vUc杋.Z/a?WSHH|ڿ\8ZGl؈Yz}.o I/";I\r>B%,޻e/.!(&JT-mP95<_0ᜁƺU1Jq(?d4a(bHEpݚ3wk C}9m NYX;#hPBYGݿer1@XHK$PKY]ivд kH^p;kkYy_.K2.EMhMj̇ $c  3l[.evrnՅ]!;;~I0Vʰ_%I_,Vor h2p7GS`#B8@0]bdj2rfo" [36O? \Kkgٿ"ތ5yzOuaQ|`6sȰ\޼Ĺ]O>8E:]ZԿ>ʪ#,OwMWtk#(RDĈJxvKݣⱐcMT N\&jc$zV.#8 Wݪ{/dq(C#꠮HMĹ-bAm|nye"چbƿD63o$uH0IWɴ߅aFJu\{׮j bj1NM1< :'j|U|m5,:(c9IӍݔq &zXqpl}S.Fg67س!rڟũTJ褽T"=WF*4qlǘGe y P^C^Ҧ _:? x!#՛]"`be&b/fg"T],FD8kڲUڗj8:<_gB.Nq&<,LWqxu݆ބ]@ #fk%M w!fR8g mٚ"CZ0! 2Y܃=hsLl'O|p5ƴ˼OoD)Y^:ñG;Es/@GJD+'ܬ̺:ݿ^Ҷ3I8B׆fxgڍP6堓W*\h俋ʼn,A8 Ml{'ӓg=FȽQ,#/)h绢Ϊ]") 0{HhAf.rmZo-jžcW8e7¬~~H_W "֦!ldtL;ǘ4 ٬ViӪ.D ĔX[Țl7|⫑F<#\k8Ki}q M$ n.y>i#v!FEx^CW z-4]lGZՓO`3=pңeaKx1ƙD17/ t;UL4̟Қ˃'ki 05<`N׋8+k9Dكuԧdu?|;5|#5M\| Ge!ywʰeץO¶Iވ+Tv' 6r2>}D_YG qm}d1pbxtUÝ xoo)x{d,usa@y"& ` q6 Ќ|A2j 4q>CIjհmcǦ#=x5OwoEmF˝<8.hwsPB>R8"#e v\2D(6R!-kkkFW@nC녊atSa[y~60 zu$\UШ`NP`p zآAK!`b ]Ͳ9T0QV4Ǎ˝d[y{x;yiaT\D_rFe0 Ӗ5p:!hzFG&#n 9Lp=^ɣV6/ĜS&Y /<{PV7ṼAdlE6;8)8JF)XqWg?37 seʹ"A{ R-Fu='} Mr[l%PH^B*ωFu_Y^7L.$ucc8Tg#r˲3Kݝ8GRRI=7{꧟[8%Kz"NAl-T~uIqghuіCO/JL5̷Fs9Y?A確ڰS5Q5%iz|e/ bZi/G?j":@]F*~̞7d ȪH:?{-DuheMŨt^~F-2o"_ac;GJ 5nWBF\k EWչJhwKX'E5]8=-:abb>ƺE|]s j^Jfga ;R> [\5rTx fA$]rPU˹J\* O(+Z2fiC+mWG%0˜T=ҢKep,) \Kx꣭AB$; KU6joӏw­-hMPh|ᐡ!B{Ͳ8,\5A̮؋^!ڢ3;?ο6ym8&膲&^Jѓ3iB12 /fBnK5alP-5nk ar 8tCYl,1<TXNy3 r?V~$u:JW> #HɰQ]=N#^a%֑IhB &**n,LJ H?hD"7r=Iq[fa9kg$_Nc FZ\&BF]/WL*k"JԱKMY,`3&UuNLa&և{*(72yY(Umy= sw;YnnaYEOH]J)"KH9iK>]["oG5JV;S=(fV WÙAJ΋%ZFb//@p9tմN~ZyHv2Xb3< 'Y:gFʺk U/e.Fh؛mIU'pg ."U 3=t]. Q vc)c]MJiF:N 亿? ^}@H|x롔#-Ġx 833)\ Pp8.UH$lHl\cWR:F=\_=)".9y(Ef_8T".0sΰh B7 KۆrvSFΖWR5MBaTQ-9t!u[D?]j:|[? 맙PϥwGα/`zeғEsS LٹHR8iKGp"es|Z_olz|4lK7=5f>IV+۶eƞ{to!z]#iߒm*4to%!t3c  7: uy&uoUWʀ|=KW`ueJ /ךрdZc]bUOZő~ęubsqKjoUTj_O6ŌY/mt??<pmM6WsR9珳oi_xs(^Yݙ3bl}yJ-MPoF(@tx s%t!-U ѼPnE(NⲏOTiaT O3EA/f67~Xc\k&5<$!t ;Yez۝.~1=Agn|e턷TM&&뵲\DlA{xIR0 n~_J;AҖ$S1!8}$QZ`ܪ{ E1FQSxs?:6SYsqC ku&oI3?|o19/8"E96чGb`̒ǧ. BMsY&  1B#׍7Bjj(znVhNS t=+$t0]}2+g)W0_np | 9;VOãmzai@oVsEy .g/B ^" lfKAP1@6_'b%reԐ;xE5T{K$d]J;-5r&%쏴Dݐ9쓟f0e;OUKxkP|@u ((\ps~OPdžt*ML\n#X HS #t)4fT-F\^ta m uZч,ᘍeZi(cr︤|bu/? b1 9?x; P=9p8fZP/ڈvctH5{8~* am4<72\/ //yT0@~`3AbV, [}OAAWQC꽧(0t)@Qq K'stHV^4궻ԋ;J(qU>q܋ltI #xqd &d،0ڐɱfiod 5 SZ謚Hފg= (Se!zc>׷T?vrYm%E4e%FzTJ~U_>־A{-sPLQk&fl! M~MSL[{wW8,Dn'fVa&ěvM)ͮ<8,=&:&ψVp] cLP4Oih <0/y) [9K D x<@2]GmQ3LgE|eN{1 ?ե'h}ߑ@#OkмkxJ~ ux?ou;0"*9`*)pCZBhQ<(RPR/rv~R'_,u+VYldH:WƬ*zr8T3»HEh:z/;To;Q±7JܶgwWrZ7va$\7Z>ʹkO$~/j+S4'bSl&`H#|RP5~1hp\~&5ˤg_Wa&MY&O3\fKJPay]kf)Y럀#ɤ܋ GDoD2*ߺS)C|J:}ҕޕ6(x-S.B%jsZF;>ͧK 8I [Y/qcf+;k8Z5]KT_hGz iWxmHtU{ gPݍjO< }Z}fӗ UXQ!tÛ^;|L+ s6YQ>ZǜO\-X)ǫn#&oՁ|틖|]fC4r@\_ 4EW̖I3nˮ,c6 E[aU԰\ġvKgN`{#i)%9Sҧ_gz'shGuyN]4Sa|Zy띶=OWrߤLP=]-K`m1L?~ Ԗ *Cth87{#s,8mA~?:%ϏbalK0, +NʼZ`#^)+5JHAUXs,Ԑˈe)h!вf|8=H5OZއ>z:1R̖ăƍ~[|]G]JP;J| Kd_?2@*rմG]gg=vvB(_ţw2c#&ٝ[>31'EK6+]f^9+CKl!A%Qbru|f,EltRwM6 Ų:ɷvH<rȡȔNJ!'rAmH yT@6نLS4YYk1'I`/h^Cǖ$ ^/*LrjGQ{Nt؈-{@3݃9rEf8de`c-9F8sEF7$hHdD:\I x;H,ea h *."ԍip8|J*gЇ@e1c 4haNHNL['~֛LKw4WjQ$n2&]e\1`gnn.h9UzT O-հnl?1Bɒ ~&(%~dnoٕS}й%o;,~sP9Ōɯww .R_P zgU.x H)*:m1E {e|Rv],'3׽*)r1Ora6;W'uaUeK3MawkGO([~(7ŧ?F!^Rɶ:qQ^/({%;\TA_({/O0DuYdBq_dGb'^,rKwd*g)M!DG΁Hά6Qm2ӍwV5a! rO!X5Mx~*{ܱ6\Q q$(}ZV:IfUvL_"_ sw#p֥D*HѾ'j r%>Ƚ Wi[(SZTj᰾nC2 \&.W7L+EgLmJJsEԯch^\(h-AU/w')[eN28a^#YVch >Nl}l' CxwGh}kӪO% =_UՍF 6_CMbX,GHiI6N).?c'MYHfn \.Hѳ.ZOeGt [<\ ur8Xڏ-cY.ޞ qqdRj2nix.% l6Xa `RpBgs+$/%>kt1Eyu oML(|5*-r0ĄzrͲ$+H((l-Tۦo4,;Z>L١QX5摊3D=i9 MA)TZ*ӘcmDz7YfFK8)Q{r1oe/Mk*$dX~75Oɪf%^OSuT%SʛXɮY9 ҅K8lOv`i"RjDFGyLXQR5\1k/ID@pߛƺv҉*|0>ۍkoNIzUV7{!Dg* c 4R5 Q&]rɪ0"r})eěwWIn)DX}g 0aoi-;e?[W7=AG/a& S ̤ }l~P5+zoDIQcؗB-0%@^KN Ţqɔwn fJSwW͇rͲ]"ŅSML%w6f,o· }R5֯NsV~돝`X+o }|j$vҊu' (!b_WoAda@_MkR؁5"(aS4yFX]1@d?@0+\i6`eW sȟ'T+` 3GCdPb<o#o(-E@vGG`5qVSCXYQǐ`@ ! ݀iP^*ѡ]]d¿: VqE-YgR״6CfÑΗs=$;Ez Ӛê)ecŐV3ծJyn]%l۱_Z5q 6 𡼭?O8Q }ɯ* qӑgAϵgHVOI=A27Z{C"Q65re#ݳ| dVɆIplRr|Y(B&Gtw֚j?9!Tڎ:4.|M`KX| mc% %ח:;:xǓx6i#<{WbO Uå)1\89^T&F_ݺsJyYJ;\!G;>y$3I0JKg<~.c'ߜAy0z+PIry3;4tJam\"?ޖ^[|^"c JDF fPNsMeSZ|ya0ENyB>z 99(Q3?*?aUR !"M^$k8jpz~m?񢎖 o mdm#M ͊":OcO.mRgYZ7zXZִF! ]ŗXiɟQceB/%~{e3Aoë~m83c2mj2Gl@&4"r * 1eWPM1F"#v7NAo1t⁸eE`N!3?xE) j}ٗ;;ׂ,r^ DzjsCI!G+ex/9[5V3x/, Uh5anGOIn|4ӓjWR MۜzlNo)69c9r= %m2j䭾 3T1(,6 2OyV" pRFF:6UZ\yKrk# D5lS~/†d;+ SD"|#Mc-̯䶚ډJ\D#Ɠm~,V)jN+﷘d%td+\n@/pQUЮ&Y͵e*6B&LWy`-wiB*6Os`5lw*brAQgC-D ۱ ]T8Gm_wΙ+2_?%ʞ2]ʷԛғV9)8'iKݬb;uֺ5"4,WqCgYZ7zXZִF! ]ŗXi%L&SśJ=6 ڨqiazOq2O7[X2̨fHP2\G'8a>5[/u&R4XMsB:'/-kombR*cVJA2QBvΙ^?$ET}K ,^'H}^;ۑ?v[!ዺ Xw.z'jw/ &ιڪ{(Id|^N۰$@BQlWXRpv带=eku~ ߨvڱ*BnvkMԆ=޹r[0;N|WZ k 2ujncgZ[}tUD[e߰M׬H!Jc Nn]˸b%R#п 'CMDX7:b[`AоabJS$uӭV\b3F61bz~oݷ Y%4f/9V0%DGn ĬsՙP;pO)Rs燑 0WZx#VrŕˏE[]ՈZ4tpьVG4)E^un:)M ɄAY$}wn4jḧ[!'Ùiz'59m[@Ծ㖗#E ߀3`iYػ4rt1ިT1q1J{c%.?hnBV >V=+מ*, \qBE܂][z+N4Z" vcnZrUL|$@8:$tQ!"S>VՉY㏁kgIj׼U.ggnu-ȢU=$^-sbH8{<^mplqV/880Q3o:qKNN{@/LPH̹FD&!U~<5ֲ[$ qOh7')}s嘲E1 C $DF\x#5l|<j^ҀD<BE\b2MbOe46N 9Υ x*#*!;yi.5!eksґRkVz O {~ʙg&rn=}Лl:R}bEVt[ӠYk-% B﨤D *Z<էN}c`>Ip 4NϓPZ-(Qobv*uDAɶ |X J tƱtF)wz1|F J$%w1?σC@~60BYLvϖvXl}2\!]\x2tH9'y)܉^(8=VD!3I/ ıQ\oqN?&6[ЋKZ$y!$ʕKʗT2){oxH(f`Q8g#<Ȃ!Gk4lD)Ϗu6gnmS+zۣ=3Lqi9vgYZcba103b9a959638c2dcf80b0d78810e8b41b18ab9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b03b212d94edfcd0f45a59cc46df5cd8b170a7fe 1461e0be47c4cfcb35fb5733b9584b2691e8a2e5 0255e5ff4a9e715b0a239eb8e2ba5af49f6487c8c42e5912e54df5f1e3135efad7c196503bbc9800