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  4< ]/ KAD:threads=4elapsed=166.383cpu=273.668gc=15.980factor=1.647zXZִF! 3]ŗXiɟH)0%o-]xa0oTp/nl^IXC+)s}:aPolŠ@%zi hޑQ6ZF1r/Inݲ}X-?9r(ˡR]FT9Lp5&UK@uQcBd:o39*Mյ$]LXL.[;FC'ax ʼ5V_e#?ĺo_2CN~ HAWDfМ(a~AUFוfljuXSDq-]-ɷs=pINpLw0(:SC {v͟1mijIsG W\mdSS跈w7XIs]5򖝹']_? 9ZvC׹shpPTت,%TzEycI;={R^;cL PRi-N8*X\sEIb3h) u?i2K_pX<_ B>`}f.Vu00wX/n KMF~6}|W }̅J9{ၓ=ˑj"U@{KU 6gē;9n!vC:OcҪgU&МҽYpiRl2>@4ʡtaf4q5IlVGDSu!x}Rq)1}rG O* y%> a6uq)_YZJbEB(P]T&}BJ9؅jZ^lcЦ`~TWhluYl6J܇=e]5\$.='D5ףTUzĀ:y\Th)dNf~` ,iH'@4m 7j1XҀCm`PNC^KzdBir tu{Bע_Jݕƫo~I o>ʣ ӱ_]\[=!ugKMV0> faa9QNP ĈR"{Q*r7=KVv\&I?jZAGN+ B2Gۀ9#y$`rskWU/B tF$.i4%8ԙ. z-q"z+`bHvйN9JZCZ4lg3wJ N($ݱ?BٽpMԑGħΨdx+kg"$%Bm\Ц`~b >|hդ q NU艺13$*l<;!{jFyw@b(GCqx(o*>Vs%A0H Mx[3kHnb|hڼ\[SqNc 8'oA]CmoEFԙru`͘1Rd$sASFЌCӑj}5B?=yƪO];axaYE}"T^rtf>7&L:֏NwJck_>Tڞ<=g;:L3-oh@V: 2JG1AH:y=/@`Eщ ~a4%FKQHf!ӽOQ<`fU#NGJ/Z{e6e| A6H0d|h%7% xHJU몜-vpvٺ }S#S\ňf&ΠR3s?WuL8Fiɘu+R7aE9lTBbu&uPYv{i noQmKOd3B\|oZHZ*(? L-Z$mBӿ, N&glR,+'$b2dϕ $(ݶT X Y24~-pA "# n3|}iw^m .ӯvײSwvUa-CA{Y Uq j@fMM/9)[@)!.W'nwp͞U (Il<{P`<ti?7I\4M+G$gWQ"%~6uP1So|2` B`y-chaecUž]Od@o5J݋R~)%7"?a#I@ BfC,jR締!l,ٷ)q y)Ji=_wqSRbQ̍79Q·A"#ߦ|kyWBQbHZ|uozH/2ڡJftDn:24h3dĴgPQhKcj,Y@9uWn ,BT̚/6g/ TlGZ72*ơ i)eÆ4Q@{2S#uֆuMRćQ̋ dѢamx# eXH]Ԍ<\Z#(F_iPNT+T>-D!Ρ-$ MkQ^}GNo #Beפvr,;,AN~/BC xhB^i2Iks ki;+OE[iۇ04eDtΘ_[D͂_O4 #=ۘ`i釵8=hxMn|aj.vi벓l9Х뾂UiY(ǯ/h蜧=.c}v$*ɧ6}K?[ZcO傢vA AŔzy-"۩Lu.wvb*BϡA:'c'-wd"9}6oMa} *ܯNR䘵K={LrĊ4\k[(4ob_.G4/B{eiw* w'kLر70OTݥY!Uu+gZQ&[QG7<<≮^訫 jl0Q 0nnvKF)+.Ch-}f#BFjl 8l+Ye PC tUk3ȇ93_@9w'+U4W1O89Mehw˱#?zNð=!;x(EHߪF]+s 4{*+TanB͔_V3qH݀}&94;+O^ UPz_Dx)uƕfU>5"UBRd>,G5[~ fi֌J,_}'zVLMvoFqQ~[rPk+--r6=K /iHP (Ⱥjtcf0&Mk>| v҈Ƭʇ 5ZTDHm;BZ:3h;"ujG- GtFP+cG(xV<''\_!>HAk4cͼJdJ /8@{{/r@=WQYJn,#7ƛ?I4j8p tӼu EVrqkW6w&5g`:ONW~ܩ AMmɽ:K:y뚎}½sgMmM1w& De}W@HUdgOA-mMsDLMl[QNg )|AQ.6jj)#QBW$i*o=ȍg[`qg 6DwF6ORX,H3eZT4 ţw"Ԋ܀4ҽxjFͮP3t/@Q\&$DhB|ZA uk/ Ӧc2a`r;_&q"[{t) Ι%OS hųv5?g !63wML :W;SfR06|RpP[&V]D"b["嬴DS/|\?rS<6ON""bt1; 6U0vܙAl"cL{1<#[Bj(~D`R'%ѩ&B,ĉh[)>)3:eJ(-dتQF"0 =f(NpBoЏV#z8a1U?`^\^ VTNr{cՠf*Wb*{"I| y~*-O9n.]xYo;a6X?])K!빔t/C\aW,b[WZF AOYl,pq~Ri:26OzJ9y/E`M dDqyPhQ5E'P\%L۝Dg<#0i@\B ӌ#—H._GD-鶳:> C+]JBV{TǮt$$&;rjy?[|5/Hrӗ.`F#u%?VqldaȽd 7m @E@ۏ 3v0SmGG.CzשMga eklV!LY <ƚwBښH0{Rh;-lW?ͬdzIhƇ ;TZ)h<w逐5ZQ#'æ* t7*;LG& (;v s,P?)"LNYT0`e/{4σV&~bAW!s:.b 4u,z{CƧT qg-b&TA. YFs6ǀ^t31.Gx=>y ʼF=B26M/̰zOޮ6Q̼QX!db; fpI •]~QrnUF\ [SO_`c8y[ |krc]qZԹ|a]GroRJ&ca{\.nj(Mw<,eb%-A6nx4ۍcd #z%$.t4qVYn&ui0V!zG"Kx Z Ai֬Q\qkSӅ"Žegwŝ#4bĴ.sgFqƐ& N:GN$;vRK4 gчZ?Mbz Iu|޺a\cjTn(6YOɵm {xv5h|sjdSv hU6ap樺VPAe^g0?fP,jD!xsj#%2 QyWqe7 *gJ& KŌz׿ vݷx}-r,dƉji3xcRډTs޸F2::%t̞`+z(fz̚|91iW6T^qF_C&*k| =Ybx([Jy[#_HQ.AWQY]=H×GZ6jϒĒ]+Bi? ęg2$s3(L.ODB_¨ɴwm= Y zJlG"` vwUtB͙/a\D7b,Ũu$G9*{,Bx:CW7{Z]r[*´i?-ReAOevW{Tf>(8Kx:L9˟n}l>`qi osx YCmZ%`u{7;gB?9y7j*{vH&&:kc~G$K.HQ\A'㵈 o*-2*F0?21|#:E|U` S&e,= 0`k۲(lY)R\LpucŁ[JHߋե (֍2AJog͹CLqhI*ᏈG-A!^^A,􀊱vGQz;pdb<4* xtgC]#sIFsxaT6~gDIufT7O khS(s\5Bu }w0-"A mlN׬QI =XQs9f59ģ+CB)@1WQX LKYȜ(ߞρ6W.Sx6ZdC!D߽6$*@}N[(lȍpe&"4O݃|ngLh~yyUee(SkӸՖ< #:SWk9xٶKbOuMki.EO2pM"܀~zЯd|U{ ޳}2g 6G9FHXtZ4h¶Sn|wݳ>D^| &%RĝB eHXu8ˆE,N=x}H_\9V̈́ Gs[#U;ok6U/u`b<׳J;/sl@q\He m( Jé\*ɱ5.Bqr->$_"{]v&$0w,`"T-#ƭ pDUbo"}EH!~p=DS? m'5%o*E,ZȍeӯQȄjfDɆ$,; =u]+c {mҿƽsA|˻81lfnm[ /abtfԹUl<ǀ>z#zRt7 }?+u-")i6Bпޣ{v,XrϮVStn$DS00 ˉ7.5+NC Uq"fmqżW Sh.M`BLaWbOE\-EMIzV&(:͙wejfʑ5nwRro$E3+q[qBXI&F'SoN5T`yŹ0cMi?I $ ~wH/z&6O[o|هn @`qMne<ƃ,Z?ZG萼7Y[DX{:pIۼ4د)*1O@.%uVo_,E-bF9ci5'o~p9vn2mQmzmUC1#-į݉dFJɇ#Νǁ \2< _7BSE VdF JTaOV5W00$ANUMN,IHЏLx(>H̺W!6Q;bjVHSds-Zq>,FG(%`.̛h'h@u)NsZL^ng"]3IyiF(t"KӔ8k ZHifE|ytAPu/M~{glw}Fu/:|]36E[r0cMP 4g,[K+frG]H {7J-€D|cbH,|14dՃ4RDBn`?&izLT(v>.L+F`)rY*ŗ4!B]^~|j4B5h/.)6߈H; z듧-Q)9s'a~Zv)_*p'yǭVnX~ָ1A9K¥Z-4DD*cd, w! Jb^)dQ[zQqA8r] iW'rXh>U=VkEhhb4Xn &Ϟ_}wH^nH8|ھ)G~?C9QgokSjwb晰ah5F#9i?$11zfk_n!/ʐIi}Q5"=^Np02 ՎAgb;s(NxظFSȄʾ-56}ԛ#1 nOW,&\A j:TZ PҥGuhqA8PϋI)6d3rİ!-8,GwO@xU8AUVeo_i\{^+2dQ=/ae~U fzG/O` y7N~qtU^ @p5kuN+;X@ӯ[ҡNIAD*Nf,Is0i y6)4C\JX40l]/} HQQҐmϞ'.2 k~JIV3OďGfA\BWSB2Oz\D>OA3\=-Ar:@\TZj2qId`=U $(IO-Q Pq.3t$i)@§%F7}p _fȳ\ "cO%[&p߄o8i$Aq F|\ĸH8 >zɌQK `*KH2!XK3L}B/87njiR9"4ˁ*7KDdph3|FS7 E\͓c"Gt' 9x` 7.~Ј2L@u5l1oKWg|HD5Pl׽"8}n>>@e"SOύӥwdqO]y%Q3zPZ웑 -x=f6z"E6\R@Mwe3M$NvUj);zXe <>H%t1d=F:Z($wqoirZQXZxS=1vh]gxӺ}R/d?pO.SU$;N]L>V`?LOH5Zv L 3+C V*) Ѡ:Uip@>IqAـ=]4.=RS/ڃN6 rU_zQ,D{vl dGa|6IJV*+M?8±趿޸&GpJ$+3Go+sck.$ǓUL^LaF咶'oi- t5ayǦmqS ` y K/l+FY&O.!yul8f'!BӴkh;d4 ԅ_JV(.XJj"E ж2 'vm*һ٣`C xTQbGV>+qUGb\H'j˻ڑ sPE81hn@KBZ] ?<[B\>_- ꠮ &;Lh)Kn-`ލQCcoÍk;c]-Gr{fp{ʁ'B{i\pbhv|Eg͇jUoNJ &B.OCuCܹp|3U]v5oH.S'h=V褖R 4 5M\ܰKUZ'YDGEg.,`93{Kxlwb_v0CH*Ob*G 'S`SmvH2 [n<6Jk (ޕefqyP삔 ru4qPѲyI!(zfe诿qyͥk.7BuV@r+afTArJyXqR{|3 9ƷE4itNS-^|]ge2X]^ª%Nj!WaG}0 >׽عm^7@حM]t y )=lA){iif=af7L\:{ ،W=H1Mm|r\UbrXiC k,9:i{Ȏ4-w3,#h ]_΅ gmmY˔. (2SsE|`i#~ygڬ&YW.jQ'8~l~um8Dô>@ݺx 4 ~lߍFA=9KX ąJt=wTIA{>w-;#Fj蛣m[Cƶuq|&:-v/SA ~z3zO1*x f$'zOOej7tuikſY*µ+=fMhO7l'x>z,Vw69F""_KA?UZWZ;XF|jZ_dHK6KGS"Blmzbvžt1H$=JP&؈+vz3*uLD#&d|!PܲvQ'@pRXD.c@m6 ȥkl9;jÌ]A&.0- xd lU2tS)g&V(q4L\n}B;Z٤?t6*Ca_ѰsQ]on&X.ihLI; |x|<\:yq[Q/@$r{It5燕j-s#Cm{~N4UD ի4(GE\[|36T3G[)5F;@<݌ܛK8K;kൾX]O~&S/#ڷ#M g\6)O q,~M3\iH6)&I0cPQ:I{ah87;k!j^f;fWp<Ŀ.yЇwiWب6 QQӚPxm#ֱ5uCx)9+j˦PKs#tIsz(V~ZIAQu1,7tإ$nYٻ{a4e}P@DzgoCcÂHCP{w6k79WO!Neٙg;p=93NSKKn'"z}&OpaGx{e9OK]{=<́rs3\]ߤ~&UceazcouRz cFI72ݹO,q]"6ldA=!7<S9{QQ;U_um4#fս!~RFW>=RMƟ9$~:Q~-ٕc!0]eɘ-3q'Pmo)}n9*PiM5I3 ᮃx%Rp T]q&rt_"%jtk{qfS.0v&^mF>D} aQNkvQpL`Un$&patC8āT R!ȧzZSNx[@Vs2069CUx 2@ 8H~y>9j-D'SčFrԎ,ɱyp[FZya.;jxcO؋dpZPqvpq,YkoE@>Tsb_G֔#zhQ9pGͷ4sDj_ULQxȉ wTvNvPi4Nv:4g~!Z,6Q+3U;xNקqVPi)`Cų+KQ%$o к;cj~UMjT'ุ3*&1áֱNOb|ÓkdNay"Y]P0ND잉֊X^EG >8!}H(<у;RFr6|| 3ԇw2қ۝aؿ"8N[l)# a['/rϯ+!Bťg:3t.p:jb:AƠ/k7ݿfV-،i eTjoMQw"ȵBZzΗd}>0Nd &q9_ ԥm'6\mYe~];c6Z^|ʘZ Xc=wf r Ո+U-6-7nީ}gIB}뾍LDMCٳxUw^amSMI5p?2f/d-5DS,/ubSYlG xVXV AֵvV1 wC/5S\B6(AJ0u.Qs-Iˠ6Њ2uf^}jm3-hRݡL9% Yǵ&#k`#ϋieT%*smP{{鷨Maxo #r*pOTR8NLmMq9N\fz6\d?'i3WV;&>#c #Ɏ#6X 8bl-:}hJ.{ M> Q+PVl `Ҷ΅/7Q E"qϝ=uڄZ<0JSj|oS7.$B/HlCIHY!()DO֔_"j0R- Tov=ȋG49]gy ~T(dċRY79{4ONd߬dqZ:H"E4eAаTb%˰%Ohn{K9CОѰA|KNˀ"5A|`|qx}ZxeO+Jhd3KӁǁSiX\jdU #7mF}F\K,eLڠ[Pm*NBbھ$Ѹԫ*k1H漭̉ШO3X~ch-_DS#MۉXLȥ2 8t90mrl]ݨ(JZF]Mq`uNTh[+dr`C+K ތS! 7U4͋KhasOrrkd(kw YZV iM[ ԕ,8tY&NS2[+Kg2/k*Rv*Úհ1P7;P%L)i.*2ݡ7-X۸S9[8194 r,/Q@Els/;[6WDi.Dm#NXS"f/mR>)3#6Qy&}) ]ZMWtҕ؟_f uh'XZ M4}5Wh˵だ+H*U:Z'DBʸ"ֳ(=^Ng'}iT87oRzAvr) H~t}(h0/ >I`"ȧfE2iG(m[ibo !7C~MiSAI4’ʓ5/oc\vja]gͬ l2ylEMy d3g<`"lH[~ V?C 9p8ǬEUH+<L@߂M! #mЯO1Vy2z7 z1\11LE ߪbZgRjBFmsطcrP eQ78tn`yJv2=YFSՄCcU<̘MT2>Ndp'Li?nS]aT5sFȲbSW dz m+7`8z Y u +c恸]X5 Tp@ fay&{7Ƕ$tp8p(3ir} Oj`;N 0 䨍9nX=J.~prKI 9 b`G}E>l JKo)^DO4}OY/l4'w=$]jrN`?:J m1$tZO{RF8oy%8b䆝_@ 783~FHw/%n _Qs@6^Tqk'sBQ,MGt/\{j6 w$yAO8<T&;G4 7衇i&!΂DT;16cy_ &`Y K|?́7ME.{)L=R,(tD,U#p4v?c`,>RN s h q+)X¦3.E!%f:uxŬ3ߕ7ꤙ+y@!}תzM5_&v́QYK:%&ѠK?EB/n63#*JmʇHZ%p Лc%^b'#_>Tn)C7V\8jʍA_L u !*31^y[Izr jTuV)qtet3n Пae$>XlV /⛠v"6乣3muԟ4nZ߆7.ON,ڄQ1^TAHBG򞀢Y]G+fn_+?r"ڃ ƌ}gg ҃ne3=aGFAUj3K{^"vR l`0=oT%Jz ٟ׾Gѩ`~<_G+dwrmmKߊϗV%۬F+ 2&"peDݺk鵀dV cA({#Էv`5&L"9`]Y@% ܭ1h[c,ҏ2ҡBj ^Юq 2 |Eخ#CQ -ܖOqϚtBMv~-t.0ͷNJy:F1oGCk@s?rJod5 YqJш=Ye)vu :w6 4əN\Z3]ְ:Tϳ!V[Z[JgiLXa LMX]OL8;bemhGoUS%RpdOzQJ9AtRWj~7acٵ^b1QyG"kI@ نϚʵ5Vw|k.k(%W] :t!zFmWK[ZH^E"BC@|f2m% 4AA1b"ޑ'6]$/n ѡ׸(tg_QA/?7Һ h'Q6 F&yE 'ᄑ}=7+'Z ۄҢ x*Q2uyvLv}H x *b=LHrIJin݇SS>A+z J$ۼ ϋ>SDxy T3I8ج(VFgmLEC]m盂X1lgx|m,bǫoH&Q,)EƖxH{*jGD.Ԟ0ug(ݪ2z%=R#}&!|7cK@"GC+,ުAkYEzc0_Igv3~l/9 .NuTp# tksK-T{60_G' y̧݄!EOC6SQ uruA|ӁH:o6̓m`Q9(E9(q[tHS^QQlvůel6<h#|Xf5ҭ|RbrqSIa59G8`p7їtQ >Sl=fJ-Z_pPJ)_&e# ~u|d`/W-A3~ˣ?;}5mbW2 6]ˎRhP+RJܖ;McR:@r㏴y{wߡL&&t;u-zOG7(DLawKp7߯3/,{E-s%/.h vqOHl^*e}{l/\LmC[OC#f9y߅qN{% n t|z{?}}2Z/c,w*\\}=|r!S>+g^I)\ :\yJ&Jg{wgOSR vg^Ee.ơyWb:@9Ie+߰s"X 6ԙ%LuZzwT 05ˎE4Wd^ӷ&;SS*rChJ]$6*", .2qi&=3`ONclS4⚉ hƔ#xe`K>vq<&u[+,--U8Tc'%d)OAqB K@۝Zl2bCuYRtKn;rL=Qc(wcJ Si)6bqH/s߫jznwSx^ГHՓ_1 k.~ NJ:@.;ư[ƧfAU^\5{׷&xC@'ӇT %{sď 8`YN!2)c⛃ 'X<hMWpfୈWaZd']S˂,x ajuLt gJI8Ht{uN핣/vzI`DMe4#|3. 3^!XfIJR׃#Xb2-1tE9=eXi+@T }ΐH4A]<U4ﱙl *]FKcٽQ%0;l(r?lRE :]Zj ن82Zb$}Bazo$-eG ͙O|~}w*bPC` |eDRЄ;X}IB6LzudkO_CiAp;ph~e6㍳\a|(Ē?Ly ρ)٣h,0vʍOf[2lYۧ̂Xv"$&eVXi}?`=Yfvem1~EߢĮ4qXvEA&_C]38zMmq64KI)7 kMe Lob6 qƏ[}L~o&1-Q_o F%fsfk=]Hۻ`vR;ɴ&B ;)|24@voinD_~i:sJkǦy,ߙ,)v|/?Q(2-Y|(E>6DPky%B{mQKPMt\ב?EG j2ʍkp j2wB|-66[1BBQ^p5AGpWs6 `xo~`]VboѮ()n΀6"g%u2 ܞRwΈqȰY!ӹyQ!^Mԭ< O@ p+*ZjnrzFTKߥud#$宪qͩ:[p:y>t#Uk'*Xdo@ƈ:e(:8n9ǣ=q:MD_Llfƈ]4r{U^'1#րnb+j[ovz}镁*{Gncx&dhE׊޺z7p8~NmFo̞_+H ~8 t>͎,[69OF~^/SkY]$m4Q"aq~mĄZhSج/:/Y@r%F?Qis7b7 :Wb_fDz}"`dP9^{uDenw1k˘`A/$з.?D97ةm|\"ᾕ6ɴ|]1 G':Y~9VNUGEB$M_gZ8Ko/5.+?an尵TC3uNͶu$HR(lأ!*j|'&5FD&ŽAwJ $ak"|jDӴt ~90g^=} k{D)Zd-At{iHDK3 I9‹V6P`EZ[žl4ڍI0`!.pUԗWgmqj2W>;)ɦL}EHd#@ԇ5@ ӕ~z}BiM \|ۭ.ñ:K@^HWSqb a@ 4)~ʇ+$v|ay.)ഞȖFhj졪àuFz/E BE(tlLї+.>T^ `㍦E5iAUCٳJ,Pܳ'v.? ۢ cCѧ{6gT*&A ^ --{^Ҿ\Ato8tƺ"In9p?wFV ;ʯ *"ajV*i[1x9t#m*%7c|2Gm `8*rpN׿*s"/ Un砃uwZui {Ha>~{J0 VQ0@M6f; `uº,~]`]d#W});WrUQ]XM}R$Ip34hPD4l ka 2,BX~ Q:~WgoJ@~m8$*M[>a.Կb,q:`)6ΠfKaʃi+6zSO(!(zaZ,+"J/ſZOn 5Bfw "1z#k^SȞmvaNξ%eb$=|eǣh\jpȚ3%Lw׀u2*m?2.,FU녭4FrarO n Ͻ+:Xj%6?aoSDUwT?E>f:(5 Djz¨4gE鲕ǹ:IAuOqM(@!5oo6ɶ9'bGo|zqЬLsXE.$*B􅾕U=ESm ELӖiCF 4~Isn>4<[ȿvIrPdPw݉5RǓ3 F Jï{ڰP!88a`ʃ =Lyچ@khK>JlIŒrZD{0_Hiyɜ"kN<04C5ny$Wc`sIsk;+܆tHYOUNvAiK^xبic~&,99w&TKڹ0yD*Xfo2Ӕq#ͼCGxP_HŚk#%n.k>4 9?anWп U|L .ԮixFW !U #©Uj5DZQ:D{pn.Uv FF!1ܴRX퓂hĺ ̧ *_%D P|/]OLG {E @CdFXXɇT&V6km>.X,7X면+'DEK|{!|ua[no%mBԯ?䂊˾Lo@G(}1'jn,MQ[sۏYīOd+NtڃoX[x @#ujt^G~5F" C:J#dw.Qp,zi^YdY;w [rgYWF![ᮄiIď N,p6)qO*$X \wa7s=Q%&;\N 潖rCL^?~I4:)ې_wBzn/_r`w}y;Ub]3)(lfTV/:3Uؖ9/џX]1FK^m܊!!80|yhiOY#Y6ɽDNPXL|ʡ'J[s;MPt6ma]=)ѡqjogKkx8ȃdṗ)vK9-D^EŢMms' У9EGǮa&@BYg ѸN.8AS$┳ ;R( .Bx:S]3OƘCYy0>@k߆~=3/ ʗ<ٍ6\D; ٗu)/بFz!촼 `Z ZՐM-@ĺx>ߐ/0,a V9]5!*Ws Evt><] FQVn!&i_ = ޻peJ111O,/8lrN8+ @hL+ 3I@qku(x,$g0Pzc|#+.4POiV 8}%*~-9rڍ)1"CQ[wv`f(J: S-##U8*q$n`#tAMwL{B+pYj>t ~U32C'v>r*SMńщ\ lNߵy~&H%kA!K4ypQ]J`4&ܒU'V]a-1 "'"d~%W U1SIG&ex !Ѥ# 5TYR,>Z@yHJ=]+{gdsⲐm%= k8ǨmwN1tlVY4"M9ͻm]:k;3eܦ.s'Kg\H#t(M@80jAnW1=N=eVN "M_.UF \˞4k9Qjv+UyR6:uEP݄"ubW!5Sj{ C7:Vny=de5-'4`Ei& hxɟ(58qP|xז~gdLg7 ب5g-ʈY#}gJU!6(jPρkWZL&6P_)S!<~ŷy8b$GdH8!*`E"}?û/Ẍ́Z'`.º,Z'vW_? >YF ̝g<ؑ<}7}^}#U-O=K``3PNJv^t,Nd7$w(V\L&wN&8CsiBA_,DY BNgNӿA~|qݔG֯"OAqJ7rlϚ^q [%ĉbDDW[ J}Zw/%ѡNL%sC>c_6̳+)U $c,b7pə˾x1ˮϷ7z4t4;~D>D(hy>kphǧObZ.ݛ5q?ygі7ѻ0‘vA+NR-TUaK-qe!)Mk?ӭEŖ+$RU}]QP@S/E[fHM\Ar7:EtG`&D6d؎E1M M;Ɓ$zN| . 82=Bo#!w?m6bp}pN1 ]>l7I8eZWW) Nz!8:DhkAuQHxq}0&lua".al f#!'YxE))b 5#5^-nDs ߛ{j o@I&qGrѵnZ04pR b?Ŝr3^?LE] | 3J#s9N= ywlӒ(U{*dqG?ׅ^gkLȃFDoZNȺvP99:R |aYN3r֘}5X5g_G?U!6.$K C.fG 0U}҅œC&R{ˁC]W91ף2]_٤̙쀦1³@Ve U;"OY#ʳ^&:qMg)(:-s_^d3*Ձ zjQմOLRk$'( /D+^=r&sj9BaHiفd1wBL]th9L;B`=%M|fc䶣eZu+ҽ);c fe @< خj}^Nn*< \p k(Sړh4BˀMqwȅ:a<_e ;1m> Dã>7al{ee$LcR[ҵ{[h*yrG\x+KWU)Bء^/A*&u<*) mipjvx>$8RGBKvaOAKm0Ð,q0jzs{rVh,sO ;pl)\xגʔKS$:˂'pw;WFI.|*w'™&/dkԀjثR<1#U:$o08C5_%zLVc'q8 z("` D`*~Dy l;:q[ T|<;ŖSF&>jyYj$JÁ541&46't qNHk]I0 "s]  E(9< ז"+j@nD7 34f]ՆN6@:x'}pl]ƝY["d#s6NdΔIH8J {;#c^, rwc7l1zNv_pVbe_rƅq䧜 'v33W\1#Eq< 7+T32-:3/{ Hg)c7AO?pjp_H*gZ5_(TcBD5liB0ZqDG)E0@TժʏS6=-a(˨݌MO7"(8<| -'t)}#冎B;ZQ/jҎTiGPU8Ø(f`eF[i™!_SehP82k}N4-eu)cRLAp'Z]wđX\ DŎ[qnNS=p Q%tH|_ׄ}R+,VrvU+;M2`T#(4u>2m+^]%#QyQs9OeKh o%H%X)SR:k~IU?%;D@q|Ӯ]>.sngML^nzDw+Bu=:$kTwЂwABR6BƥLn(AcQX )JE!Hm~pQd:,$dٜKȔYwb B݉ǫǤE,=A7m"7-iyMp\~GK[76hVF)91|3t eg҃ƑCt/wi7QCYEL#% j$A["-Vy:(&ȟل} m=Vv9]4У\6'i /V6^\@w>ruKBj^܅q%e- _3<[ʛ%"EȪy,oBN/VllH~l?BO1\_иQ1 CCe/eu7TYPJen=~Cr A\"}H`C8}U۽m@ Wg/ɮKSa}&G׋6glicmfȷZUSge2kCQ[^8 $SQ6By]L>i YCLxݑy6\dKe簪PGW|eŢe$=E ۤFwe~#w9t5E w9&3'ʽh˿.t`|m%!vߚawK՞R#x 0FjA v!ltM=;|WnFv.]" /jhvCfFgqͨ].bLױ( Al3 UrGGD\RN48(eW.'myi֤ӥ_ lɋ?'?cQfpծuP.<(kS.mP^DoGCJbɐLnq0v*,4D!zF|K( ͑Ug7p=(dklS+#B1.:h2*kfM`SFPh!|#2-6ԏ~*=4ҕDwy¶|g{C uY>D^k'o]`ݹ'6=i $Wu8\?Q鴱*e>@O4{lU!%]bGǒlZɂd;N'*ɭcYm>H@k|}@) UnFU-g BŦ? AUṣ?ڑo{E/e~^ Vk 0/|Ri z`E64n6ր]g[W2f.j[zHؖ:MC^U,\,z9O-0R8[nǛE4RӢ7? ^ʙZ{g$_]y61ӷoGVHU81I`ad7K9XoQn/9KLiݽZkiȝq 16BG$JLTZ`,tnĽ OnY1OV[Ch% ȇ&' wPun@_4jޮnv?)Gvuo\drW0DSz)ޣM7xaK5xsw1ߊhXpoIݻ3@޳Eioyz]0=|}] ƴY&_%n S93jA|w4S|"&XH "ngB,}dֵ5oمafH&\ӗ6/X/9WǓi[K!]zژ!Bn gڶ7n-%*6Nh'nֈy\T8xfIi2~U^ƀo gQ pٽj‘0iIW?zw:8"L"=pWd|BЧOCꝷJ#O;8dUٖg"Z&׫ RHkU~;(1v c4ʡ_z4|j zS8?KS vèp'[otGc |f0} G#l9sdaQr+L(gqv pLQ>BL2y? Cd^wZʃጪ!񡊽kas<ld=AZȶexs{I,Ǔ/tWCRY[7r=t7!TOgp-)Ve8Ӛ6g.q~[+Oq}){Fp+ 7c 䡌T?,dfа !z#Mac; '?(&%g'=br O?xQКIՕ4^pb($Y<߁a.n̖xJ͘NZO[<4n43WSnCH_$fXa5Ԓ$9SYdf{.p >ȇ*wG5mI^M] S rFa-ct\%@(Q3\@]{U)c|Ҧ.q̀jlXKQRzؽ(;>YT¿I k %glpj mer.g> Dv0w G-7~^/*4|KX0 䣩4{b3Ṳ7lؽ['LfƷ& pKZcR֏>XE O&SߦB(dDMFLkSX+3)oh†䤪wDȏNgq/l]<x+BN81h3*#+ًtqX1uaNhǟyEbvQxhlڒʼ,Զj/U5ypb+6)XM\B nNbD4_g1jj7qW\UX(]>:nZF9gwB nG MF˖utOJ? pC2mK}vaӹ#n˷n͜g +`PW`;\o벘YL/a0 ĥ2u Tў*~2(*ro]ODpد!bˡGzG0JrIAVрm8o4# IZ\SB~8"2xki$>NC)#]qg7 zBpUK%,ቸy h\8jI&=ADOEҌY`Yo*73WᯑglG(M̛<8| 0X&-3'sʭjCz;CaXnRKٍ*eG/I2%ѹ~ 3np׍׽hN]`C8Zֶ?w=F   #Gs)+\ __(1B͉ 7*Mw8d1TWa]׸=mXk,hDz{@T :k7afr]f=XTJ6eF{^hjp.P.}&_l7ݭI&b9@sˡ7+ژq6=h{9×h䞞uOmr wFwljDƳ&vLj'ʌјTR7zi=oțV;q9vH>O Wȴەnh` EVKcF2HJGShJO,$0`dYSyɥ)OUp! 7UM}`gOI12ǩRYרkF14^͜' o֙Xơ54M5OyqL|Ц:2kGbSPxߎ{`[2œ`-l7,VFghC` Ÿ 4U|}rjh+5mrtNnI/KA멆>V֔> J֠eeѣDPd0gW>/|2ҡxp"b95= cPa^JZQĽ+s4޲6!Ac(-<E'QI5n9<A#v9wFqCfr Gc@&\.|*ϝ޷y"yn[ld4$<+)2kE MرgYZ7zXZִF! B]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]wW@ 0$5L>ft͎p(ݰ P:ޥ> %ĦG"Wxliinm4OB8v䁸T{/.x<؏s7w7Z^CC-б`t:ػH4P8J&Sb ZRIHvMgf B~(@벂BT{ }r:h]ɱ""\>-"'mS0\G? ۘO  [QZ 9gYZ7zXZִF! !)]ŗXi%L!l m||yg RO[4tZ\K{n(ݞ\ )q\i]QxFnu`$he}!2'4bO #_gN[̀M\$. 'C[lMw i[aA{X8X_CMETFPV $95-ڐʐV\[zPB84K5j~/2R9U?qվH_VP9zec"9yZW[ IoޫZ-V@EewFѬTl#ͩ„Bivɧ k LS]42UO=$H 1nU\>{ܳe Q\<`tƂDߡ8uE()L/U@cg,|?FZUCwB9Rb]J9+b=5(Vk|Q|t'Ҥ]om9ȔrN7Lچ.~KRx6&S-:^cL+;LK9$ Z⛻jKntBJyD.\Q#.Tުdu| 6)&Zfm8r&%v!unذъȓbw/b=e>b=\.17%ӢAm_Ǭ"ygt⳶Q[*5WŲ.(`׼<+soKx2KԋeCPOl( G}RK)uiɦtRX<yd:hJ`ڸcS%(pmX?KAn@C;ij']=g};3mac?ԡпe9rtqOR *wq3>yz '(%}')Soۄl{I5?vT֦=a۽r)L׳l *F ɽ-UBC UG8%^Qs " W)p6u"f+g{9*P$jV)w'nRDy@x\A, ?~F~6RO@GyƶCadeit!)n_me/1(j#,Gt+kDp_D+I]p{xZ: XJ^R5!_H9N t w7L+khUM)fFgO%]\ ?Pp9pɳgpyrX%ao\dn藝UJ^p J =OZ mЈ䊹K B)Csn C. blaO6~'dObq95cqm٬Nc9lv&!NCƐ 9D>+#$ܡIqF_SG8 ;?ѥ9$Ѳs d9YyAaHwG/{ yoFhodw/<() s` _Jr{e΄IR[*@E^= 'rdɳ[mA_PK1-5*., OSXM(/1{.D&:]vN6H$i[`WT {UۓH#[j7+pۜ (_~|zP8XGfY;U*aAp'BWJ~@؞]c%3F3Dn#_cdi7\~JGf(t{ n"-S~ /5`A9I)P,QPo0V7O}>;53^ AHvWէՉOwƋv_}-JE=3VWq_Sfc=,u*;c@ԔM%x;ߠm!3vCUl0TsOA `T?^J{@>sMO0D YZlب{5*[ԐqngcGjتS 4L+tSHw{?#'Y>s5c&w:tn !*@G{rUa/I^yzj-n~V-0Bn}d2~Ewd1}iqPH/[ؕƇ73@?Q:|CO{LzPzL&qJl攂aSf%lX>:]6>Ƌ&d0lTIK6΋?C|,a4=Qi3S0)eAZ ^t_j`Tug6ϙvhQ#'c/S?["-0+_vA^u|5}aq~[*xNvsXv[p݆mIPZ=."8Id< )V->N*ULb!bq):N %N4 %3pD\;0u;[ wfh*>a(} Y%g6-ҾQ<,9׹皏>R1ᜥ/LȚjt#vZ} g"zW̑:xhT( Sc Կz;0'|!XnT:&{Oc0q~;LEhE҄`z:]r.038gfS5=_OV@.°6y/ԭlbE秲|>ɱ;N+_!r,ODCw5(WEHq+^QZt ߅!A~"&DV C\,K"% 9u܌u| %@z^w &nF|lhP@\ xdO??f;7xR1QUӦ}6WGKJ۲XGiXطGY0=чǿ%V. +j?/Tݥ3 U@C~ؕ=rKܬ,5b1~ȳMu$*JtlV`QpYg?9|+!uW'H 4c~~$t~ e 7`o"ϴtrx'lM+c!woy(xEJȁKNL=-G֌+SxzK{qzRe-EeU r mvPVs1t LhgNJ r֜3 ݖɓL9kihgO=Ș*`'tQdh!/!iYiŜjR9ےQϩ5w"#Y"AݻO3ewbmn5Wa^ϔƬo@EޮᣣQT*vIܭUl C΁[x?(̢;ܨƲ̭~}ƻ`:~ҲpL6+/+}qf`K}HUMR.N5?H-Cs t,M5 oR~]]&ȧWh$OʵN`⩕o;g^ Ⲏ+cF.9!~,]1-#q F@h9:J=.Sk+~H_cH5?}ڬ_]̉#–`~P_Jw+:eRh16مRBd9 R8;9&(mV\=NRTuz(Z1";VkG(fdfH&/_H"II4H-yZ t]4H&zʓA [5;\||z B;>eY R)H0mD^D&;}BIΐ-'l`7B8XQߘUمذ5(rMzq]&ˣ 8͵yrm7m(d-?c9Ч +vmPtπq *wTMiT8&r8Uc"sV_[ @VBާ+7lퟪ&@!ZT΁d\Xk͗P#%,'>";N.Fc}{TnД4'JOSdYA. & t~(Ӷo`X-wGw2~h^IÝW@"CjD o Vt 4,+=LV)qc`"- j+PBl5߯!io=<3ΥtWBaM~ڶB$fI QKM|䲑cj2~H<7ဖւ]\o#o׾?e@.2ElX@> [}XA˪8J6ZvmHm= t p [Qy/_~x?ߘmi:!Ž>RОP:S)3=玅gk,ڜ@B5TFYM<7:rs@1o/זھae)^8Q5SvCoLOwdPCT$A[raelGJh3x50Yr*ݚDŮɓhjH $5OB~nrv:Nd: A 0WoA.ްINFEJG?ۍ~XR\Yx;bk*blb3/]!ob݈Śf4mjU~&=<8nԴX韨&4ZLJ0>wl*0s@nA*s%ٷ(K5Bz4\xO=]ln9W3 :aBA*{þMG<QwZ~K0RhPzՕ >؟=H̋0=ء WsX>Aq8Q:@[O y+d:pFq1,oHxQ>h+R,7`Ip7訑46i0Yh?xp P^K38~ -uo>^al0liYfŝ5/=S.-#q3#@@Y +YOimg_flO6 ϒQDm}b^_6ײmA)2 2{n AUv)X1?dE::$Ll4մ`G`y곎7YiW󨟚.(~h|6HRRC%ܚ64xa/pH<XPVy[큰x`_ d_cQu {3҄ 7cxǓ.Y ڠ@[Cs%|ŭ4F*JY:!%0N>8Dt6ИoeCN挻Ck /տAZ2SC!tjb܁TO69lJE]7Xhgn3.-[n- 5]T'm_LTiS~DrSeW% \D8{'2rⅡQބLGrcΙ>r1K֓ixW/{ ) ,6k2[^~-cY@kn,-Ź"ߩf~uz_HO*Xr^2Xnض2w UڷRj^gfq$UC@vFBr*@w;}"wlo 1}sӈ0RuWDӬнYHFngօCW#j@>=<=i5u6)0ilMȷx<ܽv"AeeAV37aZ[{SFP[م&`F^LPS%G.@nuQy^Ñ~8bZ)d-y[O $b&9*$6Zv‚[x RWVwX3zq\t xx_H rܺ {ơC&)CfL7;hzI3p[7oStcaG1HrhL=%+y -h7LŔe~6ucX : 4(o\A3hX[) >tq$60Df_]A9oVz4x%BY#t8lY=v4p,ǔU}&(IMVl.`P?%mUa׮0؇#P~Y>4y`T\h߶9IkiephR|f_(SB#͗=HcgfUL܎!53-l+YEY%P8Cfˡfz Pz~E.V{yń#~i̮+6|4v R GwsMUN7\Xe3tvSȽ' )e9IzoT{v@G Y*v66 vTn@|c'sbXfB}$݇m E%WqkcE%.}F.N6wYнCVWռjR( =`4=aN4Ēc!tJHzU3?b%:@f4TEfYJ@ԏ\9y +@MZ![W( TC,'C 4Iu]D|S#NF:,;/m?{7XUzj.)oW5?{c,-aNaĊ5_%h*mJ{u@d9B0zUZ;O PcA4+;%.`Hm-uڍS{y\7y$F7we"υFG11s ߘr>kƣ42c?8x|ˡ2V4P_TWjh=~@-l8?5o:$].i|w,ncHt h1LdK( ȹPh;Nwf>DB9*^Wϣ ƒnvI]AEϯԖ]==8ksFb!=Bb@:zbºڞ2dVHv+rXvuC4ŎMB)XZsytG P&5wvcrg/b#ׯ/ O̙RcNifi v3IRFaб/$n$Bɒ|pėivu}_;`?ܒ '}ۿ6&N!H; O[\ NvoRd Nb F~и^ .N MOq}%~֎ț9.T *H8#&>Უ/#)t,ފJnt2Xb^8ohR9=H@RgYZ5caae6286c283469a7d7a46572afa7e506656d358215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61