SQLite format 3@ .0:  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 bbr, | ]]Category3:threads=4elapsed=383.092cpu=1159.692gc=47.144factor=3.037zXZִF! |'"]ŗXf[&wΞҌyP9Zm濻3 g@"yT3j l4ӥV< hz@uOzafu)ӗdFrHBH) ۔*\ ; O ԀMHЎƶH8X( #2sG|L?Afg`i']~8!oZYQؿ{Hwkzz|1E0dp),,πMPj(RtM{jyfW{.nʦb3S׵)٦> atod %p;+eV̏>DBw#e;r'd޺MMԄ#Кu*vG|6"M%3+|N`%cjjU@ɐkP~ aaIq4yO9料QȘ;}ehv a;Ftw#WW,ͅsrs"Zyb27{m~ڳ59a#+!Q!Q+Ah2۲ig|*dD "&ʬr4nj by ~t?D^`eOv/޹$dFPC*1l_75] zҮrCCGîds D?:>D㹙1of,?sm6J&ceR e5[~ [} ˔7<z\Z.ir!n$Kþ#nNY4|z@&лeW?a>ޤ${ѯC"fS77DE+uJG =hEэ~[v.&1f*+6eOhSM:n1t ٻ1A(y49tO$Q ̃e% lp/6pTl[d7s$%{s9K(BgSrߡ!77@0L?neҗvʲvdƸxA}R.4z3A`8:8D=3[YV6>(;D*SrР_H8mle<ҷAÊ rq;lՔ#:b l,'ڒa 9L29SߑI%;OqA5Nz5n6XOpzM}6[<k%J8ceř> ̩Mhs.xXXIe]GE2?K]h@ss o~_1 e?YLMpi=ḭ1@zt;r!27xW(M)F%_\ 9j$XsA湪uf,H݌r*qeQʖ3\^e1*yH$WlTЅΗk*K渥C so\X}81<װͪ3V]<8Dvs+7 6jvAjӚ@ؼW9kLœw B{ޡ;K"Pũ$(p8Hj"H"n]YE M8Uf­f?DXIMڗ=)hj5{q3 -1WF> P#\IE˝Me \ 9r9**w\Kcmfv?i#:<0|_.!}M~ܿSh:`mDaq+8_m :26If,둶-kCrO :wiFt N݊#ԐiR(8]}5L_&L^`([GgǕǩǽI_4r ^,9c[%x2|muv.5^rWZu{}ֈVZ>U5;q[o>gcWs^n| &7U7DVLcDN/0#; KT,0'"q t)/Uoj923d;q!Y55e^?X ]Q|k!'©7Q:ewCt}'rr6<t) UrQ&^΂q IXnf>t25@o}O7Ul&U{ j=U26Irm*" xy5OuN/9*-s'ؘWL6<5hK'/t$sroF*2}};I81\fuҳA y^)}B/@hQ)"PmXM&yѤM._bV*(Epυ1yڱ 75(G! #uy_Ca t qamQ|{*iI*=Ѣ_r#蠜 DJnulˢR[O@yÙc[9%K{8F;I\;LɥBWe{PnJu.Wzt\&JiВy)M }5z#09t`3wtt]tj<.c%OhȠ1|m>'ޔ/Ym:Ac,Yy쾰:E@̿^󋄽&xm3Δ+鞠.0S=7NKJwa"og~?G שgvAH48Yq1i]_O=xOU`:1YNRXn$Z'[$.{YT?ߴyN"‘.m~y Nbj϶T~dt]˜&redɖsbMyiV矆Ȕ M!E}1E*7"7uE@ߥ1!r2QAv-(N:@yi?3bBbK~4u5ҩmS!tlɩ4w鿶XwaIt͈#KyUJ?aa6=^,^&c &J͊{Ǜm2z|Z⠻C4sBP-"κfb<'*ɾ[ECHi"RO[;3%vV&je:_uʥ7JYύQ@"xn+,PjMY1*.9_Hu4uH9_]u`S H5x3DYK=ue *cDb±`o'*y18SB}4bŖl:ifq:%Fk]ʱ9zTX ?&I F1tnjM,r_``D7LU%^V[pN<5.|@Vb>- p - 0WӚkey<łIA7脕? kD)H7F-TDa=e7 ()ŌJj)69G0Zwʂ1|9ged n>s42ဝxZYЙ|Tpt&ygA1AoDyWSNi៰Q! Axb)ApgE2!VUcǏtdםݙQQ]9ۥwEa-TͭxめDY1H>>k^Z%ɾ8@qBnE [\l-LEpxoWC Oqƣ+s9!δWyJNnT =N8z7qɨ7"IY 2`=~7f{[Q]?-:<^ԏ(P@t7ތEL֙MFgBMxt񮆠1ezEaϑpg\fzIb摖/;ѵFq xcV%)QAZ=%3'J lr.{~[7f}nE彫m+)\-ߺ~@#C䠝58Mr|Z/z|<鉭U L7Dzk 2JƓ,NO>48̟GU5 >䜳1BMWgDQ@X"sb) u]2ꔬΡ[X),ZlH]*;藙La'77di^)M~;=*WS-Hl?9ƲYe}΂ Lu-tD\L dt}x5T% XK-L 6/SO˴F7i?kcaPh4dMG$#,azWLu#hm.僢6j(ۢLO+5L9j8pꆒRi꼿+~9Ed|ml"mGdD,x2jo!L'{V/s $(jS G }O~x /nqVkؗ˜ծ"߀J`0QӦ[d&T4OGKz)Yo飛gfD,SgYZ7zXZִF! ]ŗXiɟy>Zrv]ŗXi%Bu0fD؈ î!WX<KmG@rw-ojW#sfI|Yn?^K6tN4{+G$L$}Og":ۨ9#do繝#Z yʾ)~u٪c6!CU*b.'g#0i+Gq#odѼX.v^81gH*8D ]rlzY*!Jhs'ĵJ7) \xĿp"-pBbT΋%uѸ6KeCH`Y&~۟:[g/l0fF "BݔI*t|F/U԰>9K "&%T[ y!!A>HjpaEz~8==ewA%;gɬB)T'fRhh*ݗl{GwIכ_Il8^MEq[ JP.ﯬ=:=ʏ0Ф1![V1S&1RQ)$MvZ"xGpsXRFH%r;qF1)uJXxT$S*&VO]=,jЖ}( s@qehgCҴ s~;&*hmYŬJK|ͧ\,ݎaZ,W5)u!81jTCu2\ †O$ct&&D2h_v.%|} ^Zu@ϾH [ q- < T}G:}'Ępj^c7iŠF,LTh QWؚ=M(5E,D\p)`bAiU8BvkȲtF+=썞3szL:x,qx(cÈ֋HU8B04sp2K E2P p?z5K9ڠز~:F/wIa yj(R~ yŘS 5|(}wݒ:J5Јh\rEcɆ˻1o!O_6ɧCxײ?f@}:iM^A &WOCCz37cDy=+p]?L? Z\"UZahJ?~M꜓7߀4?E~x3JGvQ051AMDń>BU  `zq\42ʫD;f\b{&QXE_k44!}E?SDa4ojs2Wȝ)DӮ2)*)cxb *X!mxTlM/t|\KtG++nrӳp]vJ)6$UTz*g΅ /KLv?5v*GGQGQ,,%n61`Ѧ>^(OI^ U/ Af룟ڶ2K _ԖKrԯ\lWLZzDB| ڧ9pQN##׵I0+ʘOA[G3ѥ{8bR59ǏEޟ u mb5$wxB/n|*ԩzྻ%?IMUޙ⃵hzahOjx-Ax$"YD'O&fW|A3$JQATUȋּ~~6B]b¦dςۥ cIKG\߸N"(y;oc376״Bc]>vEW{J2D|;NlL&I@ьB0XZzM<ȍ(4N˜liFJwS#@%Pn~cj!;cP?[U@ifU,x'&Pv5yZD ڑif+_w͐,Uj[49~i%EN3tE O@Cbu^]Q|gdk +vM@M5p6^zs7\-G_V.̉M6 7-#%n:Eɒ(/'?ΕٺlNl!Ehw

)^On^/ƼoRz8w1-zc$j S^zi2 = 0c0vQAZĻ5-* vl$ȰBnmQ``3BY{ eOUqI˽-}D'*Ⱗgj> ԽG&Ummr s%$ZHfhyY}|(9͞8@uH1<%K?j5֍$[IP$ \*vR C텇pvlȇ1(z{9vF >,;Tx 'F?'qn\M52--{Θ }HJxPSu #ҿ`1AX>R`$s  Yk0g:@,| . RֽI>hsYNt 53r3mciV^mB^-ֆ/r,5+`-*K7b812 7AhY*UwT UGv̈́h#Vh6-Eɭf(@,J_Xkax62&tlK* Dzۆ=}ıMJPLRяV1QONaD{`:'8 P0@ e#s7=ZjEC]$''ZJζ>M"xek@~"oie!Dd}i^4P#OzŴ ͰGz3ms*.S")\V[in,.wde+V+1sn$)]{D\5 k l&Э e%\#N5>\6Yrk0OL`yaO0ipAu%b5cYF5JgU`;}*c~4FK+ @1#6lT`,xErWQ\Jla KERRy[IW'MMn훎_FMVxdn9Onz<:Nwb͞j+EtfJԜrvS1re0{G ?gڐHyvUer]*:hp\GQ9-S7*c%֕|DM?]8ܞllpQW9ݪቡ7TXkr`]Ѧs[$`95L$64Sz|x(]$eh .ygf}-RN#$U&x)"$ eq~C.ukvWR%G9 ԰8 O~zDZ>'c|L˺e;(jzx/*ZVccR 6CP@Z yvy^x]0r@ T@V*&5Pftr{N"OagdY,9w77I޶l;keIW 1hQx s). We]lBżC 僓̢D[S٤*wԍs8(R3J} ]oE隡%a14v t0upCt< v1`?&%a^4Tv{h@*?+6( w-:V‰U50P&T}J{Ra@{~'6 Ĉ `2d{c=nbY}5li]@J+di^K|n̛BF R<u;ӅZHm eq}Ta*^QN$[ьL Ɖvraj8%.@"(5 ֈ!^[?#Z)AZ4G hg0ĘLv)*8 J0l:Egp_26Vl;Wx ՗i}-Q;ޏrlM* #g,GCmq8raٜ,6a\\wn JY2m2FGlCdTOvJ6(#3^29#5)A*sIAox\I%#jcPo'1!F pSrr_rѾ+=$%=igg` `9] L]XKW׸ivJg6}bˏ~jRf1-!Òբ#0d*]Ttz_A{ cZ.+ZfM}i[5)'+2Kؽz}aAc;m2"쩧|@yUveM \ɂKnCX`5ťmCNkqg`=8&cr5 Ftkp74oV6: AJ.Oc&姩<e83+Qt TpvBDG4Lkī &!EUPR=˭,URnyʨ^0%lf(yd9IxnOo 2,ÖH#L$SO¬7yjpl5 6 -o5$*by}[Ah FqA C*QF--PC'rGqMglHsh\(k@cao73A!:!r{4w0BT}P n 5@]*gc-:lY=rߢ%ŦG+q:ug-$%;_W]NCgj0Q3nAʨ UVw Ѕʐ銎3.ܾ 1v>Y.@b3*Z*Mƿ/0o"J/}S~qeVN{!Bm^N\01Ý}LiGʦߞutө %o= y8 GOk@zaK|I1 s(Cak Og\& ӂȷ:A & nz6jZv5]PSp^rϱ ӰvIy0%K' i?(^\XM [3<L-&;Hn9ľlߔ7 Ckxd}fȎ_xyTxok2ki2d(aI$!6Ƭ'܍% lr[n 3@=j* ppڌnU0J`:8i$8 ||(bA(p߀H]@BIb'1£#ݹY ItFa4.<ŞgIе ]^d}?{j'e:7m2rǪ$W"(jQ;rtԮ袬Vܔ J hTiE KGl&2jb:/2E)X)h8gVQڹ"f@=gIJuM:C^m#,xQ@ew#503:+SNTB>\ro,M#,?q;P(UEr/mjƓQpy J"GTH:7_QUzw=]U@IXPk{H@ۇJ"5&N3q='L5@RFuSAPj T{ ɈnCs¤ aSkQ)0u]mb((q$bܻ,?X> C7'WSECyE" YУux L,v,7}05~hXD[$|? s#k\>uK1>eu#{N*А*cD\8p'VReoNznyem@֡vvwPDUM{C**ms i|cX{}P(FAe%[Ax; +^ab(} Q)(5[aDY-ktqQ* NKU!~qXPe[Pr~`uig3rW*FV*eZwb\\lyXS:%!$D;jf>?]BY.la r)A?0 砇~¿4hJ EM [m/֩-pZjp!\av>%M7$^W–Ruj+IwRJxw3+O;}b,^SLu] 3pQ8 -J +'8!W"/j֓p;{Ok}3 P%2lX &c L7V y 1m&M8:iUu0TMQ#:4ɼ qJ`[q}4ttbZ?Z/1QMx`wmFs\&<@R !nF6-vPkJZib9N&R*qD~`ؘt(ML) |po[:PqlPG(W` 'zޑmax;S֦=<ݤMmiNpzP7]m;sJj&0\hT$݆Gv|R9XSkdYX* Wҳ@ Wv\s!h[Qz3UFiRͺ5|ʥ$lo*g]ϊpZOiG5w$*f ʾ#ޣR\}mC%>yN8'~D(Vd}f/`{*Rٳʌd~9P,,IAqY ^Sg\aO8 ut섌Dda`]TƕW8hC4qJ\ g.$=I.ZVԄP{fpOLWK&_5S*\ zgswD'-. IF8{%=N?(WGk/ >eI@H]^+O=͗v D+[k,:3((P`8}}m:muF= YzSCEIs#R2;\\)L_ K(KCF'hQ} *ULdK̢[#*DfW+l '2|Ġ!HiSn#2J;ȝ4_Kav:L ,<'􃔚ebIYG4৛շR3Y`3oJ_UA=C)+lda:QG'6K}!,ȀՔh⎫Or_I VNnswKN2gX:(ţ9 TA tZ?.32 X+߈5bPc082i^<=hj-@ޝdza+DĨ&;Y$yl_$#^ډlta! *dHe1,Q+xeAfãWjHBв _^ɚY=.kYcOŖG-O^FWQV|C2;r4=-sO_8k `CvAςrŝ4%%ɢ΄ܢљá>O'],3e  E)Qs󇹌-:cÒLuGj)(-[$7I4NUZ*vLm9pw#[h"_B7Sx &MpR. 5o 7 ^\!>䧝$cU_b58NXpB2pn6=<КA4[wt\0r—pZ/rqaJl 5Š^lrr[I!$ ::Mb)r;R:l&I5*. *:R EC&q*QS ΣRiO.%~9VڣuWaHo3?(,"6QnwD2F|OeX{6W5?p(!hC X:5gX<6`V3HEm{KK&-%KcaXQ)nUPSoVܥ&9q{yϕ,"#' Y}H2P65?Bg{чNȯpCsh FQKVJlu d.0XY㪤.T%C=] eeȬe8čy׍ Aeeb$rT2m.}B~f^4M-˘&1qo|Sy(2yCJX!d|½2{|H55y[)CMvב2#uЫ<` C:8GVQuF0Qn;*-Y=*_Dd%^Q61ϹG4= cf-kq.-pxQilS( o2 ฝPOUc~(e¡nD-4w1dT(Cbr, \Nrv4p U-裉4ņC Xy 3܌ m'OLM=0j{ۉesEt7~W-M 1B s,K7ɥч-Kj)ui%#UlVfb3ZvZ$F/YcU%y$1sHĉ(RW9xV H59)3PA ,%_l5$1ޘ:`}"kEMk~'){Tin5NJd k}̡FH?Xg_~F{+33ߤ3rhާT@kw9DH/ ?sM,͸Ke{"ͨmU/3'Yyՙ-fȅZRg􌣗IzXTše&CB&oAQ ”\tQ@f='b&4=: xV@=IZO2~U J &'>@[13Z)HX-K?sQ~ޞbn+IAoEq#a)tt(@,[mթ\I!/,0boPo\+Ls3rEDɂiQw,Jd_l ☬y2Ek˧q\6y%~S rSk_9ew8u4{&j?+)>  >2HIR<5.̘nm :.O[z9X|6 KiyCHyhFKp?݀NhR}I@{!&L^sJbnn$p*xrl8ۄm hAu/K>USN`89v$0?3, !шc+?DXV9n$ s\Tj30?qtN!Z/ٙω[}v%Z%ưկf<4[uOʹ.™ (H F@!?5j }cn$9rZWgXDm]Ɛ`oZ}_" 6I_/m !1 r<#'jOp%ڣ4,<.˜қK.RIK7 ]sغj؄qti$Cj[{z|j9Pl$` (6 %w#);4s;mN*A~&V5ۡq,CI0p8j\"QPiteڟt]+4Ǩ…ͥRGqKf|B Ck&俿nv(R; ?0k:تV6UOfݴ \ a᳖qU6HWIH nYz6 y&b8f^vM-C1*3VŤH"VIx#),L.+ma[nIn*5#kA t&]QvHua,R ;=]={) \>HH1#lݙ7 3K >-!fVTfJyE0Cj8xk)U}Gd(p <0/T7[^E Ob}Ͳ GgXVgR M6dž `?EZ%v~8~)Ki RZD46M+NME>wCc;폄K!EDq,*;dhՀBą3sW7:L&T웒te_6z6/SX䔃 <\ %6ܓLYwÎEۅzJ7 ϋu/rh_f)q΄3NRrwʢۜB- G<2Ha[aɵU&wUߝo4Ls9NܰcK;ن}&J`rܴKhv *lȏ{/!"@ Ś%{ m3+ӄ?I$!1W/3x녓d *p4|K|W5mǿ3q|M93i 0ʦOD,.Vx7t.E} L} wzaJQli xnn.ST?K&ya)l']@(u>̔b`ݩb;_AhĘޠ`Z6r?dcpX/af_B II ւ&r݅7,X{毝̅LAK:KNTފ5i!{J5 H`B-iDZxfoUT6Wpp *O6tׂ.ZzӜƋV:'V?Ȼr7΃ !|6#HhA jdRz~.f-s^֮D/6co<;,W*A+m,㢑R\,R#0$jqH qɡChR r?ĉb&ɵbk /=R=&VZtp{cQ|{k_tXu؊ғ~E[yZ%.0|umT矾5 (m}L _M?.hvCXo-4EKQ Tma+Q7ՠ[c44-CGV<+]aBQֿ // JI篩#_R^mʅv!:V:~Twj(qr1bDBgTXzFqv >֒Ȟ?4-C6h0? &ۮtVPޑ~Ơ[FpD~fC`C2F>%,`D}<H:th{V佉tI-r1K5V+kbIXm=;ZMjMIa,οe^q-j8L%W{METtQHb[:]oKHYM3\)IdGش[$]K|Mt w=ɱL Ozidlcky>/ M!>fk Gm ?S}N{|\p-NmրdKl')@t.odZ!Ư@RiX=,%N`Q3Yt5q.;y fC?v6]f5U ל0W96[qzqP:"P'k̶64:V֏`3;_)7L;t(ܓYSW/3?Z^ jJN"wm&R˅CRO;X6*8J*8CkJLBe2plՏWm1r:diK3[u%Y }\ bVD΅j< ١n R,X.C(ב-|@/Soz}EtY͕M ~cӎ.S ǫfzY*YKFB5#tȣ Mx^Ds}R~y ]3J:~Bo7=%X; t'㏋2*(~-:T%NE?GÁo}#~>mvI,mdM}҆Hw{2>LpeJMR|!Xl_9FH*p:\;ǥz?c cʥ{ϬY)hJ&;j\ZJ4nNS;>{av)1극t#k`A&#s-js,So~by2*#p4ʐAU Auڇ "Av-RgUml$h;s ,z;Z_$N,UX+6gJcg}(?H44@fقHa?I8Fg]hy#b#`T7J(F+D+M̭eDafiӎ-h𢁡|eMP^vrB >&꽩kh/EJIGES4Sq_3S .|t[l ]H\0Jn[ަsʠOP 3D]Ni$J ] [XQ[-χW.C"a@. lmhntİq T2 -.߱ ˣ-sZM̎uZ k6o $K](_Nƅȓ]u}_nFݧNew Ft`e_Zs~7!GklmfJ+!ŒE:wtI"1he CBo U>2!yU3s( YHIɞ JFDַ=t=vCX$6dv,7ֿ5: Eto>DKw\ hr5<@}Zd)Ne5v@q+j=&x] k+,Io6/aji_9ː'MajοU,6u\J(ZXF7'/I#{ڨCx ^@%D@;Vߌ@ۏP(;~s"du-U}kbxV?RDn~2UR@gmjR*00yILFݔD̸2aۺD؏yGj:3z2m3V\06%dDټ4{҅ͅ4E;r]⸿EpiKs`).Hw $1Y~Hoш\q4ꗡ_eY*c->6mzMa )KΪ͚Q@7? F c<թ}y3H 6ugS)\2yÊ;CZ"z|5ɨR'Ujb"Nd F權bV)}ѱrYu2m4xSq('q0el w*:).,:9PUʊnNeB]Lgrj+B˄߭=z9raqږ^ޖWuM5k7<8+HV̫ym'̮מ)lJ|Do%va3W5Qd^<©RЦG;G:U:N'ZeyQָqo_z馜n-Ǡ'^9lt}u)E-Ѵ%H er"-.2˛S%JP|E6GtC/0/{1PY3;dph6j."HH Ks-7;]kBN%<jL]e\Ʌ3`#0S4vn#DkJ8>t%r[d o_wgY*- f<>Fo/vG2gȂIJ,6V+a*&@)~2.W?7$CF-?OZƠ' ӶW2?(C?uk;Oi i4"u6 G ,#o; BTafR5;"U l8SJ;d ǥ'8/͟m #ĴҲZH'YVhF4΁mS*)v-XCj$ITVgmF +ϛePiuoNG!d8u̔} 3ຑ;޽ tK+JV:?ӓ=>h U(*x%^wClx$CyAyocĵ-m7㋕-)J;xD_ ?`$˂doS}4iFvO^=0@3\{L|*_bnV4i_rת hu!2MA֠~Ӝ/? fjis'\H`KsmQ a%ISgKfЛ,4zCVp=Lة+ֳY`jEMLIT=xJ){n#> _UgPkZ3G08 pdeA$n}!Zmn=S`$&z:dB#,7ϭY*u8H7ʳc~9Eb‌?>UV@`B?N/o]:JZ[VẢpAE Q4:n3PEfVv}/pkX õtk/S0`wYEx41mS 9{i7~mTNGDDhbOIܞdE 4tguZ <"c/@L7&N򘃓^78i1XQn q}&ܿKoa밪h^-,TJs,#r-2JX7SO !ﰚ* Xueai˰դr>ⅴqvq[vga&/RFJ\3%p[p@O8;|2+TEht@?iq0ZrL&M ,Ay`꓏f;˜, } "*z*ZL)4T:>uhuצr tz=T21+ɤ7n uodkRaRڑUW\צ?N#GQcHR+quHNؑɃ=5I} YX38ĨKLjze^"T4 [Dt]ۀCs S΃rS@N_َ@Ƚ"ׯU r&Ǽ_H[¯PX4TEA3ȹm$ O~&K"ynNH>?`6t!ԩ$Xj9ڜ%Okd~8_s#1R<%:YCTq{]W8]nT~.zI %ډ[XADut"lA^1,0Y:[\;-ǜ'XeN:hF':`Po$ㅝ6j]ok_%|OUX ؼx(~|Y29Vq+i\$.c_Q`NkpL<[ ELw IlZ8q8Աqgtb=)XEYy +8[buGy 퍜q I9x6s:5X#̖@sȎ3&_d6/-773BI0m6C8c6Xr0e I͔ o`P~`M0n:jCm$ycj$W|xH):0kWpW{+Ӗh$ac!< 5-UiOc[nҾi$̰ٚ[?W XإPp{m覊3^4dPӗ OGTۼ"=lP4S/lot oI7_jMLb 6$x+χ4֠Ӓ %`{;0 IUdW 6駍Ѵ8! a&0p ߢɅ"0TuF=9U?SW:2H8Ua` rWi0ROݳ] 8{To9jw aP߂3j} @F( :5zr^"=5|4/n ~c2bi3Kc ez<3=&aMsi DIZDucBq;qF4gͣfЊ9M)Plf픰&(NKR+?_Ov(I6ťDΩ Q yϿ9Ewu-og}/@PX+ɸt')Klɼz4En|%q}'FZ pjĘe@K .fGf,=[^jr 5Y"p%/쏐C+J/ϑ@ BcY.hnީƾTƎmB$7!^ +$`T6ۻM^mS(jʯP_1m>R*cnj!*lo9~06^zd¼"_ᵩT3tqRcB FȎ"o <9e@%-UZ*Θbi&T~TtwRuX21ex,N]*c"q!PE;Zo@f緵q-9'Mk M  V6yj˛f6lWA!r¸s.~1>>6t͵[ho‡"XA 1fؒ0_qqDXx|x6{v`$-lK$nQlh nk.BZ)`j5ȫpYR/$n Tm!0@Hw׿hsGVx[s!Hvwh>挥Ȕ_%kc<~ޢmmd6OYOB_PHaHTj8"\tf?ݣ%d*?}cfIgM>3[[R֭qD-gڱCO#'v%2A?<ךcpD ҚCۃ{&zS4aBFSEI hp+LizH*\|P[͇ ]]Bd,ۏܡ<Y ɥLDz]񵔳#-r=meËibm/ެE⿺69쬦@'C6[f7EqYB5o@V!<-wE }x24ޕ[p~#o8MZ%XKG/MVٔ/od6rҔ[?zd΂ ,4B7*s#Pا9w&" EUlZk5xvXí%(Pr)frU[[botjqEt7q /zK!>URǴޚpEu2ZȎhf(7b %w^R-e+8%W%.^bdċ#6k_Cצ~*bcwй!fǵiU;CǧGOj)ejar}L$'⛃_q9V l|'}JQymO;K$ǐ%j Jr;)4pv.NPtNmŴ}6C$z }EqcPeήu>.爫V~u; b]'gXZǀOY8T$hAҺ0԰8O3/sHsj~ *}PJƜM_P8h!J:r[}c2Պl]ʲ,X.;rv7Ʌ N:N'D]!3ph?Ę=3zf?l4QV *:78 oFI1žT%#6 ](f(/v:ҟ]/MQ viB͝3n5nZ<uG$~"9XB'-_3V7Ҩ]46HCgItw6"܂4Cjdy4Nc^m}_nA4V2rF*o/~_J9nٴUwҙjI{=^\/VGۈ[ h*Z Im'56K2ÿ+ Kq\W6זiDC<5ʻ5e;1!m!dũ9B1h$9%oS=Uk[#Q%$7$DXVF6S"ntnkC~E a&Huś1ܕ84:9 UujgϣBJ$jw[ofHCQӘZu8~ⓙZҏ[bg/mP?cuh t{WG6Se3% ⚴jS\q ceh{e_Jtf߈ .ލ@E %wb3?t,a~N3ޞ?&_$}syy0qȢ (uFPc@;> ɡWSLbIؽeuQg*C.hd1%ԖۡA a\ I܃J׮pyzDi,B~PPʺ uz87uFVuIK%sa0yK$b!9D ?p . 'x?|EyffwF)Qpd{sVXtŁ mZ_wS~rߨA /]۞H\(l0:T[`$yp'|}1,%RJ$ZM+:6?) 9q*iuB!գj $n\rH9i\rf6:/Lϵ[4NS"[]yo> p4h%^KAskn ,9SmM|vlJ@0beU6SH1*XЖuɞmd{Lj:58.j̖ǣ FȌTQȆ/D}϶ N_Ht<R}xEtp*)=U[^oFwm7m3kD 4)M3.p%xFZ^ʨ3@Ԝ6`FS!~*j/;ֻ)6ЩbDH$8,)xh꽂!FGl;ڣm‡{v`g$0׏S q{8mI]@b;^V.NRDbf\omwJ1{ZȊzX )sIkBnuKȫj>4ラT zk-8Asi x? 6ׅ)R!fVٺ:ܷ:j2ji&x諂謝5.tF.;rݮAB$6-_wP^,ƎQ49{8W>RԬ(u*g}*q5O~.c}U [C2bMbXf)Ik`fhFvHSf{Ů"*iw}; {і5E(l7;>mšox`YrN2yAaRS$9O A=.XKiww\an,lO[sxFم;dNtabi t仿OAZ7:aH1pUgz8ev5@`hb.+dw2]P4)!ƞɍ 3'}~`Ris+Bi ɲ; ПmѯCa$MA6lˋp+mm /C1𯲨{/ͱ@0jT y750YxWblaIFoR6]Y wD 0`վŀxxæ9 -B)lҞG:r%;@Q_^a9ЖD&~Fr E9p)hX y]4wbÙc>z,M-brt]VM-*G'@ߜOh8eK%_j } ]e1ٖ7IB!LtmuנhNhC~JE D _a[jrdlp[ Ӥ3N%: JckhZg& @sg͖x_{`붎TDdUY-qJdr0$IHV<5KTbdM8n _zy"GWs5px,]s{0UQȝ$uDbx 3q8SXedPs.CD}ӽ~ M -؏$ 6Fnmɳ>\d!vp|sp}ܘjxP^E9^V;/OiJ1xu_JS(k$@O^ʈ5wZ="N]<=o|ə$\B7wU\JIp)-GGjYMHIQQY&XhlviN-?-^J WV&}9'A?G&yhl,hi(o;ĹyimwNpUAe3`7㻁)yVW$NH;6р!C!YMs̜,"j;iHׁ$D ޺Ҕ~a^`ǂ 뉿A& Za' HAL[>j@+`}S#r$ 57ϖfNW8!ۢ=w:][݀[ n!|dFe9ۡ{ӳQqh6 Rw $<_F.V*`ͭSǚPlr1(oљzY̻2҃Ε^VK.EDܽJ Of+rbsg wloe;oXs-$"ӣ\kɔ1٩  wZ |_){V"5s`2\ QG9R-ԊUrXq~W_`hQUkÒnmCBg՚rsb S+L&F2ōΐ%1)> qyD!T zW²u޿-0vۊra)M4"ezHy@INXIA =\樧3x˻08!5gY*ٗ\&#R]2Yo}#z yQt~)J#)dGҿh*m .Y]]ܬn P iwf+AcYb =((TcI ,T~˧R?\xsl<JK7=ۖ8v/>yvݴYiOERWɮ컶z1 & & pR=~7̈́q){VSjn|."Qe{rHˣ-5{P+WWMNnk)}_ oo3Uml| ͫT lO3pа@]+=4&"Vaˑtd|"9C~NN8:hEҩrI0^48!P@Bs;6̄NH_MR^H #Hlaj蛩.`|Y{QVX), =}fsMэ a(;=3=`jkC!DfnCԄՠV :_"Հ@9z{d,ZI[@XHCܘ"09lI%XDp勽jՖmQH$7J[$a#&!;GbB3;H*O מqD|C`q/ҳa% s,`ѐQKL~2'lflni徳ZTr̰AphQFR }sC^st ~碢@KmC+\*>Ä;hP7FVwDդ-* l#?+X}m94oz9R-42)(\1Y*}AXfy[9E+[2n'r֍3}ާhb 1 hj`=v7?pAgOKdAZT7$x6余d[S"2B=\~n>5օmkש͞*_D.G2¿~9Y${bZcoRʺ(kL%=U' hXNTx_a/ S.:>B/[_Sݮ̥,< ]hX x"mgYZ88d3316fd1319524b3829b409d0266d7cc24f81eddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168a98a24c5b8cf208ae6c16af454257967034cb5f0