SQLite format 3@  . BBh77otableisabelle_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  $!L\ ]]]HOL-Proofs:threads=6elapsed=598.115cpu=1436.360gc=189.284factor=2.407zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbVxxmΥ&FE}9HU^cM[ZHzr­}Z*WTyM2*Lp?=>Szo57oew=7plTF4Zb~-21T蟨Y褨>鍃;6u !nNkCa<i` N YZ"Д쮽߹q](bޱ.m';kl慯6u[jIDXXAsF;GľizGP0T8!/+㏏+GMgX>L\ch]45L"iS.6l䗪=Wl/MgճURԑ.PC*!tKJ_;%!p~TZIVeuʭ2ӌжIzsu"Vo4HE^vd4cv+ݯA=YS;r 0·`^fT!vV?j=F!dc{1 N$b zi֥Q}\Z/I/G08UhN٫FPK ! i0\^y̒UZO S֫,F"$gÓ0@VVE` 4l K} 3o-|9gkq`T/\ȗ\!ތNǶ%Bm횀]Tc1 YG)JOe;EcMhIM=7?<5(w}?d̃[}I'T3^Y3enbSBcop=[@څp PC%$rK?.n"#Ja>1G ,눏6nJQly¦7EE>dEc֕ -NL\W ĵf""nU]S*:Q.i5{)#0|DrJP1Cwv-൴DUk|XNXڼ{$I`DX͜%m'^wH+IK=mp䢍A-#^:Jcw):+խq.Ap.*Yq%a:LhUAA[z::oO$m{xhdˇ:e/Љs' <`}],^b$/%(K,AʭnoW*Q"KД:dJyGf}(cRJ9ҤXDXLhڷ0Nw wU'9t:<b5y喽:?Rܣ66m譮ݡW6;rfZ:u'/8R:翰;AJ2?1E6ZULAU^LZ6<ђɍVqcx7@¾MknSGȆ'Q! }`Qm>ׯ@[K|$t%|RvfgyC Iy-,baWܲ+9]ucT|2:z][/Q"䫑*dQ~_{&r/o6k]XUeN:2L:8bO P"ë88SyF1yށ*]*2Ə?UgOŔ=TY%O D過fk=FT0i}&ǥM9NZ5墌6f`l/5ȥІfܴfZ2 {׭{׺8\hǀ"B@e?~B#y߄*'{)Ts?6l7yU0d6YzD*]M yU]6[yԋzИ&¬F]0FܿSjrL_׹p -(p_(h.;]}$/7 k!GM'JCVNi KM脨,6W.ɭ"Vg8_ bR'q^Q%T`n<*릑$ݚax*ݩ97F^șQ&R,arTPj.>LY( #!WCa8|H[9xs-ͲhƽnpN;>vGz p'r61o+0I%J0*dੇ HBbiZHs<gnr.قYS\.:nOs}?A,;ﰊS5+ c켣G`Jff(Q.)eもSrf{ӓ_L<+a?:r|7J3.?l|1qwtPBS|%@GzW}0vUdk&s#s54Uܯ¹wk{:v e\?od`BMZ%Jg*O 2$#JїJCK\E:KjU|A? fq=K2|Q4L}X[q~'jm85Ftf+N.yu!/_ͨ3C0D`ao:D:H$!0#9x0:\NʌbގLC|kn,jԮa@t%!1Rohw %MJg|.py@ ;׋DG2VZF5fe .A尭_c[YX,0HsȔ^mBp?>@.);J>_ =B9#GAf0[ʉ^^%z:K)7؇sda(+YVi MG6 yRvHεD 8h+s2ثY2 *,DAPJj.N/N$N di@ht9yK .z<(u:U7?g`P;17278ݸ,&>!=G;咀nUR^1"<&VJx^@|jz hzpǺk»\ƋMm߽gWL =yc"* 5=%I֕V@FH#Rfr; Snoμ`E0!EÛ t]aV3[o=CMoHg&$3S{dU֦ª Ѣ֙'׊0%lze{Z,G_9ͧI`˲3?f3fU S2.ߌ7z27rfឆ3%V_̚{ Lph1J+ʼnr l XM vXǓҁ_ uw!GhFH/zn ;X~8(Ko6\ʨpʮ'dwMɗsV$PbǸ꫱hc{t~ bsZn4:$o.!sg~U#H*ʰå}%AF8sV^ХUY>:s,MHRw1 rMgYZ7zXZִF! ]ŗXiɟ29aoʼz[%U>EM!!Bxۖ|7ǥ~dgJ h##~<{VD|eM9Mͪ PȌ4! ;h;? /cҔvJJr\*R.skɶ1]MK2+ ecX$H.;q';l#s+./km7k*Їna/ U%>0:sCцcf`DsS?+4RiB#a#IB0e1Y p%9AȖDc;7pk!bf~!-z/D K[ BbxҘ,4ϙ^j$+^i^h ?VMIQAeT&\x1P o{n ,#nb ͰDKV/t2&YϹ$Np_  $)`R93}5ȷh$̋VȌeض~м-(=`:-+ʧʾ汱!ΞC!\Bsw͌Y_0*cZcIT2Lrcc5Jd8pќɜ v0`kSnw ) ?헚=Hf PPm"B$f]KPxFk=EhkL~S7&U([gc;>t\3#^) ]%*8q3• "i kg !tb9er+Dϔb@}FG )aү wg$]5ƚ(Mdam?{€/)#(ʝOW(lٻzrSzL69װv3cqUtTkWVC7Agz-239}7KuM3h *Qa1[;#!U2ݷ8< .n?h6sj )0FaD$uѵH-AmD\8`EZ?t@!%W]rΠ/a峃4ḟ@mIC +%avıpŒmXh-^7]R} Q@d L% P-N(j$k(w/M7j͝bݫڍ#xA0QWID6j0wKV }JrfYQ:{WւCxmBFJ?dtLBiSljB?#R1,w`F ȐL~>m߸e1($z|-TĮauً8r.‰bi h >8 Gb* |ZPTBVXEQd)ݿƔ35q^LNURwQo٦ߵ=s1C9JQ/Ll,N'Sy䈧L2 3gYZ7zXZִF! AEt%]ŗXi%6S+j9;KUӀ$+j_}`RDF94KD[4}c7m.T] pDгUϱӟ]NkyV ( gǕܮ?^¬ܯ%lhT&3oisjɇ,L+ʴ#m z+(0]}svK_t ᐬ]&U%ykD`<瓀[{t1y)rI0QV_<9Lu;6aƝzǶ <\+zNW{o1bl PɕuE޽0jxf^v]gAkgxQna2z_,"Ξ#\tQ=ۨT&@XB7xXFzMd5YBBuQ0mT\RƙxTSwQ"PL-Z v=_I Fu,,5ₐm4y3:֋U>'0?@ZJ Th}<4IU9+r*7'[0YרH^,BΞޙRr 8{4l/dl$!@&Ipa tpm3B;OltyEiN?*eEw (4fӟ{q<3B*}ybyF42Zeo9+-Z#bf(F[, PVU"A ags9\QdbX+EgF\Q&ן N9}Ν}s֠-JfYAMjnW nF{PU"rB<"8&q Ǝ(Bl`/S|ar|MyQ/O/%$G|DI8 \x٨t(d l_=ރ5|tJU6s77UcVx}\hl8\_ϝ*=W>@`L'z,4^afiSؕI_u!'e|wE-QAwiC=ÕasƝy#*š9'J"OY'u(!*n -18g@&wPz@¯>Uo .`*q|+%^US_У34* Xp8M.BM fրb8"$x2 mM/aY LB[{=i7p!k-Uf]ȗ ]1~cviĹ[:6^4iW<;TpZI:E1w~Os8p ؼZME7f?2EtV WdF6֮dEeqo  Z{`cL,7,D(t*Ԛ$53]. G{3 $Sy*-S~jrC2L>Wk5M0 -cOy `F/פpsΝ ? I\况I qzMr˗]&E;!kzUkxMōY~׊V\`I`&0L~[O%2Pq$h/ Arܼ2m;VlQW9rz&DYPoHT,_o }被>xEm+n25@?1,W}x7ՒQLܡDɅf8pbaP[Ww.)a/mB.fFT$U s.]&'6rM,' *7"h3r5~CS\,PmvK92̮\WV5 )[=oZ |5CRݼQO« *p39!єpͥd%R/,&-EF`in"Jͯ'Ӣܰ|@ bCAx6M.w)$7:a$*ެIJP~Q2*,mHA$# ӹӓU M՚$h-gm[+gT ])>^ N?bُ&(_= P),U_Gz ۪3A&3aKڰ #6pf<u<ӻ;ׇHhТPScNO$X<-Yk[RXB6bqwRbR&\|Id2 TaJn(SS2\\dʀkESU@+oa|&`4R\ &Ox jit(MR߃@0 D*s;޾ lk^B\Y؟&3XjU`}?7f e*]jߦ䳱0I⫏>گ&UQj*;a e.=+V䈒m>J%Zު`X:IgVlc`bɝqUj&3Jm|G̭tGc5I\^BSS~hm*:|2*#nmJX!:kEpvrSY.{D[}z/kj@pTWخ'xoDt֮>PmQD7䙉t`YC}2jSQg@P`A]2=CkmŹFىZ~!f.~E:=!1c 1nnhxА9,Znoؿ,p%P*Śsa3R˗\&D:RfD#"J@;^<-.\ <%=Bn#$}E@&xh?; \]9RS,޿E龋Ѱ%!O~G5J֘ *GyaVN)Vvǣ&dEO&T105ӾL|!P,3q>odfRG>(0F~  *R|:K̵56xbsҥUה-ho`pTljJ1CT8sr"*2 wKV%^0JYoLH;= ~XtQ|TH=lW ݌7Bĕ27XF;D!"[8Ȓ:= >^?fB <:YK]gr2iEԞގ$_"$~BjUH}IKCŋ7`B3|i,!B峽|G6Ʌ⻾C8D.kӘ3r+c=}ЄG:9$ 4{ҝ.gYԜZ92-\yVn,,Fo}xj~|jsUP{"}jX 3Ms^33#ybM^rdO"6%IRquŋEP@4p~<3~e"V] 2 `EM|65ƅR+$=;v(˟RMk:X/ͯ&p DžO.^ry*- {{]e ZAe}eW^nT햢ƾJ晀KaKWz扬<7M1"&PDcَ 0[y.]*byWcVvp!+!f*`(]>ܯPLj'p{: zO_D(m覽4zVNw/ }acWf7i )uXU;qdL_BЎP(k}h.&;ݎܗ`N7`xm_rphyS~&"ف~#Bl;Z5J"(&/b9]ՒTRWoTPrO=(QbRU{鈩DLSgPGFT- Yî3;Mu5S0 w\i^?!2zDM7mO 7XB*PYT ֣0& `O@4$0fcsT/]gz!0FNS̹a: C@kzX`e-U$[`/oY̼J$MؾV]#4Uo*d/_OD߆t0]a!l;<,c\Մ(L,X[%(:АB`fb&Od;B0 Mzζ2 , 9c@GCoA}kBE&%Gp>FpDTv5f@|$҂RJTܝRc7C/`Bh Ǝ1 ;LS/PV aoYT.9Ma2&Oh/@vDƛB$>m[-L/1RUn懛\Bi3HcLA&w˂ -ո nmP͐[|[9kg1cj!3zu(۳N00t) <YH6(Uݟ\\l L I< @aˆXQLTc=@ )F=uYb: 5̐C #nʹ#/ PI+~herpЈRB3TEQ=Op@Z wO9V+ko"^ځf##de6m kwQ?EaT.%Tw$^NSDr2&5E|0`x'6Ѩ7 C!DFYien g4AN stNW FiD0uM]&̠o)ER1''fWsEZE)Ѳ{Uz0VRǿe棺oC"D}I CoUHHaZYh˷a1Ԝz)x nrU}t+\ [cwlb>xBF+pZ;luY70*-!+)b!bc3NZ$+ũݙkkp/+L;itoȴ܈0eN`ΫdDaNd$+E% BUߖd kTo8 ĻB=_!F-Bʒz #.pI\>gUMk{MU p) vޜBf\]+J+g 1; aAC aj,1a6^XaxeY3//7Is)A5##ggje]AGK"%e: h^}hno!U*DF94 1q$<{K~ ʠX=Sp5y=2D7j8hh,J(oRh}\s׻B>C͑byŌD JY؎Q:q1(Y0M<g4K d8?}6xKA_8mf,Suf 3Ymԫ9 w=LlÕh"XҐ&$0YB0,J)~r0j\xwդ$|}GDh&0os͙Yok 7]CNܴ{7Fq A/-8te`ugϵF]W' /R<^d$ 6XqӷDk"+siqxʅ-%D{4Ppͦ-M>׺4 %`Po*|+('߁pkQ:ÖLXmFʸ.w-*.b(>*j9Ǘ=JGA*ŢPh<\־ Ym[Pԙ=YZ2.\镼&KoHd#4F%8^͋R}p@m\}ʫI.ȋIuƣbZhVJRR>Eh4 qKRha*eVynO mYUw=t駡V?>yAp5pٙKvl9{ɢ}WE L]sjs;#-Úoqq+0u.qc`$FBx_6u(]X62%/#SZk#. `mf;V0 au9 >@'ߍM&B)wR,I/*0}\'v,$S+`*}i7 ^W/`3 .) V7l>*`9C(7ؕK3,g59S4AQGWr΅BV^ZKAVE"_Ŷ4 CszI .pbr&ڋۓ麃/hA5LV FZI]&l(BP^}e Pċ'H8]p7qF7Z8KST_Iec.B}shݵ_dQJCw*}:U㴬v1(.f/i>\=h6z 0݆'J,u7.ج mAƐ!!y.jf׺G ;8{pvqf$l:MM yW Nյ),do&P壾Iڥӆ[lЎ,'֮xsU!LlZ`̥/T ]،Y R~][ڇ9O'RHȲ@,ޅsNhgr.#qPY\=iLԃ| ! d1 vt&p"4hGDw߾PZ;@TMHQ!>B<Nwd9.T=/\>)p8*;ēl[[] pp?XKoP๞_bb(5ƚ- %AFߟ'܀DewmDg=BC>EikFw>d!ta,/CX缵s+#1^2>mxeϩ᫻FO`pGګ 7f C)3[9eAuWzJi@YtךfZ(@5Yzuu`<3Y[SoJ1˘Ԃ~U|zCAycPCd3ocn5S:M\!cKH= Gk{́vu!1IR>/E=.Z$4JvK91hK}uo)8~=@8[>%|/<93h?N%N9ֱeR(q,b0s%[kpՃԶ&ū^FzpT#{2d6{c[whV(+'v #xϑ8es4,&]3yP-[G6JA0;ICxFqֳ;BW$KC15 4Ɖ4lʱ^NS~Y[#&5)qu*vP!Ъ"Ď|&rIMl! 6i̗0YA!؂X-`F x?ٰPBcsа#vHҲΕ7N&WLN b49^C-PT3q!pdWٓK)ՌM!ZgV;w!7ګҤQ{y 7r|v5xqdj4gj0FOhR$qZ"qxE:)[ c`bVC$nQ2B [+ZLQ<4?|8#uzv>܍Dysn3-|~q̈́۽:7JZ B f 7&zץB}hڿ*۶+;~u2r¦n*&'?ց&7)=i.>)̧*au7(%IJcuvOaDcFqܔ0\;nLΙǨ$h\LH9RQ#i߷)>hQ#G[*ڠQ&ݖg\W VVPXG׹ƸV '霣b}~Js ܵH킻͢ 7ОN֫K8./ĊAITCc{u.ζ@S2hႎ7{;yf7+m:(Oª,b'?\zIױOdFM(Vm>7Eub3&v,źq?ޠOkm]5^wu&i9|UkyH:1C-!EG˚XFSX&ȖJN W\McC7(!.VFc},<Fńu{vdGfr\l/ZRm6$6uf7pb)2֨V"DXβ˸#=nTgiH[#]oW Q5[a({=%2}04^) hY_*]``7!&4r2mb'Į-OTUBXۊtIm3ɄG!GR{d)1640aϑB؅CPwl9!90J`(4߸%XjUI.y͢$T7A233W\D_A])M9#\p?Vi|ocK5/Ԭz#KK$ %__7 OE $@h^Tڄ7ʱlQ: h^1ޜʎvG1֖|C]-`&6h%RH1:9&ئ]>E~;H[dCN9/ӿR-'tHIl铭<u :r ъ ^|qݵ(ܕb(UXϴlȃ>M yznOTֺ&-98!+`ZV? ULmtMgk:]ߥn~KWn $١c"5:f7fХ2; 3=vbp"5p4vDžPẀ豾*j2T;>C|r19u)|o5C^dgX˗wgGKFgw.l' owFm?wZpw r| Xάk8ى8K*fyC !)5z*>+ȃ:|GʸH'V_֛I<% \!%MMGId7+{8"dżEvֽCy>8໻60>Pj`%)rwbo=vC@z^\"V<$֘u.T6L[v{n]ړ_+@.|d$RIrY`}ӯK!Q6䛱Z.p;9 !{ӿQ޻L^ $DBt2Jm@Fo:mq7(H^C([BEv0%bnP=@, >ŹLշ&c8sh4Iuuo2Nxݢ](ԇE39!vwoVzܴZJ*ˡ_u"n:4^+ $2}{6QZ xD2W(qĘ37.ek XeQGiSHeI(= Ұ's?([kÞT0GYpFQ^]O8 KAJhL8xt.ZXoiYHX6ZNzYN;Wv"Z>kSzli}c8*әu Cm*u[5$Dz&~՞C0ÖHy(y 2`'\oNlkZ+y~M/񬣖s"v`X]LUR; J~鋇;wczs8Qot^HtQ 5I9~ѩ#>JYnjͷRW0O}bf:,^Ɏ nCH!J u_?r ,wNTT$ñӇɈk 5H"и~ٸDs`97K:GOֹ^WԙW^^)3OP%L[%|mRKBG1Q=?U)h0X؃Ajȴ3|h$K|(h' H;Lr2%z,lU r?~,8v%nnɰUP^!UxVʯkpPHy* Rc7^a~G`yj1+;\ڧLF]rk\ S*'U+&GL>pdg\a+u(n0}Ѝnvݽ>mUZWЇP+{Af  :&2i ?၆MQbF-V]FMi+PdDsi $7q+^Xc=ZLEpgٓi~ -L[P.j۹l1ВxנP4/2&Ҧ6iE~mgf; u_l( l/J)k bBM{'5PҥVs@(1=8㼲իF)67) Լ:G4V)2!t4EPS}߃(XZhnjziIyw-T@=A%pWZi4\C;F&d|lz+NQhO0yzH 1!s hTa_M[.;5iT~G)>]鸩Tz7ja-WēFTzWl޾7qT}j[@痾`߂,!;d?؃u i:hI1-ޜl W܇ճ͜w:"P ]%lU~` m:K_/af$Jʩ;MjtHyY~zx,"ȼ9c|np!Upe|ŸrBf'S~ܚ q04u<&Eqh4SN|h.ET4NzO}dwxCrgʂ22Ȑ!))#t@Ii3JtYN1i/mvl>D|$;Aۯ,!{LPh?)Oг-e< P?OwO?x|$W=*{Ht^_o1Dn gfy׫ʎEwhʫ3=wƣUyEQҴ0,m|R٠,D)Ph).*;YASߥKwad+L$(׺ oJPJQG ݉|j )֓f*Idsc^癒W0YSD)bM y+娲37T`[EƗ0[s>gi;q 7ܹ"7mK} 9.HB=Be yW tCvz5F}L+7SR5?G9 I 4&5a-`-PH&dCWFB7_Qm1,Zɲ32s]Z81LsX"_Vc⧱6t!}ߠ3%м!>hW%`DGGt4D_ BԄ6b|Raw7^PIx3{ Q*l(qh zg Mb5T; ܻ@/{[&%K{ pULorʢغQ&},mGD{d8ʂX,2(baB3X0xglY771Go:"Ts58xK֣j,pׇ֫ˣzS>F da\ׄ nΗ [DǫA@.-t&$#Np}ozx4 0΍8bP]n!>cmX/EJ|5{.$󺥷.o"dU&lKE%헆Ӽ>p*'Ojc@8׌l HKSIJ|.micT , !oX<_bæ]I)97e1fd?B-=#G5HMS;+Nϥ=ec9V7kAD)` Z#)R`y([Ws AKH:?ӳo>xf뇍rS1!so%X 1*cC8iĥn4O1ggFYXR~B`6+Uz7QzD_Xqow51Y]vwPW4Ns-nWQ =̭ѡv^7mW=ac[\y')gEE&FU_1_3s8| )17Jq1]F {9N+8w|&z `TA50ÅgA\qLh2(J:C⧩ =4P9>CʞCKy(kBTG@5pR"!T".}S\ g;-t˩u M"bPYp(_;x u854e>LA;8'C,>Amuc_I(4wK?]T;q\EEfEɟ|&ľE!jLvv$ϟ].l b}()sUĎ&;P۳?_@o¹"kcq 8kq/ 3U{^og l .oꂛCm8ލz}1!3;póͼl%Hc,3"ߘ N}+弢PM>x٤fD^/ke?XlA'RT͍#iHNMV dX @4GN͘[Ę3c% 珕$*53ȧ_}n0dU15ӑ[ܭ]៍`L-/R2@2p\$!-WMit8@1C%-gUcgzhL|S r):_,5dTȹvYOI4=o7-lΡրl2g'`][NP;d?ɒPKMHZx7Z.;%Ҩz Fș.i0mۖ0~[ːZ't0J;g><+A"p9@+Uߙ_hPGs2aUoǐ\Uj,i+XL|y7w0"!r!'+bIau˙8_(~=ar_9od@Eʍ* [U̪?pQQT zJvocXd`ʶRFauhRYhVN7r\+1XbMnICClQ4v= v U;l:g-j]yd3_ 09ntDBEѐ?jؗڽQ'$3NbQZSm̸ SuLK)S-scB>k'SxigKȺ,;{:oegPj*_),RD*K@e}DNGgܒY?L̷xu ofgylCyۏn|ôVUOIw2lj,jN?ODޙ=45KW=8t[b&ƥ֌^1c@1;9]]pߥ&걼1ZN+yq 1Xw;'ƗmTCGJAα7@ E{({2Fg']H1)$x$RfX*e(/H7OY;պx MA"~yM#_B*r{@" (rdIj4nudO<+MNǶCW_x;_쥐ck|) WE&=8-*Ugҙ& 15Ƭ~*Qne*B~ys~},C8x[_hMtTPPRg%Ϋ+[jRgR)r`4]|SMEAck-/H*𸫹} n]$HEV"aNߢMynUke F*]yxS{℈oǸ3O*&0nT[Kϥ iɵ?ïO+.-R8Gy{6JWv py|gSbNf[j[; OիD| 6C o\C*1\fz^Ltjon6SPr+1R(YEYrBHcĖG> apzrwB9U?5a$4!SY8|F: R0 F6%+2[]]l&\0__| G䭂L\[G@CH5G\?Զnj}2467|4 q8@^s.F )mu CY:PLOnQ$ =OMj qG3O9&,gu+%' B@s Y9F k 3GTWn^\-Y/f$5P}"!00mҗSWu^8o%?}̰G<+TTOYUqǬnhʏDE(SmxlJR%lVRWf1ׁA"B㔮gs9R\03pF$?4at{ʯsvT&|MiIw+vkV1ȝb_\bn$GjPITHaO7&RT'Unw  Nh7:8[MW^ZދjfܡYϚ%|iW!{RyF6_[7Bb^V/~<攐cdn9SMc~jhSfnUz#TƘ6T;D}%h&5h6Edn%)Q1V{MTv`G[1;O[!zjH,qǭӗx׉ ^p.xI  ~M3)pFrT A\BiY>@̥Au6 C!@2S+24yJB AS?f/SM4sÅ 9dhsβLi)xAp[H-bFr 6D p#2ÝQQmmjTX5= * f8 5,"8n?&WK? eŬ+l#VO\arfE}5n>RO 5iliv'^Gcvhfh&/17/hueĴ_c5*w~>^W4XOqz͑C:l])n[νA.8dQɤp ]&m%dV/8rfxmcO7Dd;,*߯M:.|%D{l"rkhm s5hr,rU+~}Nn݄(fE!w7 \p1.Y#Ӂ+p$IQ5wbFF_W<05 (Z~ԋH䥷YKQ 1Cxt/;߅$ R H% }@"*hf cʫs6j)*sH8#H%2oI9M*MR'vvf]ը7Uv8/lW:׫{.K34B=_[R%ëȽJ17;>Ab ($YMl}_֜;iᄲo:5/⠛>E胔0~6̥Ѷ{KSGq$IY%FLK4i ly'0#tȃQe go|. Yf%teF_#-8y}Oؖ\!&QH袇!WHKT.1g\l(jN/;y^2f9ŝ:A~͐RNȁ:~Fm?02Lkο_),OlF(휷"DxE4 ]P9T0V4dhLNL"qrl s K zlH(sʷ b`n %:vOA)RBP!o5 x꥟5Q{tc.T z'لfUu:*a _GPf-gmu:QCak q>L`l6M:(t@ Y%6%\yYo`2FYM+9Bs)UF:e1.R;B:jqMIn^ٞ:/"u:uUilQi J Ժ3e4MZ'(d|דME̻С90ֻ DB#'6! v6u|IYH-7=ڠ*3j7?%_49}MAޥRE_M1f˚C^5gǭmHX܅|}@pC"ģ:4~i=ϋTb{`R-ǽ} XO nδH*gW#}V"8ix3!#΂CGd8q֦Z}ݸE I%be?T%}ȕ'Gv{K/I4_ל%_dnV{JXS%8b%-` Yb=ʔ8{* TN ;4v5A.`e"|KD]~>W"EX iz&NZ|N_$W>ï IU$-w%P8NV}ݕ8liy u|Zg[6J?<ֽ_C],⛤UL-TRZ]s@fNA'vHU2Y-3aV 6!W#yr)PJPGPZhs*2kdcyu8vimyLq3UQR􁩜ttnz*A>RD"sS)ĸ|A@%""]#'ኻR^# }R}שZ,⽩`kEb-~;YͶ5C C链 #OjLIƃ@TP; (`?aUE%3G?|h>95rYK;~eOfm 496g*hE.>_SfNj+0Y]/Y˜vUÃ{YPli1ZKϲ5^r>zp齧VeDX%x.GA/ X!LQm(v>p`P2 <ڈҖso8U֝b' `1ǧz J[ =Z.8>R2dL6\2rPa0$.TCY.&k mt;0 jsE}&gԳpD\ $縊3P 򄋹XA:~uEљOϣE-Dò*v/뭭&3]S+AVjT:\| p6 6;!D!d6xU"$d}n-r rB"h3(Bg#23 )/&ҼQڟX{ŏ@ wA+$PP|ntn6^{ێ[:~5:ō CYŒ=}"}9䤈G!lhcPJ/97')s-dMB҃bh>s').OhҺ{a9TF-q0ҮμCLc76],aHofcGwNd {}A墨18s21+v.ahG:6@X~\M`L_] aEuOImFNe)pP2ppN}Z!UP{7\T ^qi4Ry"UB6cd/v:֘$d[\j ' 깩d>ӊTzoB edu(c@ eBd$?]SQj;AXT?"aDG\Q7kRj MFحF.WɮVrg(`zs:4 5v_q>' VC1e$e!)1Bۯ1C>d)1'4؝3-1S\>oUÿ) Jݫ%!'!qQ 4~{|K-J֛3yY2zrUc#ׯ}\ɇv>R>8}jnY{| \E0ηDZdQUxPjXi˝W|Lq(+,({: :շIK\.d|̈́*og$ZLDqĭL"l/ڏ}V2eޙl0q>;!M6ri \WT = $R^$]ZԾE`Cqٻi* ">=lEW\m(q 3Z棌Xa+5/.{.5HmSPD/ =0dĹ"[vVHh0[$;)oe%B\DUk1/=j0 a9Hf~ǜ* ̕/⣽>O}8A/I:bHǯ ֙N)^O\WU5FV ¯KEzfs^U\{  ;׊IXv*Wqo1 -C~YQa;BP@%ZCsu8?Ɂhi`W ,RZ:[ |ZݭLnuieצn%63L۞Aݬ$-i0D)P6>S;qG>53Jgx rV ~Ez:NyKZAvy&Tq{LWIz]._J>-yK<'}cξǧERiXw̟㐍:87E^ ],IU `pmxzUnsaڷ^D*B b3yVL:>BOYO(32|HHuf|@gnQftSe-~ ((fFGc.B|5DzgXnUˍHM^@8+ h֬*O{Go+r-s[2xd,,3PMWDF >g=u6Zxw;2\̚B@Iy"cB_.EF5V@%v]u@){8 8[%)>w}4s2nҏ.Q$ ba91߰LP0gUr|I; o3^ΕI>H,5M[;q.y^HbJͺB/Oiݲ-~vDֺ~]=Ut*hSƋ)OiF%߃ W8(8%J-fV#a@UӪ[S_nc-"kྤrc2:;]^Y3EBͰJ+3_6;T :ͳmM]a=a'-*CM ₅fA[⪔Vnm01|ZJRyuzXiNy"!Z@sQ;]ri;jۛv`D!3C!|@l7Y5y_Co0Vy0E,'mLߺ'ЏJƂ)zggYZ584bbb53c4893dc129b22e06e0a1eb6bf36a26d2bc04ed3d5e3d39fc11eed643c195af42cfffe6e6089bcc3780f7a5241b8f9b9cb391fb1cfa20e0f1