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 llTv|T ] Kruskal:threads=4elapsed=31.784cpu=105.608gc=3.2407zXZִF! ]ŗXiɟH)0%o.K'tmlD݆X'De 菮laZi` (o'GKT|f'ȶ+ pK"}Wh…i-G'Axst e d GWQD9Щ?yFƅGgѤk[@=Hߥ{ &c`9 1d04f.`\䮝CCZ%z@_#U;X]m_ݐ/X=87lDlyZӛ*%.-JPXQ/p:N\ {L=-+,bF@AN+ ,)׾,`=2Q0y{H,JU|q%E_S9t_tTi _Djpx]<`o1Hgմ"%ɒ[% %^|w]KȌv,TmD(hP7pL֍.-W׶~ke?,DX8iWR w F_?mԘMt ɍS9G:&sN+h]j09_;/2Dne<*n"-q"~tP6]Dz$*.^!"H\њ7p}g=>Ij:k⨇Y:9M[օذ8ga,!e Ȁ fɽ@~=_BK R|Ț_zYj6Ga-\A[Fy4p-zn0;> 7l%JaR/e%>o-bs_AE^NEUb:A]N#meudǺKb8P6`0JsЬE534(6o8w3 }_]yzn96W>@Df[CY@10W:;~YPi!Qd^7s0*`(L_KP3m-/Swҳ~#%kTM;gCQOQɝ"0oT>{z #`u¤Jq@ yNp@ab.6$ B(|-/n^ȹbrxTmt_c}:x"I ȗņt|.!T*qDg|3/~hG4w3`m',.ex l AGwz͋8Og2?ߙs`gN94y7+1`=Cn|%(CD721 f;֚_ץaŧ^c}bd] >B@|ٳh!u*aCx:qዃmeq%PxUn{ RDUPQO|u^\"驽w8FPY+υ}bħs B^¤ `)޽?RWTJNFyfZGV.غLe7A7o2Fl/@j^(wQPw`USAaifFC[5fy#$ 3F@]Џ&cޏ"~Mj==K9?dПI Du6\\sysŞ:_13*d{fϰ[T36,|u|L9 o$X)~8p\;SŸ3^H~a4ec_y&A>ihIpDS.+\iAf㇤RBgtڟQG+TuUmJ2+ ןCz[JWЩ.Z+ @6.52&fph~#:!>Dy[3IYQe4yv"/s?38}|a   Kruskal  Xt2#)ȸmKR@TϘZLc1:D٢` L:K4R Lr3)@-캗uډ&wqo=@`E58CY[2R=ןuEu?=lg 6zm@tCؑ Qn,ƻo"GPM^B')W^r7Lwj3d3iQmen"AMsv ߴ~UDŽiQ^gu]&V&TuՉtptNekA鸻Def}iIڛj9ael+f$2_*ꧦٶe w+8(>esz9e*މ-d_ .BJإf%}@ ͱױ_k96Z =:մay`*i;!扏G~@d!K:$Z~~ #R)>"3=IUq|xԇɹ Y0:ڹl gVjȐ'-O}#U?3V؆0=pdp_e$՚:㻷$WkROJʴyvL.0b+Lk=CUa 6+1LI@&?n]-9W^~y)JĂM{h$_ l@ u7zvb'+6a5VaFvC#~ӯwlA\y)csZ #K+j ͆a%j:SM 3пZ 3i(iy kJhL6> ,Dp1PB¬vvդ/[۩lK ;۬+{n-V%1*G{ߢe`#.9X!&I-\!vdc1¨O;%ٷ2GTdw>BQl- ]N #$[@͠< ŋg:K˔HJ}F Wa$U?!!Hm%bCif_9vTJ7m6[!(_c8ѩ:j+?W+Ukd3!7+(N洂㒮 ixMB06] i9XR؎4w{tњ|Ǎ>TF?>9n435_\? rѹvG?@I C]krwu}É bj8]{V~OL*98bV SABɪJ 4ߢI6o'F)_%?Flhc(kiJ2H Olb U `zEz[Ȋ*`p%4,GY5s Q(l7\7: 7e(?0`{.nf.$2$+.KI^N>,|_ŒĀ׊J9>HZO0.Yx>vMq0>XN`-*?U>Ĵ;'N⯲f${>m6~bueO,EP+¹Q5'7c'WP9 ]I*$ziQ7)O q%GxJ-^H7\/'pbx!_ Sʢjg3RQں& 2֔Іe頞*҂G]Ʈerg/8N풆 zcLER7_qnϨ#]զ,؄ ZN<Ǖd|8"UCF0MP8 ؟DKݬK崳9KT꾞X{͗蚹ii/"H51 v8cXe3X.yv] #]@OPi$MՐBjzam/7:,|6wk[=r Ǭ8=ѐZQsdV 7l8$.{B/O~l\5)1 7^#zx y\ⲾEi6$wTĥܗK*oVrDZ- -9c'J =Ȼ͗.Rݎc.0ʫ|kG֥^HoMݱ />Bi n'\↸=`C&dbREBb56GL82gU^\]=^,A ̆yF MyYVO@4DQ숙lp/c.|;l2Lz5#o-tFw$ 1AӃWs{;׫*M[dZQҳ)%0|9 ֙bDru%Sk ?zɮ+Rb @J,v$|.)>$ύU4[cQc12#545k> royO#WD14Q,>y?Fٵq7 RK3~dž ܫ"j}C PhHv1a5{~$֢ F] aMoR9+LIb^g 4uz<pp<~e W䷽e㔧]-CO|לM*V,qsp,4@] ɻoA& T Mow̷!:Jst % B[Dr%ҠЬȳv:'fE?u)Zk51W ︚lf {zմʂ4*PL7;V&\.7 wZbE} RF Dy}T&8$O&@'ռ9?s! -aoBš/4Rq1Ų/.fzL8kpBg'IG~^"T <<!C8!VGA w"E lz_9oOtO#Ò;5'"okM!hv#XpeSϐ|J',~ {5Dx"$f/Gm1w"k^[^4ѱ42G {;qSa*CZ?lWubA  H- y]۸5mqYA-,:(&}H!<.ʸT^( 3l]"Yr.>N #ITCȫ(O ɦpDyo-TONobU2<1Ňah'/%wgXz[?B&2| ñE_)I C,Z٨UV-y9|$XeIjݵUB|фㄹcY(-fL@:՞xX0MdZSboӱzUmcz"a54J,AάPHBbڍs+0PEiym O$IsErP@yeƨnv)djpV.-G=Y+ %"b REsnI_EQLC/V\*O;*4Ngk] Ls^Nom][ׇBG})|VAŵR' HNEK(dUھ'!hh-4.pHvISS;SɊ_k {Q/rwH%%B6َ8 cYaFh"V%T#$S}+#E[d3:Kn%:-dݹqgebV[ۮJ 1`\c1& cpeo4P0SᬽDPwɺX~!П(MtQiN*FSIrJzB ۝XP uV3t|H jo3(1ۇlˆbѲY8º,7Y?PdEH|rN|K!$c]ÿ<[{N@k=>Vn1tNʟ~ćt.$cC2h{ m+T0C$1A<\>՞8׫ǣ`ypN˃3Z0Ia\M˞hzZbRsgfTD cHAP85)bߦGUQT/z|_8>qyU)wl-imћ߿,͖0A0$ ^FH ؁1orwozDXrՒI"}֦[tx~V[ĹL3L {m}Q*b{x?Gx1[ryHɁ%Ouy"݅ ycb{kV;& 唲MkpքO5x 5%} ?uQD+zzmZ ny(!OJ#L,w*A X5· 3_GpNvT&jeǞJsSx<9'Zh%.ڥ Q?Ƽ/ۅZc2nNh *w}=[)hoUq~b'L9-' }9Pba' wj-W{k[?=yj-+ZJJh3yfh:vȌ)"()P ,՗TξPU>3ujCߴ׻ ԄL8n5X]Vpyd@ 63ٳ+uS!c|LvΒvJKih"tmdf'1ueP2p)2o=,pd@s˟O I;;3P=5ѿĶDF0HhT^یZV>M!@&@yzA7.z6#J;N_UUKGӂ;qքD此apȠ-S9,]ScC tϜ$!&;KDj0䩞| `EMj*ƾrP TKY@*gH%lfrLx<;C&>Tml]P|t>! 1!o\}1`W~AC&$U ʙS=:[eň9ԩDufTLwie$Sˠ}v*_-ݏ)4wE~3DzHAx̅Y-~7+H5@hI:ː,U*5;ʋڢaQ2IxC8g$#^dGƌ1~@ )ep?S>oJR#'T\\s'7=~aC&w_X|hh9cǟcz^& 8[>Хi^|p d+uO6 EkdM5!ɖ1yHL{&*3'f0c:0ΆƬd.gh?xDKV xU9C'`T Lveo@s(&9( 3j'xI y.WsGӃGt ȖMQhϟ*.ӒDV!:ԫ>RW Ȥ(i݃/2;_Z+KRN J%yHD-W 8muKpd^J:ER&#%3E;nv^8IS[M{Wx}j<&h_C\H[|jXog=5Iֆ_R'O&'\a/Ϻ3%H*m#*BKȑ,B-mf ) 36=9XgpF\+NI>T܉7Xq / i- WTJe t+{IHȫVc]-#sט^oO~ tDϳ}`~?j(xeS`\jlE#68,3YIMCd:{I%%OWl:X7/-|`FȜ7J=Ʀ҈6>\m6EUlB]i/m.엇PQXPBR ;XDK6݅l ƺ#lI)Z53;mmjlG$5kt[_/"~#gNjnLրR7| @u 5~6-b,Sop APo=TEku1\a53oFҧLպSBvmI’_g?F[M:MRxo`(+B)H<0Dؗ vnYЂo.{e<f+pDBJdPupE*m(k^ n6>oY-hj~R2mm"eGZd=͠2"y/2|v}TBjNhFl[w%O'n"@,&#їGgc .z+STbÍ6]|&ytSL.%h7"N.)GD {4OSgl"ٸ؞K4jV%.A;i`׈ 6|j9T 6]CdacoQf:W.93}g8->,H= [A`Wɧzt;UkS(-ݛ9 pO PvbX (yB6+Xj6|2Q# .Zyl[`P$Tq10ЧaqWNrͽ} dm]KtH}a: YčYdI+75@]I|. ?-Kivi`1DS  H$Nk5oZ^_i)aLxE揙{k\.;q}?Ewގ5xzz (y2VRtX +)TL~ac{I)g Qs?fMĐs*PMxf`L܍ i*;2kҜufP^}.ry6P:KRSo\[]7-Vx#fo(NsߥJǢ[ئM_Ϊbh$]rf0H{("z0u_P%pCw",+> dx5;p?ֺLv*0Gp# rS7J/z~3مWlV9Ť+)T  _ىH\Tӛ+/y^ \./ ,9bx{Ȅl1ǰ0=spu 9Qy0֎&\ؑk *"MlbI|c a9GcU|d4 dDE m+YΪnoeH/;U v|N!+Y&fʼ~dC њU6z4\Uqmz]s)fٚh(ъ\4iO@ I]/_57QW6/A$*AKR2`R ]6nSE͇)b;('[ fZ: ň]դe'rpP%w =`:!p%\G^{x*M׊kب;(r%Uma8Y~U"2,TRP3Uy u-iO8l"@P=QͲcIpaEPb~n61v 0LP@;]F b3/^~&5WZ4v|:\7C{Sy,e9ؙRޚ*'ۜ ԜE\;Q]+TaSтW 8C*-DyAљ` ՚d]-YKx" sI3qD9s} _eQ?|{7rVx{a3ew[5Zq <Fο;hY0: he.<`C \+!x(Dk[tҕGt lO^g>Pk v8S@~"} <-'cj5 ۲{xKiܫ-t#8aأmo[)xwAu!gAc,4ᠱTjʡew1!-lt赐?PM}{Nm p/hf( HaAyN /.ɧ83B18Vpe=:h!?ߟqqy@wM0&o0I 3 Y@z{&'խ)Րؠ|ٷ?|N15ykrJLa4s]wC,Haq=9<J h׶.XV3WiqK7JRX3a :IV0!n Sai14JYI" Yxj3Э1񎻓JRK!g HL%6IasuA.cϊ8L%yɕ|l RdFw\H9pny^EaZ R?|秢J"IW}MeKZ8)Vԡƿ,NͳA=ϡh-^K95@P18tzؕT28jDY':oyct2=QrZ84n 4N3 PO0&?2&$p蓌9+?\(@|hqE'KBR_Cx,2%v-E02x6,N'ǃ>MXϙZN#B % .#2RbVdatyF NEQ'35InpZ!'{v JVp Ƶ5n޺噣|c.pNf蚌Mf:X opg7]JVc55@S35RStӱCgRLe@?贤,􈃵Rwm _^B Ε\kjǸ+CmW&0A:Ӱq|krlt߱ VO'$/Wj`0tzm*ߗ#!'7?#Ҩ*ms۪Q`x cHvzœig@t(>aoCV:1L]6OzcPٴ@1*0_x$@OaWd [hD֋ѯzݠv+ _I/5ؑU '/,l H ] !"wmRK(7(go'ۦ-q ʇR(΃샽6ѹ!\v$p(|H2(-\vuB:5:ocsI5'4'̡JM/;tO>Fыʿu*uL(n]LJTuEQzI]kَAQk iS[TaY#=-Mxa>ٸKU!t*PH@olD,^${c j We{x7 =J5CYLPs9>2)SM V:K2fBLx"o0;oNaR" =ExX=)Om0L]y|vqB)=Feu*2= {YK5 O0lEKObh.ryKfM ߗ*9ecv+ةчWY c{`CR1sYD 3Io`,:`< L*.BRrzek'\E'HT8s6h ^&_[=<>v6!VY\PI, Bߖŀם 4y$>}v#u# 7&ۍyh7 iԁ?fL)@;9UN~NN ^Sv YwQw5BW4_wY.&椱%}]i}Yi{PW`<`(Tg 荠SDnX-VsJlVT}b:âvCI()}6Z(pL[ J f~aqɇjR@&=\q-Xck^q`$|9]&ɼXm8"8_JG??Y7pP˄'ݑcOsT͛3XCr;n%,r8g/E9"fPqmW G/` Ra:yli'SLHV+T` 3.t7QM;C x(pnH~&56.Gleu0Vp~l-ɉxHR%6/7(R_yo:kʟ%t{d$TiVGЬ;eǫͿmR[ø_RFdMu+N7gWsgwt߷Eb.菱\>`>rb 9B+/8M',b,={jJc$PeQryVc _RU0sΟۉǡ`\V@8hFN>ϊлr7˕鸪ތLpuw{u)ԫߢ,ƮaJdȽKX!`>U۲!yW_ t.n8Yso#6u6?PLwa"jE}ku[kbuV UZ RªKB`{mu%A=`g𗫔nZCoYIX.g4$A*OMoUOsttf#*VWHt `48)$j[' )>phh1p:3wTWQE]`a[4t?zjIQ*\+Ef4QF.#DQ%ev+ ^ؾ1g.̇aOG?eBosS]_xEw_~ic joI2B[FIO3o7$>ɉ|Q z vXB!Xsgn0AY16D~eP/W~x%#y/H.3UR_b2mp D*%V嶏c 2dWUJfEXA0e"SHɌuL^"S<)+ V+ݫ` trl~ҢŁ'@[arĹ~VVe';M^:P罼 4##Ə[E->AՇY2S.?hiNï[9Xk9{",;L,]:9xP߾$Ʒ0opN/`*xS;HзQS)oI$;gp 1@ ISSXm93<~\ c 5ձ>{dՃ`ftC yZҵQa&/t*[9b18Fǿ:PlY#d`cFqji[xR!>4E?Ȉ,ayjf mR߷{'"[Xb0xS˜KsL'Fw3>P:뻄T9M 堩yphA&=c!ȹWD~tB!SԃxqW0)>#4ĀئH7n`R6-cѴb{IOpf795!ǯ؜2x .)wdʤ:Sbk\֘5Z-/nt]9ĝ0:ݸEףN<霮E^WPPnѝvlT0i1JP!ڼl!#ʲ,0=!V'9&tT-\c+uGDNmY֤*MP(G2M (t𤋌"Ne Lfs7(N`?Uڡȋ$j#UlS)|BΉ\mEZm.6f;q4~$UyovU/_jנ--'qbPQda#4h5lfyN7jgTyvNN 5!ϷhhOR*n򮬕 RE1GB s BXe ]cQ9%-^Ow4*7o1ʻ?<4<)L%O1nD55QF:-\69xi}J';$RSL6ԇ>IJMfE-MeqOӏ;c]qBil@23yGX>rD v]N.{F(:au65>P^>tƞcN~%Or9HgfWrqˤsuI`KzieEkx:I5z3t{okw{ysä>ʵljhO6"5GTyhJKE*Zץ^_9_xi];/﵇!@]O,ym]ˊT`AAl0,W"!*-,bkw OXmqVb.jP-mQ @Dh}fU(GE;'7c ;|d]xC9Vy"|meV =C="F4fЛ2JDJLe繖5Oyʕ>R\aCʶOUx4P~VID3" ec e^P7`9S{Ti 5$W;+p}eFl E 4*dwWL^x9ƥ}.i(E߲"=9lhRvzzu@c_y`$h_]Ux*p ۛ[2G_%zu̚cB8h.!rJt$$neu^ͩj{W⿠=i}[{Sy?PՉNkj{ϖқ}˨8Z|~?G4_Pnyly/\|F?V糮$E"}ͤ J̢~q/p<=+({T-.q\]8+e,|/̫VKbH ##;|‰%Pb ccpA)s270#B:?!n*~]t2~Myẕޫ|!(|tpn,ǖ+&,h7 qy %s.d4߰t H~J*a,k*i7mH_Iv[g!\ƆSp7}[7y#EMQ}݃oL=mވ]_*daW>kOpX.1)9Tx&:\xJGw!&"^mQj93;ʧymޑcVр[\Ee+S!Mv4LJ&OaTR3"E1b(&m*?QW Y_Ih hu:4o5d+4o~heO#Bdca B=6>2h.Δsld;qerqP( `^33x1M$1WqE(MIYhp/"D!]|h=`F=~^c[hۍS(C'[f.8CLH(%^1JWCQuU[tdXKN`ou10OiIpݾHMWD[X" 8Z淈?sfn|M% 3HM`z_yFm22Pq?ωlo%/(\v.此0%\]8U"H܍V%hvEoa4;aصt4KI=EZ%GyiDᲬyKkyR\IPC[q򝆊 PvZ@X((3ylQIs!2x40T¢Yf]]Uhb\:W Xu(+-= ۝pvN*WG9Sa!A5veMVVyf~/`ε7Ef;6+GGjX!ן-%*UTaz> EPlF;RAw=FZm|8q  yٟ% ʛ? -z_WA ɴ_ P&1*K-5>O͖C5)<ظR4i~{w {]h^qFt#-pپ|VDK]bS7$Tu.E $dhݪ_ɚfi7 -3SFEːsU^qD9jJOS4UlyXs Fhu} t*𪷂8t!O{>!%IPuv+?Z7xdV*EgDTĢ:TJ&!CǧIE4d a}"Q~k=4}(XQ'T8ʫ.~8nN~$N;jrde2Aggh=< %, Y6j"S@|`ŨW+p\\%nd,.(aie]^ oMχFC&_-9T1{0fmk*f咈]35QiG+t.-@8j=1^6~#8 Z|rl9z&T>^9ޮ,H3-~\AW̟Y"X-v+ZS.8DkNm0iȮJ& |Ša描! Ԣz5XNok k'Pa=8]*|Lq#փ.:TJd(!髗rM6@p&YA%f;akët4ruEX@N }rJs&y )Dۦe!%SZ ձ01?B㱆cݎpV㓌MbďB xBBr!C~D0$["dK}E_͕=喱NLZm&X:M[rjď8Y,>d*Uu׮a>iٰ]ԍZn)L7+/utcUX:(dž,t:U$c=|Y>v0ht<몓K,#SAڣwZ f2czUQ`bvat1uw='])0`B) {-zw{kygrRnI"rirYtbvpoBrq@ lr伲{򌅆cAѺIFMnNr ![}K"-5k__)؟W#ӺqymRD׈VIWql)@q, gexM p˼Om-ֺCoqj(`$:zC)&uQmBwLK[edV\&_LQ0gvHzіK=`UUIU]EJKeF ؜"ݹ{ǪVNԞ̷L"ϷՊ0P+5x.E2r>"aY:KȶLb籝D +.cgy SqcNݷfL![)uo9ǺKHRz9UI?8D}!1C ӹ3'Q=6*(u!z&=y%WL7gTzv?#|hFG~xp sEMK0M9נ}FfT> NQ 6zxS:ch/FȄ<FԻ 1EHEI - GA0 !޹ЌS^kLbO_{[UӇy؃ X|O 9mYl;R/2;cV {dg,RW&`{"7cI$dhHC̿z65v*'ޏ"[R܋ ܇fDhOIQ,kipIwu|T =yNȒ 3x^g[ ۬B?N%Oϭhgp<ɋi\qC/X)6R})chW'eAIȲ 4?EAa]\ڢK2$|DyW|B -2Tcя0Y-/CH!3amyFwG,&d<*J&F¶R9Bvĥ/x=ttJm"޷7~X~YV\ߨ@0x;[6YV= %pїMX#@6Kޒ<}0t@N jV$PuG`Pf4k͒fI`UĿ o9] ^gmtXlx5gA p\|]:8lpt cm&6Q60Ɓ c ^y~*P<AâԚ%̄.+m~ \QEjcEr@ ~N?ccq?%ͦvPeccU_nQώZTCc屜Fְ:lz) ,;9=>S\~GeQW념`owKvi|z+aX?*ݝsbyD~5˕5QR\}~X}Fm; =∶mb@m_I1+N1e>O'?Vj_ӳQG?֏qF>3Bd[}`Vҥ%/FHLF[@5]"E%3m¨;蜜=1Z(&"qDS%t,f+4Ne*dL?c&-Vx—0xcC𖤧rpq"^no{.]Fe+>"KFx}qgYՀo7H{U bL ZvX=d2A+ɋRÇ+YQK#1Vbd<,{^3@y<;v[*h4a:۟w>m`k|!uSo ?FM kpcnڛO@FyދY"Mbz4$UV}vMZAx֕o H:"<%Ol5E4>#B @(![ opq>[JCuٚDU /sAs`j8 Ğ$q|C@u’RVܗHR1]쟪v3g.F49e`"%̻t#uYD.'l&ڽX92ЉA,d- H'( Dy^@o~mFȡ <ć,SIB½\ a:UTU \ !5T1R8ҫolP*s|1R yAkpMe:ʦU#C8 {WdRAųCl/Re"[NLBO.iyuyO;WX1FrVȱ0һ0 dB5 ztWKtA5H]^}wS843tPDqV^ 16 H(Mw#-w[Ob4uw@46DVD}a݊ bLsum,J (!dF9}QۍuMl!;zq~ d%B&Q; P\@{qy =8DGMC(onU;`&*--.| NkS Y8͊n<Y gcTC2ԛج> %̪x)KZk>uZQ)[AAwRXJ2K~>d|=~ ֟;QUs.8ۺ4 :lyA2X "с ;?a1DU+Cp酖YH48h σ+Lc"ـ!x(/hb*JS&րWO2 nCKprgߐe'[% @3c`"ګ%rlbݠ"X3?xTauN;K1بS;nEϯ"%̼0S( RDyuyKmx )ivÌz#wh>fڼ|[Ie2*nDsdf%6/)}NG?Z/NlDÔt,OA"?*V*Pkq&q}I?0%iS7t7,uS>fb#Ұ^5" {Lf'A%iENۛz%pSLK]nlN 8X5Vmx \ѺBpPz6VLv;ڦk 9cn2'Um/Q|ж?͍yAQj 0K땉ow[Nιy~If?޴# CS!ָ5`]x ӝHW؞<#ĉbBـq&}C]՝ BNd)g+"BQxt%H1}%4|TV.FaC>̒-crk:P?bĭlN/ Ro[HKZ4{"ϼh9ӘV#~sr|u(F* u*/X;2-#fmxqHx< ciQ&QtUoMf7yNtM vmFȌ3!\^A5 s".4K|/ VߓeшlG;idkf8H\3Iίwzde}=n]="2Lݞ|[ˡE8SW'**o>֓t#|ߖuZ=[h)a|.8AmG=0k4?'k u `բS %8o>a 3}lYM4⚾zi PStk~:]PSOTs:+n-K>}sF_?[I~~ttu1aUIT(N uJ;EtR;RPȲz,K 5e#X`L -7]94Io3p6(|gadB?VB@qkCn@wDG- xHl='в))wK't;s-clq\wPq :6|~Y<`v?o7W yq".˂r7O(yTbVWHxlj94]NTo(RԖ|O[H(U,Ehmم@<m&ˌ#IXr*dm ]˦?*?k;%)XaHixP)60+IJzN`5sciBr͵Z%V<\uO@@gFCa2̲fVOug AMzkt$su.9wCI+_LUF@TݟKQ M򢾴nnzLd6/\7p<1\@loجbv'keVh-Fi(Qೌ,8tkW$a}"Tʶ-bߏC:+(DR]UV?: ƑDNq

}ɭl\ ~d(mUg9Ka65rs׳#O "a!Gt7Һ&ĺ|5E$ܝta2\ IoIdzY(߷s>0WQDm3O݉h#J vTYtv\3g6⡏mC=(!#-.1嘰8V+ yGd~NN\aR'فh4pEd~93"kOO0))${!I7es bZ;p$tP\M&1qF<`:kwTm ` %~orhWj$=\1Y*EwKvaԯеtG؉"`Ɠmؠ%}0 Vj{ñ76ˈRn^[riq8J?gB6,oo}CpZ"I?Ћ`Mc1pr ]С诼~@9Fp92mu W-ՋT T^br_ywNZrޓ0b2٫4Hޮ9dU"x5@vd(oIR'^(lv4ϑTo>L(CI@hH#DJ221#<L|Z&uԔc|~ [F5P;Aa^Gu0X {m!iH:UPBw`#u7~;mxtRqEJ,XOZy'Գ]%(m1W&k66so}Kfb+-$+2iRJEe(B,_t5ڬI %{ B5rqiyU01N4tbAtFGuU+W]OݝhTMqg"I2k2bڃ]$NBo>O50qA8fX7y5G zaEoߛ(O5lTJֆbg8q;[I!*KݪxyrczEu~5&ŎA &C@hō%:]]^Z]Pygu+hr;&(NVhFڤJ2-6"N&nn~D X WjXCgCj^Ȗ2uw"k T1{*0\+7%BN{x[h~嵤N?6 kԀ 1[sQyyF..՞h?XlXÏ_A_wSN;*6z#sjײT@ZeYUkN1lx^ UQîܼ2azLjA @^S ёR4}P/TO`ei2@D1#O/\ _0[7*F`Rq؀8:ÍKQZ;bhMbK}1߹0o M<0.rKR0!"bWȴGKYz^[D?K(ly|e1(NᆄsU4L~*59잃&>|M tZSFYM !ҘaF&uu. 5uwAQ|m RE$T4kQL;~_¼紵@E*;cěI 9@j Td tMCnzr'E+@y|}{%!1j,\p~= GB QlbesyBdK;( ;ί=uhvGl LSaH^dƳںzރ-yX}1î~XxhQfdE4ݎ ,zmwj5u2 #aCQ SAtF:{x}1s>bk֥'WL8"-a-ϔl1d,s@B'spJ2..J8:,g|Mi1Tx1k',E<uH0WKZT螑u'\7ⅈ+BcT6\f5xH^X9vVXs)4 )4[MZD{*GP#NWlR`%dGx=\ng8 >&]c j.E :3rh0*uE>[B QNf R`0&*^6ɠI _R|ٗ-غ@  a{5 WND)ā%1zV+Z`6 %cqStB 0_kwO=JHUHsczتEP"K8Y0/*uDca5֪.AĚnzjz~oC,LƳ;?rY\0ipU٤bbN3a^j WiM\(t|GyӀ4(|"-#'%{'X5m֛ N%-ȦC]k.5cr{j+SDXqgȘ<eشX*ݮzo C_-ISWn-AQR.!j,zsY™-[P~A\ka' YIU+]f1le3^Ġz|Iɢ Jy [H%xreGrph VJr̿ Ww. ]`es6|NHWĿ 184D5uJc,Rfܽϝ莄 *>t;ԲEmtv=jM Am7L sZ+]*mp u ]Bj$EZhAё2R&! E~@)ّt{,El-.1`W#X\*l.Äߨ$3b1D rĨj׼ss5%|Ā?wo3z`FfwѴiº ˽ASrԉy}~̾ kUq.pޔaQ}>yC3ոJIV<U;b(ytz2Z}ޔu.l9ap')w@xڸ`_ Uܨ#A `*㏖I{eƽ%I4;FTB6,a- ߜG+ _-IB!#yVzV;ȋnp@ySyMac@9xA&7 }4T#4oBS]3om+O8?,cz_3bG*KFenEH/̦!P&p]ADT7fNׯ3->홁{prDTSuٲV<]on[NU}>Mˢ\== $|_ F8:ZO0cfg#kh~GͼWY>!)Q_Ʈ?D,˂쐁N98Ⱥ=cSʴ ?@i95o2Um2X% 2b8 z01>N5D8☸Rc0k3D43p[ 8h9-Crr;eQ@00^vz|. %͕V79vu\f=0v_3j|=w_,d1SwԤ 3f[$*[nrWm+\{ ͙dVO8߹n01Ph`Y0ߚ11!F7=sn ./ ܞ??yEoq,DQ+\Ҩ\j2:gvd >Th)j#^XAB1\ #EVo LFwfc(LlTh kHLNgDM6&!GhǘbORq5@ѕݹث4G ?8򽞊m)9(kJYrL׌{s d]1]2Sþr9޾4? YNTL),t"t{|It>! nԽ C !3YU#jOOdubmIPezFS)}Bfu$d~_ NHdX Z(53Y)$PE>{~_୨Bqcvɼ—.2iq7XţT(#H'c 5e.&ۮ!S{1},a7 ڑ}"LuX,Mx^\G7Q^pesR0basF>2/KL( -ܜCZhh.0I@^u\M# 3d@۳%lDk'4]qU- gY#>~FLS곡BH(c[)R)7adgv\ dla{Գ@+6oui^u Mso F8I%"!jEJD\׺P/EʟDj6 R:JI;l,WuukH‚o'K!$`yxIbNG,1r!M{j?kdĕҵK5nJ*:'7ʁ` 4 K{JPGQ}h%P*ŕPA& Dc@91Z'k`e-o0%!.!3R ߂֙9"u!E$?v AV <ŧGI`r* G7^ ++e&#C=(rģqKd0iD=5u͹6M5XWS(/ -gV:>"sL|޼{;."NbGoCj_Fv(y8~M(0 IH{!k}A@O'/5˙OaYg62K_^@p)RI썖s>y:޺cudL6ch*ms"^:6 by$hlnej&畠$!Wd|ޕJaeI:cv1VљY6{QLצYAEJY;%0Lh3ka  ews%ibdwoS*yI_'! &6{+7ƴLWIBeQ犴 0ح-c23s`𬽂rS͖ .8xVeŏwm B48!nJ'uT$#jK(03]41A_ɽ1>0 '9 v1ArQm`tr)W_JΚԂ+/չƄ&FC I]Ua]! T^e ԉ,CL~Fb\Ozd:nh/6օdzgrz] w<Od\Ã[.Riq"FȀ/;ͨPgKZ7dSwq5i FCm)a' g=3LpHH!Oɛ;P\fW;tQg]7@V枔孉j(#vޯdg;4XO5f;XqJx'gخ6B_:Aܱ\ õl:*3x,DytUDaB,#-tŦ&7yvu`8V `RNQq}Sh*?xϳ OY>fafy)"q6"DY+9#q@~d =0:,p1Q3*TPŵ*eѸ30\3^:=d,v 1S~ wEv"2+zvתBqKty&1S.^GkB)`JÚu/y5*٫ 9$V9!πG\-,SV 0"'m/C>]ky'tJ&#N*@ S0MJL'o\2 KH+F|m*` n_Q\2#J'רL0xyghfj( _gD-qvѤe>I}{Gor9`$&Syz;sd}2 B6E~Rɬ!r[.q!Te۶A)L'2ܳ *=46ebavbйS4ݲXyw -8 Bp{JoF\ -eP8y)u-cMP4uaVpyAr]kj _ {@r =?%iE ɩUo;5ؘAnMt ExzGuΔ%?He&E(mr-6NObVHKxaQww ۚebZI*ꊤ}Gޞo}UeRqjmr#&.ȃ&4R!,Cr@pܟ_rᕭx2*#-b׌lg][CG&2 j{P;c]'!k؁5JUZt n'dS3gӀ0Bn3!Oe8aolb"QzIRRX*e ] R@ \hZȨrӥD\`7  0<.0 jo47)@3zdxZz~nYQ2%,bł{8:*͔li櫤Ȣ~S+ҥ2} (2.C.ӵN]7 (NJAlS6?>`o ̈́G.嬭`p\@[NŸ7 ~e/6Hw|. vDlw&`\u9;J2s1};@}ֹٝd{k|t$*e>8)9au"5D.qo~}pxﴰ@XAbp+o7U!&.Oºj%/[WWJTBY9Ϟ OF>gYƅ̴)YѢ>-/ĺRPhjI Ptu>!I,=4@x]\Iq|@Վe( .0;F%NğU5F,IʱLOW|5pܮJ{سge^ dGOs*3u= lDk۞=aU?fh'9yc?R eJM0rfĿKB 9b?u0tuxcyh'h ~`r>}r0[ɯ-CΗ&}O{ #lJ%YTQbQȄ!B+HV:2@띖?!#6B*NG+ۯ`3~֔iMH˹XmsR_MaY*Nk*l}6U#dXiҮ^bh{d QZ%mSDon*B~tKgjŠ3y {|)ܷS̮*3PU1?nW^r8<X͡gL%y`3~maqvP먮_ee;+"YyEt nMu2FjJ2j͐ |iq2YHʖ]lK 4ҋEYK!9իd6 y^a aA> -;徏{I6t#vH)''/'J̤-Cl3"\X "o'~U/y(3S* @г 8W@CF/͂Is4g`8_M] iX~&S7RwE",h, _5FwyMeJ[w=W1. '&R 7xC손DR1ʒ#;c12uhX:wck)i^lrkƮc[W)ζ1"6\5fr'l z7%!XxW+^0:U˴RQO5 ;$Whi4賈hJ,>@g(ߙ A7ic@VD%(M<o0׃&!fbY3NR}6r0.YNR랷mbƴ,_s:h:X(]Qz:ߓ~KZZCk^,*F }'D"=\ c; k(q w,ȲWlNN.rw-qS<㸱qgXx&)"€?A sF,f}?|@~ye\H+O|Hp6`N=|mKDV$KhӅelR#_PݮrMZ)K@\95L_lL8#>hg ')%'K}dUwWaGw KTyb.<oR_0MM8#Vښ5CY?b8i|gGM+z P*)[ ]zht@'\!XI^/D֥;N*Is7E@7@F G;/VR'"\^2ED3~jd&z}ݽE(#[f# Okc螖Ƥ%o=!o ذ,&UWy2ߔ$ 5Zih?r]G%vϹOŧMskd7D:ƉHj`DFN0wW8*͏}6XDH&v{&͵^| B4{eN]; YL}3QG]Q>YENwYUJkvYW͚եl0%\¦w)Nb38hT Y6|r_!G}QqV ق˜Zj2-Aݺk 3Kq,֨GaY'h=^/F0d,W9r+7y|Rym8KmZ[V\VbiY^oWMoH.OJEbyL%@F*q7H3VrTԬC%Ht!uT8}xxL0}x)^Z1!LM%ZhRyKdm<u$WW'uNMb@뮿JgEQ|_*5nP|OlYGíIVΟVs$#X$D)^28d#T@20j+ RII^YWB V7OXswZ$ų6/ㅾ&״>Rg]ҡ2%Q{G JB^35=yFvV([lUnt7tA( v[~u*Mb"Zm\cch}?2 U{4#,n8tȈGf"~Ljz|R5ς`rgʹoݭIP`tɨ3Cl@ ~Mh'1s by=e%'d%-I6_zK@A{{瓖HNlĽQUHvi"6+^ѶV\֨bo@Q28:6KSkUB) Q&krnin(˓5j0Qa1KW1K{ j>n>Fx JI:vnۢY4$Dt;Can?Tkb4GIG$ ^J9.$ԣ'%JH`r`{ η7T4NsFؾ`<#u6Λ 4zH0/{ʣN@_s(׾5*u+$03MFARlj[|wu26Ɨnyq@!і9y?:FEzXl~Q1Uzk?ZΰVw8 Dt1xugo0d I %k,gݚkU1fQJuxp9tgb hr*Fp Sf̔q=)Fww@X)w‘ > 0l]1Zw>p}ׯ[|Re=qhl%+186m}M@'<5  G|3qb`,#vC ̴UWz3߿z`Jm2]4 '-ow(4j|cO·jgb1 9VP?,[iĥH/dל%0t12#h;5Aݰ̋~zV )7i8dMkpN9;P!! +hRb'Kժ(1{畮XU8 6NRַ2sD=Z}X a_)-1u4Jօ']3C C;C Z >~&8>/g .H֨| \he+d/a;9mPhj Qa i%x`݈{\ =CӲs_Q5Zz@.\[y5\tgL Y7# ؙ[N½:g`sSqڑ )ʷp:$MWZلP"xq+XS&7O+vnZ$0#h-ӺnxzaqE=tmrU,pnu^()Eŝ}!L*J՜#_(+a4Zu_7}xz2 qS-Xv)rJ,@2\X%Ta>ƪ},n6QoLV9f8!/I{\I\ؐA}2DYV1*-d`vRڌƶOR;'h,xABPlLZ~vݴZJj1}E__2~LHRM/fI<ʛUItKC-z8sq>=leң}{j@N$^O]U`&I,uK6}_'ܓIUL(U㱼MIz:0+ 愰\ wM:SA VH @C(v<@E\1clb UAi7rmf\{߾>ю^#+jK 8Hٳb<H|/vqo0O:1%W? K~-\Bf|_sh%x$޴uA)9m9IΞt rUו ])IMx6Y<+'a l }DWshdm4UL0u t11MVZV@hh6*_+/(}3>^X@G!XY{;p&tUj[ ۔ޗ.ΡuE݋w99{\üΪԾ9{gqH7t; -HUAQHEC >}K*_e|9& `hbq - K{;y"^ǵb/ʶlۇUf ^_'@%L'hEX/ASGA^d@L#77P F2jZ~ٯׯ_vFzEvd |QuE"~xv7nTGC K{ɑoPO?"]#SE\~70p'(-G7+kp  r6I0qRO?ER&͈ f\Qv pRh`/^Tp2ri8ax/%.b+.S(2[wK- H8%(b܎49ZIxխm;XySa ;7@Op.~9!hgUl=C]ΪdلARmϏ' 3BrR 3/$d-Kmȕ05"8sY+3dcl) KR3T&h#Ί9+ǘ8x98IMZ? Ɋ扸Z\c8"?/2kZx~K6f%yy$owƼ\ձkw I}zNsq Tr}PFY'& AZ]%T$V pڰʪ 75, q$ &5~3A!{RϤ9/W9w+Z9QD<K+3X6;̅z;%<e&$U3뻊_\?Cx `hl dXˉN} 7`F7-- eZ>-Kw GAIE~9˅w"A!2+ s\GtGFGcYr԰⎊lo=,Zw/m[O 6R'̚3PdԳ3]f"-ٝI'j[trDHnyڣB~֭oG1b:yyվ ĒAqbjvdR%V]ֆpQ`1)ok6`PУߋ4ZD46iFE/х. IyLTF55{Q sTZuQnsUE8Мw*֋ҠBxBgY m1i @Bc7FΙq ,G#M!8Eh A/N.XJIppE[o X2A܎@l), qЬHcLBGDR_`g]6 ~nhQ`Â1@),0W;M[89͟TX sʳ5^y;K]UA_ʒ#@B_кz<ʖU!<vnEV.[q0YH#FN wz݁΀ߕ-6(*`4BL*s8$w9΋3hh4Z [sq}aNܕ5Yv}JM;$Xg4(`C]2 HԢѡL$# j!_]eooJdB=źfa}D1Ҟx (N 2/~Щ߆^21 ~T:+3 `ƾ\Ѫ5th5*c)CM Z֞&O2CG|fݳ)AŚ?~=:d8C+y "G[!֙8c=12)fH $Tk+6UKy\djҠ.+P$VS@Y3 r4*DH*KD0YlXn0"@d@>NVh/1-0u}iv  ٢)۵M0Dž(!pP~c&pX''>nJ%=M H$]0dS{HJ$HY^y\Ce3մdu:wfi8hDJb*!RSܪB]O}!pA I(};2~;2Tj4celTΑ(,ӿ.U-5 Gt|inDPD F`c6+äV2[-! kpY[.%C( rI`F *Κ|ٗ  h2Oa8)U5Xp0$UvL'`v-%9@dew,U1HUkgϕc{*]+;n'#Cho]1̀sS${󥼁ݡ_)3[{`>VqBZ}۫\%:q='V(^ 鹑@kw=6\1:aII>ٔ0˲dP`gQnWVJ I$M^綫 R .Nx8-68Uzj)uѵzOi+uVی#h<qe QF F,Q{(4ŗ6TR|1/Iv玧rYrfEL[-uJR}!8t㕱rG@(Z FNf-6EtE+AplƎ5i$h.)Lrz7.bsxLet@'(}(WC+BݶQ.^=R|A"R'aD)rlp&$&e;a`T)csJ\)eѶ'Uc̃S4QzeLV˷hX)_'.ZCzHjccGeT3D5VH+G b3/ԺEѻj/?l=$2x;fMH%%vJ/='F<{:ꂒ;8PKgV﹛ wz{NӓC9l2.v?䌐њr&I.|gQaFUAwb3xrh?'G  ۵ )F7|uu._f}BI@~)egb,\sao&tS:-U`'fՙ0d\Q PÍn܇9(ģ5x:MK!v'S!WfIMpHqzw`B=ABu5ju.{՚q *yPg)Vt=^yA!`M YMw)Eue~Xr.N)f7*3L*g|͌=[qrP̡53DY ?4$t{/^UHCA8RU8:8ĶaiMئ 7_fV1s \9P"0~/39/Cސm@EH@~0tѥ)qܔ&2=S;@B0=`qrS4'/&I㊾tV{욋+4 FE1~B=63~pp%-'%qoچA x|Lh 3laEF.jMbh6O0iQf2O2NJe1G5W\`COb @:&5 lQ6\k{Vqy:!}ԅued7g[T{Bnp,4`P!AJ~`'2h\ a2y{ץ"khEL L&{7=J8qP3<3jDkK D@8{{Eosj֐Tw`!/vD9%eA cͼݎOm P2Zkb/D 6iYX Y{'8.9FGUNo0ilZ;vo6y#YEǤ9 VxW./4f9ڥ:H2qC|̥(_[2@KD"?Y$E ܿK.9+y'WB)Z[M.G(DtyI GV00._O[GKz-Ja<͸0FD^@~ك[PSt=!+B={Pz( q(x?HN@5>#ءs̈wE+? 1"BZl}nUZ\紆yqҒP ؼȠ](ZaC1+dgӡhoדs<'52mK6.ic^0?h #,%9iY41OOEr aEo@M"4gS_bC(VR9m  |\88 UBkK"hį!d}ۉ7l4Iۭ1i/78%i) /.Q>$;DRskevs (ܛy@{OnWSFت=e220h_ϣJII{;PYth y^d̞8P5$uY os`FKdI Rn=son666L)TK)V %-]2Y|wG> 1;_DO WkfO$^ zVx=xH8;ZM?ςiUҹ,uf!Ƀ}U3(|&I'v(_-HXP/V4QI@) )T Jksx*BN4֋Ti(k=]+ԗc=gYZ7zXZִF! u]ŗXiɟGNeAS@\tRNۜENM<`4oM^h 0Ư0!W Pm3eB'vGM Qi4LX6/'`tKCFɞY7w[뱦s6ӹfcilh'v06nQ:IvxG:߻''z O!nYC |5L W+G4W gF";N%`dJjuP5xi 5?^~ ]wzeJُ ?exQnom-_`Q/=-]x+k o~fJNP~~zg|dLW?9藌u_WQiZInٞ@<*#)T^3 S.o_\/.w7 Xw/T{hfqtf?9 (65,=| p]DJQZ*&Y圳 \ ,'lXJᶭ*@G"Pt[icOs6GX (/6M^ wF+S,l5msW(VPHR >}s 4%V8~$jr=! KDDݪKH}AJl -YlG>7;L'J"bDL#B@>WFS0]als;Vj G?-td`3u㿌H+>^~v$oW UO\4+"t`:{F~[?!]jpUė=ݪ%EV".ISę5{U#0G٣ g d> ލ)veb6\uʨu2P᎒}G<|8w¥.6H>=Vnj L`h;E)eDm=H99m>rA$tXU,_CTI⵴& Gj6"%={vhԎi;DiݷGd $U>sͲyG[3O$' ;O =K1&\~Go#Jsbby ȖUIi 3:,2D&ʦrj۝ʙE9Y(j6@ݩ Éqylh"f)le@A˓ |nUO &nn$r{_?Q.jvD~:ͷ ~ݕE>5}D߬S4"Y.9?Bg ncVӐ=ʜ=ziSǎIW]vfޯ7n 3F")[G?Lr9(;G˾It1/%u-RJ8 ;zEr˖0 . <R{!洽b/¬d'fSq!OJʤHκ̈VCN.bIJ