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 MxdL ] SM:threads=4elapsed=171.146cpu=291.156gc=8.9567zXZִF! J*]ŗXiɟDYK<; FcFE%ߐgRÇEh787Dூ]ZE-Z:Yxч)cO[ xZqw̰({G r z|)cWQk"H7 :6B"=hRH;޽L[ 5Pqagސ$9Ggr- V8Lߔ-][aj 7T9L%]fc BtxνvcZM.ǹ3Lg АprX`~:^ւH?cRʳ.qPIe/c6{ LvB! IWam/-@RO1j3OZtx"$NMԂWU|tZ(V9Ĺ~yUMt:k{#kuOk6#m*r?HD2dffWI b zZa"?# ` Z)Wjd90 O1b(>nRJ,zy&}_|' !:qa3$-ʱ <8T7jЇw'\p>,luRq(S5Q rU{~x`tgӄ5)ƟZSUF`ˮrcںrxY)sܣ!b f~S,]דQRƚM1PIFE?ҙ`ϕ!lXEt^m/L`XTǛS _Mep܅3ޏ :-nު2Mm'{7@!)% 250pn3X߳;/-ےs|5TfqRIUFA dp]HoyVHJ_݂,`D?049/>co5^Jy0daIB`cMd !LSj.\TC6+;<C%1|ʶ᣶P1OJ\=ӎ޳7dH;J٪Y|0?p@Wޓ] 7O@3[0m Ĵ|L *xbqsMi5^}%ٻ,djV΃QjgPjԶӿ[\{Ռ 6tᯆD]8 . [;?Pׅp i*nP{mӕ*tα܏F +Ýk-RjۖݹB%p<&r P,!ep034۩_7^!t{:Tk[ҽovE$p'K;2y}*0,!=p)6ktP3@-؟B2إz{).mYw"`vز.RG[U8UAkX[^ U]r8R3l]\vRҾaL,S/}"ރXB dq՘]"]X%e|_1 jb\@R^leP,݆ ;}&_t+.ьI{q  SM  ȻUdb5-P8Xd{W E r7+V ,֋t:9GQ%:y9,gc=6RSXSFÁ8,9ojuܖ#hOGB.+s2;SO 1l ,#UUzTtPe՗"܎4=SߘUBqy)d5G!޼*+gSӱ0\pJek 2OWӞG5و;K=).$yTLT[C{@O* Dfp RԧOaFh3&@6R3vO`q9gIƙn TV>jg8Q?Lb}_1";2Q:ӏ=^nVI @'lGJ6?ˀrdo_6QL3-Ƙ`nEh]񏘧9"8}zǃ"45B\04z9|:E#ŮDU>rokq/h/[z$yei+jTH?{Rgf)KV766L'"nX!NhRy|ԽJ,HP~ C&u$AR+d!ת'Y$׷(bd.A}W8g_~1eOxT&?JDB#=:V8 twnKVnUkWi*݌tSJ##fLF$8io@ώc##>iXh6P}nΩ;zHW<<_B]-8ӰصE@V]X|oP"(J*pyYtF+4- b4# nfOO|tP͵ĕ IL[.7jt23"A>bnƐ)C7Sf3~:qro C|[0 1Fh8P|ڸs]|z5>_|@鱖rMOSzQa%6Hu ,JHp>!0OCN3z9dXI$X B-!LLR{^W|Lܤ\B!ZiY36IseoANjΦ3zx9/2˩z8s#VbRGyؒB<1P5ٴ6N8ϓ!r"ݰ :s&|wE<٦j2`.чgM#K@^4]s2J/o ^{Pf[ɱmm<+/hs2 'b["QTt08r1q3No32@m~c-ȑX `ιm^*i#~D5 hйlRZkU6ia4^2e^3D/+r|A=>ujgO^^[{w/^;zwr%d O:ZOrg o<]0Eq^6&Eţ*AJ2p~ͳ . kWhjuLDgV^gbXs=KlsKF=9i0r L1z?zTeSVloU丌>O)ʭF"fך_3ݝI17ct/<[x;JaP#[`qZʣ#Xq?7@ea{=nɡE/h]PӥShu8xl2?g!ދbSȠ='Nn 0|FO4$oc B͊ԭrx~mb$jv>p*1?{ɣ M-K(b \y 'qk Z- W: Eq9eG_rAid@x|0O=篳k4c{+,Z>#Ou fyevbR\Ϻ% lDJs_xژ [.|@3tf: )S[9ī*zﱂKC6o{17?OVh Vk"r.ݹ_ƣXn2 ,|S@b8ji@e`h3E)R|y9 Y0$?hDO"GAnoB/̬ޠtF^wV?u-kB '2*9 }& \l5)Yy@>^$ ߸hhW bڞptv4 Mq7/~6H$>#'CW%(Z௉ٷh&abp 97hER{sU{CW%iݾ'_ۚ3lEb8vh!!ُs{ҝMfd֖xZYq?T WVhb2_|zA7ޗ)}⥃lfا_HB^pzk2~X!CraA)~Sp@VV'pwN5YPaє{~6hopL[P e>ЍrSo[ }+˶yki_1䞫`|? W;ɩ;-u o :)ql}*5:sEmL& 7q墿lvڛuFl&nCV􉌘U/8`6d89?@\>ԈQ#%Ys6#IEv!&(7;!% X|Jׂ1 YY#;ܶ p_qT7e>J&~EH}ZQpBm^ =xHyŜnBl:/R- IQ+L^!z%>ㆪ U*zl-g~i r\7fo~]Kדph)IDS Z_զ+J˼rX+Y6'TСRYn^#PZjCp73'9 xJ3FEk|k<}/ ~O#/iuD@ ˪bNh0A{4)^΋1<Խ-V\iJcV4IN:gkI;~5\cƎY$wuЂԍ,gvXw7_*rbIn҃I*IMRrʾ a( /8啂 {R4#"hE?t4KgEL#qtS'w?7xHMgC5?/x ZZ$+?xY05NnsT=q"S̑W{bcf=_L`EJL)|2-ƀ/<=gM#G`BFr% `&$q4ۊ71t1-ZvH/{HX:֋5;N,ʀ0 u%®3DR.ES"/.D2srKGuW;;_JUN]t/*prAt^H|*x8` ,PTJs;I}icX5#{Op4 뢁_r *6q I"s;2G1:WΊg4$a~zt|;Լ >ʄ`b?ŊkBMgP.j;rtN`]* Z`UY 2.:7%MsKZ&I@,=E涨gy?3GE#A9R}&dIԧ:J(k\ų#V]t>!UVc#:kZq n]>6ӤBt[xeŽuLsz>?L;pUpH&2/OUe05V]m!Ҭ]!.nL+P5H3&YDt;BARj|ِE_J8=JZxڇSrF3zp{+sgpkXߕ$[CE8 ݞ:?d@ k= ĩ" %>ۺUqٍ#gE9թ Γp7֔?-l pEZLʔͤR NRMfArs0)USBU27UʨQq+ZNb9DzYuG}d+0't}8K`lAZ)ĺ[τLC;" *2=|&yRR䔭dQ\ [}o-" ȑ";* ԇF>z7gsCѵPAdUGe_+E5OFSn{j[!J2;!Ĵ\DlyhA/'g-Q޿g~u{^,wpJ2|kUH^S7^D6l& 1_d&E\ T9DKM(5m|0"vn*q9a)ђBmʠ %hdLX;Qя ͶH۷ ؗͫWDq̽F-/ J4c_h2 ;6]\@v'r=3q1%58AeLt](5N7eWvw XB:Kg4S"Agmo[J $Nx6,WW\ d\YPuVMlKIFJਂ[hN^W\X6fċI4>R$D|"+BA& ^b1"7N'mOРlmiAE?,_HXl?kbļ? xEC3 v0PaOexwl07ȀiD,AT/ϐ6O30`ouSBUybGtbrpD!š]Ax(uڢET/1Ci3֩y"@#TEmPW`XVZ ]%RH9NU!FZőPI3[w:JrP(nq ?^og3#S[ȴLBMf!.÷?7]+["ϯ)yY +O* 6Qi!!2xtvF~tBjۍ'/{^`qxRvZF}75HXɰEdY0P^B`7׿3*燅P+?k%@J\6o&ə>)5*ioנp._X+3T6Rm4zT{0$=\(Uk̒YT ƒXո>q=+#5RFuU5tL])AY.KF[cW޸S'z:F A𐏬-Wq;)v?(p<}(#.6$H8J& ADܨF5A=t>t%wzƁ l6M:BKjL-n'l3|m u#nM;xp Փ/nTMmI*60D+qZ'3ƂsLKz,N ޱ$*#_{|Xb_ۭt OրFp!"{;81c^*e!g8t%+Gq8@Rms-5vRE Ӯ -Oꎜl|?*gn~'>UR 42ز,n0r'gAy-%ؒUط-`5;b42ތH}Lh+kEq Z$x.>$1cJ競VWﴯZt 'w5bo?CؐUʦ]ό*ѯ SBG9'E8G!"( b$홏=c Y>/Ԉ%$96CL-YʫEUu X,³=[{ΐ2\+n ,]Y(|[^ <Ne lCX1gqu߳GA 7۩<~g~jS(Kn6{Wg@z]#o (> Ѐ:? u:D;8ߢԄ}giJw3 mUC7 |dBhW)$@azǏ}$6p=AEݖ-Ds); |l{fyn0 [@\} 7zc Y^!]{Mi}=0[ϭT?}邟kayt|S-c":@*O0Y:vn^shT͗Ñu 6\1:!O:Z/c`{A[h/Bd=;|MYPXNJ똮^EN Й6biWj{ohЙ5 4ñњxMF[Lc?9QȾyC xM?X1d6Fwio )"Dvhy5W%$;z,O*St+ur{JBCUqYV A"JW#l:>0Qk+]a|nX1x,_ '[s}W>+^n5ә}$ 猊B3BIԎv%P`f<I'Ĩ2QWWX)~ (ԆYUI&Ĝ z% SºST]+jC[# >94 \}Kmޱ&dJ09N )h]#Zo.p[b./Kʞ21yGWNG_) r;2'-p"z|itV" =RĠ>aan@וҥ~  *JC!|S26.@^PK]s,m0-2c{epSU QE*a*ERK 8*{N冀IR~7I26CXmL,f96O}ܙ?6~] n:Bp(%x'2/%6wr#冁J\y,O~܆3eSS zRb^x2(qٳ15~g2xr{Vm+k\NHrz陰4xbK`ze%YyNrf@q0G! PB/mf\9cq0(o+-zwH>=:C[^ Anysoh@ׇokI{tB,j`bPu7K /4JsRd>1- ;fVHȬ?H#@10% P˒K/:ov}Vو^_'^dN& (4ldN↉0!5pĞhHKr* /˸[453wGLt΁ցKu7Gib˛S0lM-F;n 9h h Ibf s eKvR;&]"QJoQLN̨gm܆`-8H(ӸO[ '-oF3Iɷ|FدTD 6 9*CrhQ'ܳV[ӐSԌb;go +2~aJJϦ_.֮3AQk깍*АFbFUB/%`LԆr ^z}o <8;C̻gϢ$= ]T'BґV,.bKG=v}!ʷO}˟ IE&@4oO>0u+.4:@d5@ tYvc Jsf;`N !+=Yy^kGV(~KM=EI9o\R9R T9!Ϭ9_1nnD;0:l6sl/YFpgk&f2M#kCL͹zk0e*<ǹllKJTXKFp=)c@1jILҖ'fs9(u>6[N%&.rVXpl)@-9ӝ l[GMx {Q#vqWYr%3|z +JHy(LJH&GH>ѨVcBg@A>i;&T !1I_5gͲ=t*SJjJ::* ǵv |kd$-ŝWوҨD!:逅Z"E| JFE<ǩ.1ፍo;~I*E,My s)5BތS>clk?Qe @<ʬ} AeLIW!,Y T cksdáeS̃Vi&~*rkVf!F2umJCqY 1⒕]Ђôp  :~zE`41BW/|wI+{PcYztd8~6{*NE 1@WJ:mV? n෨3l%dH4L@-i'(hKn"T@}zzt㰃,KmA#La"%aU^ |LESLuPMGvuck4(!YQ$dcfڞ#LB1$_Ԑ41r^qπ\%&{dH &$XNUJ odD?+uœZBwuOE}_@M 1n͋ J(}A`iMܛ)xEv,KS4;qZ~o9Ksf`/k3コrjIO'G'$>XVX&VIi,\jES:Js+ȖE!%чKx|O x$sk*h`)h3%L iOKmX0 -q>,ޏ;[2U:E+ h_D^6PۺX\+NfSIΒֆM! 巒`WPS_7mpfPζT`cUP*[p<%-\S,£zyc`<)< d˯3"\PL.__my\Uv`W<\,m/?IO2w҈bVȌ;iPr@m.?QǢ?!j F}% `7#cbj) +B'3s˲BpxD?/#fp|{ -:i}#"!CoP55|ֵq61KDS("Sw%Avy.,JEP֘qe~*Lkf`ƃ(IA//柽!&i%%Sv9x5 `9R7{OuŖ;wZT=@qQ= ˙<,^_k /gݑs[DeBM˸Bv0&n^ȍOs]LQVx48w;vNPW+q+!-o]f 9O6-_@Pk}<˷S%#LQ.$^4y0MT+@Ŭ4LmW9ł :55jͰ=OOc$_bN|N;(Ec20ujDoI>kUU!Z|ν"}hp#AStvQK0!އA7^@*2 5>3}Cc ghb(<[iܢEdn?j9 }2[gSYK5F&T0\ӻDzJ孧8>^`FC?(dl% b/u5Cvp^[Ps%V~XAle {C (k,͘AƟYّh6~xQ`\Il˾b*I+G6 EoEZe32E\)B)LAzq51tUYns2eC[`K&rN&\QS D5`|eyX?z$]eF &zWd&M"7z94( V2y ;%%btRKcۣE2+SPɩ̐$nzy85,`^楜)>ۧ:Uk5OӣkʻXk-OiU{-MwckFFƅ2й^}a'^qL$*X ']bf; P :[o>}օRvR!bV!Tb & gl@Zahu69샓I gYM[dL0K0ue1GMuL%uCD_Zb)1#OY}Ď6#Ԟ׏p4LXDAcEePU!ȮgSz- Bd(\i0{gĻɃ/11CgB/OYp {t{X5륷cQzh+ZsfXv=H6mW62[kqA).sL,K̤%󣸟Q;v=iiAm˱ ,dA=Ӳ0Xr4؁:*? ^:Fh@fGuT-bIҢy0:Q~ȗg1-&NteJwxCi|t ϙz:QnK0ci1B慸Г@Oft*c(Af5M3wÍe"{~o5= @9v2D̼>F6EV_p> %z둉og\)+ւ5 >/]$*S(x jLr5cJ S ohTXT[9 /^ӁK4r>UjrJ텋S`FtyY/\Ks"d.\Li{-+!w[K5Eo(KjfP*,FcPkU W;tzہ#`f &z漧S_UY~(kK_*~PdLAh$tR|g^x i pC _՛Įv^>TzHQ)>ꋅj@e6#%Iba0Bo$u8^Pd 'k1fw3%qXCE.;sTqH^ⳏe;PNh/*GmiE~Jԥepn 70_"*t1ʰn4cބtj3&" boj؎j(۱AM_{^b˨Go>+q3t(lÿ14~ ~aR*. _DV MˍW%J=綨_*b:ʦ*D&L,[8z QL8F$%Uк14Cr钮Tc߳5<[GGZ[SgKy^׋" 6X;҄(b&. ݊3!tY쳻}(n#̵k{47πGUM1<ɽRqW |їiw(q$)7ޟ`NV @WɺK8+"6 i3lTWs8ӌEYߙ5s!,#LK:%ij^灙c+ӷTr^CP^"8Er[B;b6I2C:\vq[, B{А;Hdat#,#6,SԚ|]Gg"ģ z y'͐@].S L47֨ -BGO hoBՎT_Nk ,[5LWp0IpiNr-0Փ\>.e'/26k3Cx_gMݺBJQF'#6hi7mةRbq!Q9:w1w`_H< Z).8;C?@.HN_@ I+1, 1 =C$isE#ӵQ8+]W3D]b̅.l*˘#UDsIl:ID䈨 EQKf]p*GkSu>*I1-N!V6Q O<:\1]Ҏz+YM:SKZ]A39 HBl|SŪ0 "jϊC_6nSVmR9)eVg|be:5kq=Qk #me#n o3R]-1SVw#Y+Fp\4N´B\PO7 uK&}ࠈ371@7 'Hg+p7|e D%kb O v9܆ ƳsO'dZOx3Bu҇":It2̦͑[Q 65J;v=:w`@|#t5wVgf>%=2ӕ:cK_U%& Дk" Lhވw0*ЄRfGp=I`9/_u0dd;+( sQ )Y4076; =WeDK{Ĝn8bayƳSq 4O%7:>|MvL kyivOgC΀sEnsVږJ4oi~j`cIvXKp o fh|lB56)T#M珞ǚhXjT9MS m2FŚG$>?q@h3*g*Zú}q^hYWy{:(ē+eOvN-DRQL~V& 7b xy ",;d!~''6(o';]5 94y>h戎('07UfB{J) 3ضFӎ"q+Aj#F8ˣb#6 3phIB[ĔUc"zDHyb`I V,h ]ٵOO19[ɊS?2`(3Y Z4P9>&A V$2B XxsBAjtp:Y[ZY{w }2z T#|y438JD|͞GӍxf!Mn(\dcNPT%ϙ<!6:v4bv+|m7텑tG?jl&k8'S\9[U <}P'}&PU-`T-k5Hn,Mbxj.] zO-Py-DmJnޫ+P%mqͧcѫ#\n0\Bޚ&a751@<3!qS"<^_-2ՈL/T5xœK<1|r":2(ih7eYd+1 #lS"BϘrZfe?C!PbnQP?3]˷X KLriC "eA3dL]|0q(ewgn-nF9jV'&ZEwr}.%TpWfHa(/f8/.<2UYQ!$\ȧtɃ7 N(3c vkg~Tc.8]s f#6S2zEQń,S(9MNұ2npYOXݗ +O1=4Y߇5.Ii.I~ǔ60wSlubO~?o֔˶ G]!7 Yyy-(a=GZ/i7M_ŒsǿK=hz:ϘHD kW(8D%|8lW&p;*z \U\"m)n]$ S tᖸ0O^j+"CGjx{ 3e~[f< zŖ1MI-/igڕRDC {f(qgƱQׇRya Zؐ>o R~*CC D4d#gz뙧x•-ȗ'f4~G'2e"a`n.X>b pMk Y@fOLmmr'0|pe:,YCr.&ωJTӔ tm{QLLlX;PGWd &I16;L\,gsg ,J,?ҙn٪<^1O^UVS !K iq=̅ܓB`Q2wtGa/ F1P^j[Mo9LRO%*uI{5[. , w9iTR%H5j [z?F[G>"`e 㐍́6|8$0IhhmpA<StaMQj' v3ۻF wԖ@mPl/NM#` ԧkcB{»jisxeĐr^b12 kwɋm6ܽ<0a. ϝJݐ;DTc :_Eijk׊^8!=N8M5iǃ5GB)zBu "tQbq_?|/?`Tb٩ZYnI'qOt J@ _Iȩ|"c!P4@pJߢԆM"6Pfni|K]F+$ƴЮR(Q/q.4ЉHGw!ns4S0^S}mOJrO|?Jگ܏rI樼i&Kx B4z tL+ 5+kؗE ʼnٯsqs-ε{M|L;ot Ç|IjRmж+q:> 5ƖdA[ŝ'İ<;,dH-IXՃP9@ª\S2t=@ƨ39WJ06RmMJa [Ux?f@;QRyP }ezh /)i. žCrL5ż ZjBCn#Ɯ$$i`e׷CK ;Rҋ_A[{F,w˓]tםWWާ/̭6.v? v{uEUj2w݌CJv~` \R: ʜtJ~5a*];Lt'\j~'xr 職L 5<gːN&!*DQ ]-O-A{>U h-c-܇Q=1Wׄr=#~[Xri|CXMFF}sܔ+oyOwarHˆl^QMG;br&.Txn6m$`(z1fȭn.<);։dT%Vu45dd/zhv&xm%?/QO_YA1BY 2#w7Z=0m4߇ vtA'fPylƗ Sɐ9k5{ 7G\/r"q,'5V"rZz+ܘcFH*%mJ8G_%Xنw`$!~]\`%TI2ş`So􍋆.MAyk;ug$E|lYen"ٹjmɁZJmN@~qx+G:8* ^NJ=w1eǵSd*xոOR|ݦuG%T0>;Hx</jq2bIZpb,!<]^&;Gxꮥ!/IoU:<w2ǻh')[=If{kfHd/!d%OϗZZO u;mYs/N&箰OyZ^B2↊?p (*wE1![ ctYUS|LX 1le^zUЂ&{xv{]YԸt l|B*}x;75/(I}ES~=CgV7|Cm]NJU01"vt9R5-3u]q}p mJ4%+" ܑ9E|=ϑRr:+z|=x TZh+ cB4~@F0)Y Kߵ;-k䴪,8>, \6T@=*/p=^0ϐbf~9 AO/X\K>C"~ʄNc WȊdYe4PϨ^S.\A:Ӛ"\Lb^A(`[+ԝ[Iv~[;ڿCG$hmRw\X _" 3Оxdt*E'Af_e MR=q.'̚{,'%-~IU:w1u ʉ.Ŏj}"T¦MOEF$vыaB֍-ɯbp't)R2Hjj88(1!Tcyy1_l,o(\ʍxa(\30,GV$+HX/KU55h֬#i/ǵ c 9#l-`.NeR-w7Ho2WC1H\g-ú'LJqH=2ɵ6 K&CIy’N-o5/D^rQ"]v)?mi4fHA(a8q}Da |ijh =,[A6hu;6-rX5eWZUp\B "^Hte4ⷘ,C&C,@Ha]tDOOEqBG.&(2_7D9gHW̞b<.k9kJK烙S&ѳKy2'Fi 뽆a Ɨ 1rJ8 4n$暏^"bۭx - ]A_X^R ym9`k2c 2VM 2ꓰlu ͡1/l$ӣǵTb1?pyH8@bOKܸNW'-iۅScGwUtk0_8|^=\C GnJ).T_x 0Oq0B* ?2$O %y6rEo\O.*M Mȹ_;*'LZ ~ҍ%ʚs-Uj cilRF(kM ti>9Q ^>NyHL$t;h%;K~4&\^dq1Z#~VJB$p hh <P8LzN6>$n[GU*FSUD'vǘ IZodșy;3YJׂ|M]β)Ôv5 wdSP>/NϮ 6Z:i):Ր!wc pS gPK/OhxTi9O( jnFk~f ~MOU7<^뗨DGUXCܺЮ6 ?gbJ^02ܲ^mZuAD>IgrTD܍%(aMߖ,JtrG=$fGLwr-2O)o' _]ku+W$ģ[PGׄ,~|?j c4l=_GvպftxR# Ɔ|_EKRN 8FfFw7 rUBʜŀܼy(y\+QJ9+Fx|RY Ѫ|CnP} bP!ovs q121unGb}ЙWPsƉyYGw֠*ޤ&6Sș֪it >ѭ OPIU$Οt|zXW{3J -7%='`\'8-~w ݈ \hzUTJOGMe ɍ\ %ra@SpPcmgfˁkz/j2ʴ=.Sו};QS^U|7C4uԠNh]$tK Ӽv܄ y$ @B21 dV[`B^D'P|ta#i&sA̮>>NK GT1Ǥ;%̡-+Y )F23gd1<8PH`4{ϖ\ I &e'F* H+nr8V1)q:;DP IRU'3B-^pA # %˳5 8H4>eUx['|P7Uoj9R1Y:9q89OrO̓s{OBNzD=3e:hlQU 1LR [5 |F0]en k.YFD#cw&.Xͤ%5 BA蔉fqvikjC=2= EӠznGtF}ux%E.;zR~-PH1{-BIfXkl< 19|JR,[YoR4Ed%h=֔u\Vx떐-uy}0BɉNStbwF?2i4ex1(M%HYM\rTk}/Lު(tܚM(۫hsEEhqPGA~8Fz;7-m-\]Ymw٬g,d_&ϰk1i8yE`)bU8i+Dr)떎l;y0sl,{:ԼiYѕ @(}0{By#'8g8ƀE*tݚM~v^C@emoJW)9ϖ2wƳ1Y悇k.mKTXڍL kGeb%'o!Q jBh`в_M{C`T?H2NN)=ܭ6 }QŜ]x7L#Dk=x@/R{"wvz?'}y򏜸b UpAK*}FO)w2 [Dأ 5{'q>bLՍy+WtfN9$ITg_?I %mwqRsKoL-ٹ8zJ\ [\ql8!7XhþH;ie'JhVQ dp^F 2 6s+GlFPCTq_M HC-gHõKQ*#ag-aD*t3}>rVSSi$ro>׭($fWo\X~̑ gBm\RʒtbyXSℙhA$!II?2 aQey="),)7 J`odӨ*-.ouwuV$*k9QP:AN8)֣"x_qME*'gqo"82ˑfjrq },PlJVm/Bs-3...mߚl;sZӈiN>!W~Zt̔mr*UqrR5xb˄@%of9}0A4e7m PVL֠q iS Fs\b^P=|RrzoD%HbћkHJybJ܊I\uae*U~ʓsz*8n$Șmm), sGMMGXfM#@GJihVg nWh[<5 r>Ժrc7+!H G$l%-VT@Ã7uKX Gg~^=~gشb+J%&qυ.X.ѽbn c_}I&s?TJ.WG|_W =muV@CMWkӈ2+F*2XX-RqFa8ȇ daSGh:T>%!vHIOPbmZXR(gEўB!R.i0G')ozΆg6J|#$OeS$0t\p[`GsʢQl!}|=iB QrI=ӴҤ5=jy[PfG!N;덯0Q0fXPhcyy}tUż0H` m0L5>OD=( W4nOFhXَr"ߘirtݎ;4Vh#kA4Fi+*(tjd1EV. kc ZSH}[ETn &{j 1oN@I'o\evLֹ}=8L.¸51scI"'ݿNL;i)ȣ5S6vET^5R>B ( ŏfv"`I'h 6tݭ-Ez"N{'cc|۵RTNGRUUb# 5*>n086 4xw EgŬ [~gwfEVfpl&Q$ng2NCXhJcٜj,#;.(-G5G[[|BowS-V68'qx`/"Rv,8;z՜KEوB%4s= xBfΜ:lЦm_:~Y|91uc8,`l#s VxVgDqr\e\-"$u&=-A3pt$+v3Z-?~ ? zo).e-;P.'-ַ;N$jd ڌ񈊜P]tjϬB^[+XFF͕M#~n-#6+~{  k: ~d6?ڗR:7qۣ 4B ӗ;{ {sdaz(t@qLG 9e0fJ3>p498p v$k&!,U޼-ta5LIRG//344w|4# ޏس| ѳQ\݀Z $ n)DP3|4TXkv&gubzr/}_E4y% )j+J0|-Ü swe0}8麉J{SmfuSGW CUn^~nwBuGpΆD-r T9-g 6* k΄@U˷At 6TLMj g=4aۺ$}֓ΑA>Bi-M0vL o{bwf:貕Gj bH+!&yo/ɔ$itzOdy}~=N5dEJ(JqM-c:, 9u#XrRadKq9 4n/*C@q8#u⽠h#YK 1vT!fD(ae.7%wJ7^NG9C'U_0W(k;(`Y>2 qZs.VKy2q! 53 f)˼T)vx/HJ"-S'ÓʹEIGe7fdGn~ˢ#eBr LX+֓8NͽrNqba :  JmeݓM=3O:VPn#9Ҡ/+c~x٣VS| 17ݑ^B.U{%F@$W4N43|M^^BxE5JD30am%rlQ;PdhFO@onbP[u"^wvP%Ǎfبϰjll =r%$L/=v4ZwXhƌ%n./!A:0PR\FgۓFH:^vQsPU%E- 6Tw}jw(e2ʓ2+6lPH E9AYe8`Է #;CwSz dz/.UvLA,',9K{n^'9U^bӺXJDDL 9-.|N ?UsI%o2vNT̰9= Ϣ?{*GhZ̦̥KLd@%6%bq ܍Kwȳc.ʓ(\x=ۄ˯bV_ gMgD3had,33ɊeI 욧qz]?|X'f1"j 4p.DM5+& zh{>{ 5>vu`:ʎ o̕:o0@q3C'Ԟ=1ljxK Tp|me?Lj'zut OE=2j)M$ ]R&pj<ybwatM RŸC@8bYҘn">^n2tAWцYDV|J{TGAhM=RhJDc !vju dȐ,bzcPjIj֦];L%N oh>y^bBrүϛ6Xk;s ZA=|F#C};i<3c$!@~2$y]1c4,V;:TR,El}&|S]Iff6wne [UeUtvDฅ3D%+_QЈ͎'-{egZKYX!p3*=u2}cZԡu=X TљS`!L*@@9Na* j젲STm6z_3l?h:oDį~omuԔ lv8W3T{\_aދ,7Q6#/ǐa$,N,oqwA~GG/0S h: Er;zD:$&ejh6/Mye~- דf5yZ/oOl#`@ބL@h# 3xK#̏7/Cn~Ï7} wqoqLֿN卸sl=kiRtrl`,K u`9XJp xê.S46)JRqFN튅]BFUz$O"X\܅lOdm@y-2].L¯JN_'񅏃Ws8%J5m XqJ0j+MHyNg+ifqp0':,n["@3𖃸EVؼaLobqevT R_FnzԟTpdc@CAä롟bϊT(9mFT v`DVWG<ǻ ]@؏ueLt)^`XvS Ŷ^-g ;:MHʵJ]LјISܾd@NGn"ezfQ b@Z9ƗGFo>5[< -S{OvLPh ٺ)89r̄Grchظ\SKD.\hD'(\la'wOF`栳(ii7Qn!qmHk:'"{ ֩f<W!wGu²}0xw.`nC|cV)@ 85 hw;#6pǭvGz51<.^(&dW&:/VkzB ipro E,5֊B[UTS PXƐ3܋uFb`Ňgi?差;E*9# S9j6F]R6K\.#Jai1gͼ5t9^XS@0fЏ]넕X-鈴qe2 H$ .ўizfDA눃 AFy*k2'thlRm.Qs&Lr"*2* ݌Kn^P|.ְ({?f$q#@Vi#)Ch77܊.\C2kxCK~ŁR"wîo6} 4pk}6ik\f}'²;}6xBvVQXU4;J27_8>?xshe+vWQL&C^o~0Y&eb'f b'>6*] `B( xԲcyYρ\Z"Fr퓬~4a`"VGAԮz_y'4@xjƱ~0p36 I)g[HnPw'^3s9K왢%`.-:@$iS}4qd܌ܶvq[>Zx6B8Rc&Srmg]챇qb> 䴣oTf[ɏ?#x h{MJgJTAP=,x͇aΒ.},_^"yXǗC|7: ԱOAUerϔ:εP3KKo"BQDMs㷛_ xR4JIwEPH4JmZ%e8Őd:}*JC +/!wC=ODpޱAଵس/k.θg hhӃU$ gxFhFeMߩSW{Di:yS 0&dAGA#P+˙MPIGXl/RJ`z@#d|kًWΒKZ0BHҀA}r܆L[rDIp'@;`lQ ϭ䱧"&G݋褄}c4>̽vs@`8i`F*jl]6;F]; >-P8ҫ7tzBtFբpCwIVZ*xsǠH̓mh \s%jL{hah.u3:ȀYQ? F;j =86k!(*Eڂ?M 1bwP.j8= h`@X'g0vfjME{R ԡ/? lyZ⼞@ZGzA'?ɐ}OJN gBlOk_t4迤Z*~7a¤^AO/y9(31H)QO$*}3YfL_{J*QS1A}VS?ӽ?E)r7 ?䤽 !ףݬ3,m\uu^gt:t&|騼TK_Z`9J69^EQv&‘h/{ysB$U=G۲bf4d=zѦ58lLم۝1m)9ٮCMjo#l6;F?uﻏLZPJ<%BUl `Y{*hAmV|;7k\Y v.y(D՚Zgm5JjL餕PG_nF>GJ<;8k+W1]Au?sZ4¸Hzw|~@o%rLUB|z3*_N4dU M`1t!d6NKa QztVpalG1I_u?룲zS)b=e+Q4) p19APqj-T /Dt#DX}?ԕ>Oߞo%;by?Y&(Nj9>NL3ԉ;QCbˤ!R{;6F4H dôVfTt|d>+N$!+u󲮜%oq!"3b >B~o}aE& 5bsc 7rq8Ҁ׃Q( lxkW5,q}\ڡ{uڔ`ݐl|7ǘ c~1AqPI {(ҟ6NZLsey4;i7q"@JGŹ <Ҋn+~%gQ|k: iGu!S3ym#8C~-&8n‡n#)b:rh-J*oSF1ǟC_U11'u9uK<̢<(4+s<(P33M" owx<{c\nƋn\hLyJ0{0gg^*tF-20]o!E2dA4Ys' \Àv}`}&zb@WM&60S&A&L~x:xz}>ܶk3D=??OjwbpmOg_%a{OPO[KS_2v?}nf{چ9׏5Y+u6k`- e7:li<&jb6p(Wߢ82uNnZt"LXl~aݿ俊sP-,Hp<@&?ʉrY$b2]κ-GOsv3,CLn 1QY*f6=Å(`Q$te%kL?قwaQÞz?Ԇߚ KsdJP(z~Ar/u". V-/||8pwdSJUWq5߃(oF=L} )<'$F3GdU AD$_RIZϚU$UL5j*&Qd]ص|3 gmQq(]W1rR{r'bux_wЭZ2X^)K=ol3N^yO& I'#8iAcp:&sԳMi;%.yyQ%>͟3߇%wJmc(TG M#O9ܭ?C{ UjǏĻ` AMֱ_M΁셔_jѰ]ú7!l~GvD!O~~e$~kQ'P+:paTlIj\BA1=u|; _JgtykVE߉)0 aUZa}3ʭ0e$=%o=Y_z/΃Qo\9?m/HzZ]{ؼ8#e51/2\5;F_f#훾"B ʟ@!Qz*Sjwz4!s\uZU0A1mA_36 P`O\vYU l$3EUO^Yu7>o+4l| u[1zvd$/‚`v{ z7?$kMe0otޫfmN +ĉf dNS$UCi}'&<9Jzrk ]OlqLj70H˾)׋49k56QE\>5?PVy][u/-6 z\q5{Qύܜ |$W/m/@2 Xݢ &bɺ:3tHF-?ۥc`9&c'"&cKoy|^ЙV933u?Z|>QF~rmp:C\{wY9OsvrbVX]WJ(lL3=]z 54mg%>Cbp1ѕߪn BhhV^Ť}5;Ҩֻ*|kG*o HVv}/[ə#YA!fa`UOQ, kըmwh3fe3J7&$%3s NUB9U@13lSFyCe^^o;O)2DNuuDr<:$ΡiT&H4͜j OilqF[myk~Ioa5OTop|gAkas.:;ϡ7#X`RPfJ6h/q$'Т6*FcgGt0ܶѸl e~`0Ή(bDmga8{pW ( *$ l:ׂr?~:ey$0ej)aot{ W6wUv qҞ1YP"geg@]IQS} ږ{6iuOr%Kӵ:1?S+)~k+,1 Ti⾥V8]~'6iӺ Ů"0݈46˕SDfYAsui>ieuhW[q=,~Hѐ˱#[ Q J'7V<D0,aPu4LL;ڄ1w|f.y)k7t\{_d}kyN`W`4aP?xb=h%] 1ՠQV)J IGq8>+b<S;]˟C'(&}kE˲|V>/H?$A*@ (s ykl,Q`J VA }%-0gTb@DOrn0AFo^C6_!+YN9 : DX /S\c>O_տ]ζ«.X '\H*yLJr)Cʼin֌,uLhJ X_1C7O+vfΈ*Ol\ k 0|~Ԙmi9h&O+O|KdkPʊAļUA4]nurʾݎ{:=n)Mq03w$$NAB-8UG!1Т\PB :ǀ[xçVƟqtoaQlC4 :"ri;,d@sVl|.H#"j#QlIY'gj+Tx[wApk;,aqdnفľW)T10̥)SwAAt7k`:s/z6~BVْ_$^,lS<3"L-;& wP ΚaDd7U}޴R_BK+^N GfaP^kggf&QoLK{S.lX j΃ڭ/S OBS+'XkYzR<0d<Ѝ0U w1CVʎi&'/F\~~ '>h*gYZ7zXZִF! &]ŗXi%L&ʷ[w5hfzaaoHӊ3h})7jc] GF* ,mvd~տWZbAODz<%jg76kE}QN+%4>_=BA|"*n>s^l-Yc?kZ>h^O_a؊0ӼLeMM4BY]8wyWl N(RU}`b_$x,pp ˱Y?L]ħ+͝N q I:K"69.D3qtaШ4tTt)r w_Tܪ,Ie;"FN5Dpq_p"ɱKF)Jk9i&>bǘjTӬA3#;8o{"c11 -;},jtC t*9G^)oZrd;&_0 XBp3'۶91yΞ6KjFڹt! y%@^dɫfel2"viz'Ml;ƒRM[J.>=U5cS *0 _yp<o|.g#_&xp ҟ&觢RdYVbug,N}92]hwɇ'Aa$tQ-*6z!ŖQWbDkg:ݖ5"DX&W쉣w35itF9J'PzVuH4wwV((M뱃E3qzzzcFD :w8c%r떣3co $q@-bkɭ-//J2WH ~JT&ßv ڄЋpL"TP,z 5ԋe'`'iobCc#@o$҇})Ռ9E ,-QyͷFvF 1aC02|2g!cɐeuH 9rN9DkƢKcSd뉭~j@O:޷,kqoߐ” /FH$ #:Sgp⟁xI 멩ֱZU5c=HQ٠Q&>#H&AR8;wBs-D(cs%xcc{񲧹!Ӽ,t ;O֎ nr\W̢ItVG (>[0=Q8, )+Ý3nsEGjk(8r[WFd0B+y4=w1&)Os#컭ߘlч! _掛u7lal$~?Uzq pfxˣrFv|6)zYwʐj\$i&s[PH6mAbNN95U{! ^"etɫ8XL;;1}sDUfUb$e ϗCPt?y(3em(&f 쩉lגhX7p[|ƥVq0o6x?D<3'zxD`Bl abHE\73 C5BIE37|&*c[=mIg?UG轧Ijt$b¿l(L}MNi;^kQYA"s,Sr: b7ͨR|Q\a6 aID^XsY8pz*!`\lO1CtQN_PM^,V\q thҍ* 7ܞ3m1K% a0r<؇߳LiKΘv|͆lUgC~NS 7łRFt\##,SBZO W<ߏM(?R#3Y ʓ*]^4D8_f"U3 XWM34 Sf ϶^YviIKlX$(as,lZVV^'J1]]٥{2 Pc#&/ubP1׍"/ﰐzP'ƒK[ޕ在c~|9= *6Mf: =Fhp "<-@}BmMOwN[@CON0m?AQ4VrH9#{$0-3/ͣT ]f8V̵ָD  *Id4L/ݲm,zHnmlTur7Ũkƿ3)8=>]X^I+dh3MM o.$Pɜ=mS)w.!uj4nj7{Evr肮AS\q-w[=dL"486SMOU {2e} iؿW vG+c# ~bO#ٷeΥC =%kMT۴uK;#3ٕ#7W bj!Q7S' V,l45,!p\ƥrp Kqۚ.;){4ƴ+f57k{՗=TltSX{EeS5lZAݿj-v1?Qr_baHl?6Z-Pns]BɿLzHٺP:Ե .$b0< QW!3lC0LA:m.:Q;|An$>c7rbp5Pd{y, JOaTWK,]d<{ϞHQ4#lGThϕџ}'E܏4~PwM׋7KsW 1WYD!?u-"{/ԋ䝗A`kΦ' c˞o-1慫S1 <=!TQ5B'PQ[x"U8vBΉf}=z-4״jZYs`$0\nmHRE-|G⤺0>!o1zb]5d\No;ٝAo\8y '(zacR}Xcb(5ҵkiV`H&QCwSWƷ$1CM|5 A,XW[dܫFifV:{ ._/iY}"'!>!^}FoUvM {  h2'_ /&S +%'f&syTSޫ_q _v PUkP}3Gbw 9R y\R%>Ie xꓢK՝FeSl\2 Qj(!n@L[.y|og /Q; (x<6ov,]l!X.vѳ"7[v) ;H=TNk>k5{< O +Cуn-x'a$yQy.`|NeδcK(c0!d&cLK,=HUcPA@}&iP68n[]As|R7I9KmQɚhҢQ>z!z$~G>D;cN/^03o^x3r\?0Wj莡j+!:iЮz?eD(&a/a'5Z%0v6>=+zb&7V+"EX>OP(޷pUh:6ኔi}jbqd[&ٺdr $'E9dr/+z(o"m1`i mQJ_Lz s@[xk$vIm^71>|G$ '#&1YCa|( |$vCm'foKC^+׾MGS1 ƭZ}fxlnB ˅wSc:pÞ5ˀǸj5˪b8 w6{z*UjU{`#EӨ{ÓP>%Hbt ,=¯y-y D|ȊD{YԶ!3g-M5I>BЀ:˼洌N%`C:rYZ'l^Sx뺴F}xYPdJ(ZG"~ıX<;);v#̗oo'I) uz#9On)Nʀ}&$[bHi>U,ߥi؊*h,&[>/~mCFR4V'=t36%˙qUiPQSjзxZQNzWx@qCƱUYSb]w+7qnj#Y^܅wQ,Ő} "$ƽĶ{xb=z7WүdqݶZ',?0uMſ40NZ$iKٴ"uN*| Y˼ۦK/{FN+Z1pq>ۢOf\kZOc.HmSH<&dW#7Gu=q3}1%j~օ'OVD hJ^p">ZߪӈU\ѻ9_EzI& ":8ッT̫#%O ]ȉ0xń6PBxJB 8au'_$̻2+V nK+6މ鎬o24f#M6Vhl!̒2$<.y14!%|0]:yP+elJ ˷˞.=GˏEM<: 8w꧛qMH=MŷLi.kPQēQ'ܸݮ7"5WS .)Pn.3']͔8Pk0JǠx~ڎeTOj-_ZfxnY<؂?vK= ad)R9zE9rhVkcnOj~)3y 6ϵJe4b뿓F.X1K# TFBDD`,vyV#(=8L6!iyBM࣏= /!10jnrb{4p#VIZm3bGyHS1U~E/!D˔Us=J`І4 Cw;w3ʭlɩ]d$gAX hPOGhe[|0;RaVpmU oqlpBE1y`JXQU(* ˩n&B\N)M ;gYZf9735b21ca7704e1dd67595b341b1b79fa94036c9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b03b212d94edfcd0f45a59cc46df5cd8b170a7fe 3382add28e651bdbc5d3f49afbb522eb559055f0 494cf1c8a6dd7c5f69af04d85c0e69acc708f248 120133c9a1500ba186b311b2689b137b32c4b278 91a433a27ce62363d0ceb0a814f2a0a9d9558c20 beeefb7db22bf09fb365cf034a6141c954c9a8f7