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 B|dt ]]Category3:threads=2elapsed=948.027cpu=1662.480gc=88.232factor=1.757zXZִF! ']ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo :=5ugUHe;QYUKmWD$$MXy0ht-ݴ=ABچ"0V;E!%gDsI313_;xt׳ <.2Ѥ;*bJ_I`Q_ߓQҨ2^'!˟?2d6w{H}}]!h%- jsUA[),[U\ 6xikXp~~!Lzl ]aoj!I3k s~X~`p:\,} Z%lM 5'PGlxH8 ^w'[ZH:Cύ$53Њ*cKʔdVy#?v,nU )+@(N}l+mV:p]hclҧK}SQj Rtw䊗 q,2kg>ĵW^S\pw7gn'%ڔΖiL˪' ]`['fRe֬rԬUe웬XVIr p@ꜳpMa2s @~+ GLN]v[SbG)}8,"|`dnC9lX [wC>DIXע.@9 >QNpmR,YBClӝC35?-o}qje}AQCwH]&MkXq:Һ*c]ƾEH'%ݸwh.$&kBHL&"+Q 2§A]rv5-BD{L*|LAB 8ݶj nsށX!#)?NԌ>&bByE#yPp$Ì;8nF`'cai}a":+cIz$j)~JR5Xce$O :sB6<4BȤyӄ4u_Ӛ7H̻jM ZLR\%* FmַshhS:JgX<%#0'88{ɇruOѿn#goh2=..I2 iH9w7V:G`֔ŵUSk0w2hY3aIF?&m}oseq(m3眤vwGAaZk V桢O[6 pæRTkUTS.7b`w5@E>=O9nϘ]Q9S|6**yp6ddb9*芺NfRLKa=d[Vw :g Z=#8C$R@s Lxސ;J@s[n(To$ٮ7="QPtA$S.ELN/k> \gq7k&a Vvm@H[}TrkmuhC]tMm^ 5ĩ_-ػ> :~#U cS9`qMCL`e+XI.ם) XZ<3v$|mMHpiK 9w3uV_iS_~B+y()CMYC~qqޱUfY9x}ƫ,,3Q4< !9:dB=_଻ٹ..]ks3YF+L ln(bθ2yZARSoսFfKɽ a #5,%g4itDN )3~$-=Gms^/  kzo_>Xg7kF    Category35L0,$vy~AQ6U,i(B) v*w H.Ce!*NMugCBE<0X?XS/cePZ]/.\  K2߰^  m8o˜M3m%&܊K%qLK/oQI, `Utf>͸ *%W˻~Y "ٛ=z bDE7׉joŸ^cg3Ui(lY0pA 茍mfbU+k4+'مՅ\u%QF; \1ҍr;d&+0s <Es/杮Mf.Z{%[;.m jMѽȗa͐Ic;(^j#@-] >O =[;tR=;Ը~4SWذ ||`zkc,|@hڊ`>3'i0L#]gѝ- ?tsP_E"-Mcn6[m:垐o|D7w^f(աI)0At|$e0?tܵ"\k1ed8v*4FwX̼~@W&#e fZ~oqEDtFH%ao a(2cJ`,de7eogܼj颱0q XG@ɒ=U|%irSIyz,ʗ81=}xю <@*vydј Vi#U7+LqOZ Kk)ЄX8ˬl]],לrZ&pI2˸P d8^ZjJ_~~H\kEM"t$lUW,+$aX8[<.-AXeW"[|>_g2CE9r򱹼b/d6ҴQi^<^i%(ìzjL zeTto Џa߱\է i:|F` VMĉNx?.pXcWP9Jߥs>ws] [ܩkނ &}4"~숫CffIkO5JAЛ;jJ*Tr~m^~VF#rhKEK)\y!J^Wp*xr;W7p7\&D LKlo?2ʀqO%CƍmT<] o+el\Y($| c×l|Ek Z+@riBi De=% Ht6Ҵ.>Bǻ!etæ&k?iؤ>{&CoP/ξ5@KPZzp2GB)˂Z~X8!}+\߾*A$+PQWMbUM,04OlS8Sqt|(קύ:^1d(rqg0 3 :$4Z.]b1m>l9n&DAEڐei<ya˘[ >w`NC@ʱo+jr(_g%êV|5nVmK`wAeM@pvmbڥH>˔(%"z`+GCHpb)ey'xo[?;]kw2-[?d6q0ח ~qj~:haAeՈ^ov.4&aUgZ}XH0T5 }ӥ(4GkS&0e_r =p^/TtcOkFڇ0h(Lے?d)⢉:#-4ִMM؊#n˱]HxfqPK@[1eF)Qvը~%떶A)-apot6R*y| TI/~7 t > l%~X :2ePK>*;cVI63uz֍-iwD$LG9<)F:^Mz $Q)W8?AܯyiQ/mS;uIwr՗b-.AV~`_}!7Gy<,K VɩfapGh^|]Փ{$V xU6ȇ%\M.N̆}sGXw#)zMjw JpDO[8]  vfZUhI⡭9wxQf_@<-6Z|=/yEl\[Kkn-jN _-w;79O`h.2sf C"^5iWS#䑿xa2ZZ4 t =b~š ),<,/a# ^w D,W2D3'yp_VDA85H9/jt#PWQt4,/o|uy4;ΟNe(=Z{Ʀy_Ơ_?X1+Q.}!Oұ䡕v`L(gB)4t=ddLs q/n@&fhh% x5.j2A)L7RoGmM6rp"qizU)o91558Tb>ZQ\iUbܾ#<ʓ^ReY6џia[d3nz-]l]=V* sSvɻZ&cϤ- 5ae< ao܂eXlg5bǨ~u1F+k-VF'sc&WS ߚ@С"A5aj+$ߏ+@y-jvRb7k0mIPn(,D]2Mq;#9LvMeVVh 6D¸]qA/qgH&Y !ӡ;!Q_ǻdg{vj:󠗕Sة2l wu$V:mY;3j]Z_Hq.N[(K-6隿]9 \G-(dl(f#?o~& 6<!CἿ؃7Xkjӊl;q]_2 ݰN<7q<8ܔ{<zez9y]o%H6dk.K.w}1CyxBş&ewMXiUABhT(1FǿSE:#ax+qu~@+/SOSrJOJVb*奨$uvѸAKgdɞop/ 9?%]ߠ2y|c ޯ5DwHi6. 2-)`,RUyBYxQRx.>a3×_Lko{ۚ-20Dt%u+I?y|rD4}@!^ G:GhƐaߙ2ޠ&NljxK s7i* >PF,E3UU8Ug出5W1s7pBt)H$;k_.>}>hDE.ӷu28JP= d$'Eܨsc%E3j8{o{fapfٌ_hUF>`l2 ߸:Am?9#Edk[Pޠ}kMM9+0^nrAMzلP(׹8-aw*,x#P;&B3k.)Te"o=\zÄ.(,\k*VUeD;kS#$;{A?]0#5YOa?˟Mg3iӡj ʝSO$5߅^Z7zn0 n\վg$Y>] kX3pٲ gV­ESX݊bEƷg#&"Gcc IYP`P2nl_7vvƍ}aWPb}ST%3"]`F.ǡu&m4D P,w+C%w2hOxp9/ 8O2gYZ7zXZִF! ]ŗXiɟy>ZrMOSD0࣍8pyR&Mf3uSP!Y%QnUj +H q?ɃKEiJv5`xI#6z >FEԖw(Pb gSgYZ7zXZִF! Ft]ŗXi%ύvJ\%(ӱUS,$8`LTG8=%G/iz&\$˯Ji>MH1ȹrɳ,RpͲ:9cVަu`'is8$t q^Hiqqۙ[fP1Ϙy4!if(k`d&,[Rj#,+ފڕ8!q?!~tFj  0mm>QƍKXזp |BEcm\H Z\J86L\k 2k*6?!J ds9(80Agh|1Qn"|yCME86oSk93e53RYEa5xՅ{oolU%^wqZdeBϗryPb[6x1.*7TfuV* C/>A:O뒀}ac2#A *I?8Bz(#6`-GJ@*79chfz 6E^ !QLϲzyN 4{PGZ*&ڞ)q5Ninˋ,r>~"1CKڪ^펦gb!)CZ m_x87@[VoPґ􌠱ζnqy_ %@Y>?N}U2WbFsD Qq(Ɯ S3 wR%Τꨭ@ܠ# k{î0ʹ0.(^IUQ.@ iߵ N w.?JbK_yuyIo?Ch̶^dF8+H[S:m~*Y/E&k;wrG>+OkY@5?󒛣U\2a`OOaQb|am}YP< Fm&jUb‡zƐ*&j\e*Mc7U@ܭ' ;XnK!O1#s,=-!P9n|-wj4DS 6z\:b36#gyͨMU7C=qC$}&$J`jvQ(*%:#MLWm2KvHEO -6nK?NϢi66eʭdC4*WuHhΈP ۏM=܂Q <6 a&7|4C=`*+Z1 {A3k7_@6BUhODY—~ ޫaп=;{z29mshW?{^GVKTǸ aNxȩ\.ǒp O7)C`(#<58Q0]A4z$!y;{ e]R <纖&#NsNd"&1~G೙:H fgy v\Gw] 15pSm^rN/)e+i3A< c>AV~ ni)=lJjnk>N7a&4"@27obl>dWeS#HW6K࢕*&#h;#6}y|)(E!̛=`꥔`)'v(7+Xi \B/`78):{+wBB|5̇G&@Ugg9D?#:YH5H+"y,x1}&?*df~݇>Pݝ*,_}R.TV>MAd <=ݻXg"7M&\!bgxds6{YH:Q5N  Q-'JK/VCm0m.pt%( oVP4=D_3b@vj'o.z;F[6__NKs֙ ip ݷNKص/q).Tx2g:!$?opG>`aU5 7"9N~΁~`NJGi}9 dήP)`J2.%QDq:OiZ/T3Z_᫛WulR@/IQWj#\SJ9ܞ3 *fuοw~XF~Zy'H*ߝN_.'UX #G,QIjisy3zT9}$k>>Ra,Uk!vI!#.j>l+'4샠!4mԃRc!YYdtj}*}cSRϸQ4Q;-*9v>!kj/4m,޸m*NHT'/|9R3f9+l,@h{pȬ,%]Fyz._U~*L+Fac$?Dk qhCs\8nzi>|b8/{eAܴ.U]f (鋲{r? 'M# 9O?DRhŀ3X2 :\:ac]T܌2P"$;XAqZ˸N^)ⴽK yur:UmBͭ8?.oO%3PCZͷ+ !&JLFźA/pXRfM:_6읶HKYqhGf9DXgo8>:\H!éso]ZPn3Eԥt_juknA.Ǟ r9Gim\lrr˜kx%C/jPJq}oÏ?S04IŊϵ~ݡXLQ#snύRUWzI-_qտI`sö?gEn|m>!U[M;5:Ov~CmF0Hpda8B#U?!n2ؖ;#vR_l佯3BGLm`gJE%o0,図6ȇ׍jJqo5C04#f+1(CdD=/pc׻d3dh#oP2hA&S"!^O+bZk3giqJm>~GBX`=0m,^W > @↜&.{j"kx0C H뎦EÓ' '[ő9B հ9 ȅ^}k!89[DXAQzE#i?ZTw?6fo)ѢQVyUmkR}4rϷpZk ixv(UU-H= OU-C}OV{*r1U[ofu6ppb;_䔈5Hjs4)*Ce,kk-!Qdd_w(cכj#fxf!'>} |hj3:٠2G5q7X!](eN}֠Ot5?李w@C/'COńM$kX6thd$qƷ+ xWGOGrz{:HX*@6VcRƌ#e="Ɉ7[.oK`?.y$C{*S'zx-R~OOQecsL:yEn'D%UHM`^rY&|UǾ+ZS1'}S{92!m9bij;t˙zEa5Ђփr();0 .~Tzʀ )g7RQb^!*64ĝ͝Jc~tļbu5Pe XAn ~*|S .6As|ncH [|h|,wo"O(5kfC 9<ո>CJ2*,4҈ᬤwXAaBw5Ԩm8R0.hVF<~U1fO69 `1)t;\?KdF!MTT z=??wkxeK+^;<dK v0Kci2aQJ4ˬKNv- =6#}yqӼYwO<\Z)opxgU[B5yQk[sʣ؏`%Ė9Ik㗣M+V|.rmظ F.ۯygv:b '8O1c>:W~2̄ 52qg4K:֕Usc'xN\>Ag[5yNl%<,E.\/uZ@0hx&UhzhqG !4k!gZ j#ӯ nrZ'O!$!DćNmP{V7݂ kOl l޵ [èj@n`T9\Xij>>]qC*+ẔtA|u/7B!2&fH] )Ʃ)_#ü{`j uz^ΰCt7wOWU #t?ߒ̏e6 d0À#쎼SX9v\1{ZgTwU}܌"_QPl L@~A79kHPĔ FxfxvNkE'5^30$~꺏~k܃*׳JdDHs`V'g7D,yr f;zԈ_tUps̜.?Nq^ Ab&fYg;OI͞$cɚ m (﹩*zE(n]3}ٞ (bo@/9yLu l4Vq}/jIʖGqJW0N[$e=]i9:,KFPV2w^Zsȹp_ۍi|21@1@6Z1 1:hƝ;rw_uT/W>ma8:˻R,BhXE{A-Dqeg3 nʯ.34ZBga/.ι>j~{8`|ZR F"ZL )M5s`8udO~@x9*vF=Nv~:tڻ<Z|"Wذ66<ɲGTrdl! ̆lH9NT1{wn0}kr|8C -meހ͐2} ,=:X^V ưOayVPDvFyHw #z'O߫sb*pON)wEȢ^l=9#.U^ۓ>3}Ga^6$rԡJ2$ 9 ~)tp"]?1XXzUgin9G̈́0v(6~ 2VZ ca+;y4WmJ/%iujSCZۦG!*r[:^ʍ#=Di0") 7ykv" }#8dn70Gx}a"B2Fׇpn =ASL0A#Do.҃u^TB穽r֯IL@@@mh}Z3BK~)v] L`AWUSg\ӫ.ѵZ.^{8 Zn@"21<+oV%,p+8J҅h"rڀ TN gl|~bYk_jš\MytbaFE.  Js֯&$¨v&sBY8<&_qڕGgM+\a?!bΤN،3N ۭP5A-n;!K uz`|N镰c@ra}~?q gO*o+-^^VyG%ǟWs2>G *P 1:Ac.܂mhī uf'$+b%zs9E)B x\ ]Izy+]msn[C㛥a)&ЍjFC> +>$~htm zoMϭ~0R}oK w >ϝo02逩; %dWgا{o,!π ;/HEyO[$t#_R3#6ȏ;X0B)S"z;5  ^- צYvb/jB]ߓd 2g]S@NJn*liLJE@@ A`fӸ68Έ0C˺G92;_!: dy ! XX-X,<)0vҞ,kߒܙZ\L+/iS[5y{t[3Bp pW}Bw|\mf2F:ХzhK-"음B,+n Bj54kI{yB= Ԧժ)m)пRI~1Y::-2k.dv[HqX ?j?sF%S( 9mx[Km1ʿ9L[~ *"W!gYӘB(g㇮N~zד,[)ݫ._ko4H*F\ Q 2Xgݖ(!Q5{}÷ʑ+:2d*\K |G 3ڹ&SCUjq 4[my\+vseoXٙ*]L5yXȋ-SS'4N̦A)7OI_-cCɞ#` =; 5 N,i4.b^g|YGGW$N&MЄ3j) 0j@c&-B:G*ë?hQsd:fkZÜ,k=Hc r5o֪R/%`fF!oW7 +S1}^٘+B:ځUi1nk/EԸЭI&X!Ueq!Ұݖ!:zE>PȧZDV-9z߿?PwiVXbN͊=v1 ea;a;^UbTh]h=V2mi2HO+]=!t+G/GSi ɹF B+kfml©(2P`tBŶ< ̷됤>=cђ 2 $Ͳn)([Cg`Zu/H4?MapZ mT!A y\意g0޺STH_Oa{ϬOd~p:ʞhF-9  Zs@H<,5e립ӚqY_ ȗ* +SeO9D"Ӫ @, <dJ^6Tk*6yAŨE_l$+j8q6@~۸eޥ "t  *3PQcq:QdU ^ڡ+a| kOFz>DiFBj'VۭQ1f(sI+k_I=0/;Z棸a/F>aݖǩxXJ$y?JK]⒛VLb"ۏ9o~ \NMFrf+ febOus>o. 37¦PCRsW ||^ʲ5t>"z+qj#*~m`[9I9#_<` N$Jx vY&0g_o ^S? #Go' o_V$;& G#;G!|+NmYƺI7h˒84Bl" -ƶ@A_6B Ι_O> WO?qUi\2e6UХZj6zA8huu[w!g \l]cPI5 'Zw2N\:LNU,F7@Q)coɚTU}ep$0O%IMV0g'6(Ѣi?(x``{iIho&p D&kbkɤYt0DEblc"WD\gX/ YYNÀtp*/J;g8)<+ۖF7DiO)Mto zB]; 7f8OjbIw+j/nB@69/ 8D*.4)4]ȱWms>{  ->s{,[<}Z8:_j4+DiX{a͊;ɰVv4*B 8:f1Da/1Qx`B! ,pUsn Qm qK|ԭI]]B#Z!4Bh&Ux36D5MLF>UruCa"J)ZdkTڬHL+RY=k}P*<]&B5T-L$B}k6APƃ:FXA4f;yI~Lpv?Լhij+T:3mLDvO8N'_=M&c w7+.A;]%'pA- B¾<8UxPZg應ħD`(gGpCE%z:hm"<86}3ͻ} !2."e{ԶВcM%< qRS|7d5MXU=F9"b"G)K!B9\#?s{Ξ܏]`B9LDpt .nd1֑ΌsMѧpl?yx.ɚ)R SfB;dRʞ QV/RƦL2}$#Yʅx ӂ WU(Dl9Ep)3~QI[v~kqbsVkS`tXvʔ=X?Wk9Aũ󆸁z&,;44غ;:wx )~s+밎[ϾR4ӦEYN_}t2T?_6mF]L߁:z -DNmJnӱEe  :gAJܫx0ĊY7{ Q X78̛k_L=TCF_L^G.&ƙ'Zamp*hO<yG|NR[uãA2iAa1iLQm fGݦ? A6jڑdGf^\bYmN<@;TpA|f( n7gZeME3Z{X76k.ܸ[n ( |80e Ū1g o10x 5]=QÝ)TӉ}ӞTtHf¼z *j[9zFc똒F2> ` ET"U]-_]R0;[s`rOm9OKgm~ G Zb|~#Gm:Aֶ*̷3!fy@*+XE-2ŦQzɗSx ǥ\C<x˒J$++MpKNTMhOւ }ˮA$gW\ 0Bn ۴SS',֧@- IyY Er{x*@ɯ+3c"vmm:KE^hizu*sR -.)?+?: CoÔ8k )jX>xC J €qz1PfNWأ@4{W}s\F:onR}p V1͕9@P#!$rpժ+Mw[Ǽ.} &0C<{T_ X,5c6כt Ya2R4C]qlPKhq< rޟFnE|-#Ü9=S M!U^ :Gڻ BЎE,9>ܜ}R=Wìd#Ağ+̷ 5ϧ s &C #V(Q:VDaG&L/l΋wYМ ۂeq7Q#]'3S{s҃ D5o:+- ^AJoॕDGٓ4Uo'6m|3h_?͡7xD|\g"(w38Etl2\]*ǛF2?VU[J/רh$٣R=l/43gE0yb6j\ hĀ_悒]c.f،kn 3*ThuF c8l@5SΫC/D=֘P>"kЫAbsߏt-KM{"4U4ҙV~u q#~+˞G~G/uޯRJ0ǀaNX@> ld>ľ:ߠ '6;oyP'%͖1RyIqN*vy-&21:DZŎ4DV"UsHj|i_ZC)ҭ3)X5R3\3J XgU[5$=hq$(3QӵoBsڽ~4A-'@V~?fֲִ@Ҩ\I-M ?o4&Ŋqryp{q%͠W\gi]/ '[m:m6&О.;VK>#2Uk(|6s= Ȧ(Oo6SWno܏+#Ki =ߥW.z]!Z?=`Ʃ5\s=$+ң0d~ե13Յmo* )q'8 wjD|0K6q('Ps9,vwjtdU$+6؄'Y(?joD.]͛bI^#۱kh E 8Fo:<xS!v tX#g% sL]4pcx7ϥ*DdFn QD9Qs*v 0«23H[WOx5۾k2d#C?SI@R*WFpN}S+gBxGv푲ysbf8EA̯F \sz`L#6M҇0YfbvowELrZ=b}tEo;!Io*#4%L"lL!g^ZkhMI$ύ㙵C`L&lV[4 k$/^Msu)JbRhCʛ:'c~oyJpJ!6C ymf EysƐH~ 3?%k7Ө|Z*Pձa( d\m s>F95@ 0\jxxOt[O 7Z;NӞ'[sAWvn|{dʹ: jbOD Rtlg&/TRcjIHMxx~8hole_IK"H\aAceJ4vCk),Iݑ/pJԾA{ð̿Kp6%[_Zmn#BMnX.t.¶E;ל5"yr&QzBȡ֨IHJ7C&^Dsy ~988('JgFJçтNnV*\X[Oǝ'{U꣧0[QŒ2#ս*pD(C>_"[$\T<7Zo ^9BT<'{Y= aJ9QVmV~ڹaդ+t캃d` ٗЩRXl$\z)ECzU{/zS+oI3 xI>wM"T|PyfRR 6h5bz8 9F$3UhI:H pN[u0mV\%Ӧ"X0 fb-XWuZC |)F[<W%m2c+hDDs ayNa  ]/|A1ԍ`gONp{hb0da;i֕y#7SsMz2׌T rrAtH8 |>΢d)g|gW+<mL$gkAs?͟Yד(an2 \wC!k4FSC3ͺ6<_mVthdL P򇽻Ϊ;ν 뛴3첊 J#F`v`ӟũpp+0Qhwa7s叔UIM*9*\$.vBQZʧ9+U6hM@' BA[7'ca,Z.}D>";$c<9!I*{7WnA} T5n:M HX%o*( ۘO|*ZQ2 O"BX@ 0XiN0`ĒBH⊺LW|z0%j nPPoBqS D66;qȰHL(!O88H*n0/&.)2,??QnoZQT4f<3D~H@P h exB N/תՇ,MOW;1g:RvP@ P{}Bh?6\cfaPs+'Y+*E *f}l$YhAbnUK"Cؾac;@܎yhgfI`/yw3cm<57!b1Ho/BHYjBX;9!X R'zڸ9fx޹Dejq4WI]!gۤ6eR&;)QzfQ :!-}tD4zٗ>a,RSUӕh DY=XU\,~]=3tcjJֵq7B*Z @$J"\m*ִ;kwSAI2V:sis0(}h΅tsŸKb>:oK.9~âBQj[Hb\ѦC ?PĦqq88P @@vYMz<.[υQ&g.tA>;ѓpmg4sq*7{bjV%z%[)nB ޵z<|9I2Okn1 d6_^=#e;+:] Yܺf3K>7x*9% ?0B44TzŔ xm GAqea^6Ѣ9aENOH)҇+`^"2ƤA]A1ذ{QEqQ"Dg"&;j|IR4Uf޸mw]]ό~#:*g3먼p8s"Bue!j}9kY8ͨ7 vf^UefcҚdI6خl雾F9yt6@Q@{V8*!-|(D1dFl+xKB aʡFd8ɭRܲ}z”d<ľ,) ;/D!} G {<^5C4Sə_h4'Qһ9Tb+(ԋZxO%A?ÍcZV}z8J,~H${vBonQ|n~M3,@))"tVg%-D?xވ$V2V/+&!S:ye]I-9y%`f}I2<Ӥ 3Z Ea)ۛM,Rw,E TbG!-Ӗ=돮s,&JM>y ނaCx,=cfN3IC󷍣Dh&.4Sj3m,n5Icq]ǹBpT,+x:Q *o縄SvV+2J֪6|)639Sj,N}B3,=oM4~u3|uδ{~PqAKKzAHKǀ-VN: ƦgzK#]* zfzє&'M !p8؞d/|(,36kb[zK 331O{̡*q&*ŇNYpjbezuQP"^o6{_(\7\Y#\;s.*^m'Iߴ gID!%:fBˇ2ӿ})@"FP|ӷ#啂ȍ 7%T΋h2EKk:RkmGD_zKjuWو%'rΡ*8 /4ŁEJ}a<{/[X [?$`o.o݉tz5MsI]c;e y8[iJķ%UH㨐'e FF5fF d^_{&r8Zg&JH ]t5{TyZ7$\2C*^$)RPw8ErWږ<yHI [htXk..s"J?N#_4&L>g{[P7ԆnjEU} ĺ܂c;""W1ye%pp:z$)r%?>_rH[!?)BHTk2mIjIdr + )c7U2Zܑ7P9OXp.LNk?266wHde5WJr9`LJ=הTi ((ž}:4i}C} T1քԵTHrT˄jچFX\ \ |ձ_ocH-Hg jᏮWY5E :I^k ʄ͋+%vuWQU=Y5JcBK(kG2Py =&@OK'&C=L h1v?\1h'!?F֡: sVFah'uΙKƢ ]\8MNm>b#>(iV<m`A _񩸷=gXN2>a<Ɓ}yq~ iQh߃k!`7ok#tlMD/D`LR]3Ql> :QS1MG.='opO:1{q|W2S8fG[eܡpͫ1boчDvJ "JZ|%_?2*ITԼ,0'7W\^`Dc18ZHt!^ZU!_fHnO΁1!E뺴3/E@=O&hA<߹.$7̚-2 7C*~=Yc;yUiƎ -(H?_L5LF pBi]gB +ȍݻ @65lA"qW gd~gŢw3GŦQY%ʬ=WQ\l& RT׸81e08ZnMei%EmYT hǞY >ǖNBGk$nVp(oKxB$Y%p{aӢYWcu#=ڂ>^u.qQ1HSc.oW5W*p2nvɢOD τ ƂZ'9Zp\oh 28![6Kv5\Els~[;We%*QGCf?TBG#cJΕ1,(`ޘSޜynͳŸc)0Ѿ~K+[vTW9qA ,JAg #$c.|d,AK9ъrҩC9B -vН P"ZQCV淄z0SrM>6+{2Ѵ[jq?IƗ}7- 2Ϝ(n NJ {05Hڶ^~t-9 N D>dpɵPŎ*!{0UC%zP)|olit~IG5P3t]m6րJ4*-@`6u]NWeqpڳ%e QS>K-p,O̸z!Y?#%=l<ֵ'6n-Wb:24wTqĺ^%,`ثl:tK][2k31>cgNUK]jTFY]kTT_Al9{K LSٱ̘S^2೮_:d퇂 CnNاoz%crk>=qRQC07 '(ٰd+:\895rSC.L2Qznҏ:xW?CD6/`2'|~ ޏT).&U7c "RI/Kz:*d$#}W N*׌Y~ὄNC5@᬴ocYBj*@#/ۓ3!҂GB/v'+czeVC%tiF4ȌSfW䗇l^E#z#O>O>[W"$QJVQzv0|+]hXtQ(<_5,*C&:5M>h`^tX|Nl^7{P*aD G}*.PCV7b4T:O\6&Dvm!C:{CkGVe70-ţ*p"/RR7)9 wt-,( !/iD+r:2ep/ݖBi}:Z~O%nad:ne C[HQ˽(4Z0W p0kk> O4 J0 Escf _qIKH 8s.j`^.+:eY7m #G/bΥst9W`E xK ]˃ (ÖcDeR-48%=ĨߏS>JT_ `^>0i[K3H!U E몷_[H'6~k0-f9Ojw5 s ɬaRWW)^!1rnZ<`ߢ:e3 ^-m~ GmqыFC:1|,Y$mpqPob^W&4icn3e)ntF13v!N~-1يs+?M=Ucc$:{,'SE}'c6QߒZxckͿߐPdIPo9e1ag*+%.F K%I5ԵF9x-wXs8xyx[eiS̸O@1;@0FcJRZYLxfC2t\)^Hqy- yV}o$mH*3d(ab (at["F y^16bȕ*ڰ#;0^HzLj@Ρu&k;~z+ڱF$٠7t6/ v5h[t2 I' &!EuOaN4X# g3#RQ0%F 0=m6}Jk(WgeK^ۉݵh@2%吱_fl ʏ+Q̈Jq e Kj"1A+ĸ1/oJ2t  TU0߉e0= lw6Z ݂51 b:Ɉp^k׺]PԲW4'@,G קJtXCAJPN*/NbݪFZq(exo_8(Q2H BW8^bkNbbWLKY"b\_eڔnAb*櫍jn1.gBÏwr r`C|/ݠ{ [_Z&gf=Yx`td҇O%N5/{VKvo<̽%qծ#1-RM&W`Ӈ,0o>E&!c0 0*kʼnή?71{y֞}^ޑ3:*%ݏ?6@!؝9czphgy~Gc|qj_Թ-9&ҡ>Z'ě9b4"WPG^yK'cTê?3AH$& <L3d~X$\ dU`|3o {A{hi):)*A+Z/Jz~u^tN)G)qt"/u)U F5rѠ@Q`@ip[SԌ0 +HW(w9=ZXЭ{X,8ke] 7Hl e.(Ar҈M 0"gKsv?FXg2Kw ,K% =*씁a{]nW !'ѓX!~☽vC؇[yj#<ɮ5(fL @[mz&:4.] ,}Xٍ10,fH8W u%%*z%__Ŏj(?8WNHp—!T~>9ϙφqpSY aW]~V&%Aʦ9s}@H-nr hH*of[®N䵟6/D8B9fsș]mC7+\PZ*ɡZ?/=찙Qw,H1@Z8jSܞZxsV k2zD=rN@D]J<[Jz, bKot4,@9͟0&vs ?}K+B_@fusjТl셃``˜ 2=a+b<T|A$Ts#vY}5kdܠstYxxIkA^v/v2wD#ƌg]u3IldSfDaY\_^:ci}sbB\3b(7"Ǡ1ӑ 2_]U$J_}[1ťQ9|@,Awੌr{=$}D1(0R%;Y/Q(E}+Lb"/I@LM*Y  ,NPi88lf+\Y*3j[0V3tt k:A 5G}EޠotEB#);8A"3eNwӋs9 @Ju;\ y~ڭaR? WG?#K4H_.Oe&ڋZ4b8GȌ|v'+yO%GΌIN93MS<¢,si-f^)̦΃ [[Ռ[+*i@p!UcAT2-tC-Ў' toR-"{;0]$BA,ˍԓBs 0ۡHrTdLY!`P;?s(^R,  bx.~-Cرa~Q0<ʄ/ j켡*t{oI-gf[:9!FD ` sd%KL }ls? g zB׏l]=WA5iWXHn!l/Կ~D)pq^CVCIO!>H>ܶS;kT ܟ,d[f"sKҰgxøx $ < BX@ [<: rwC^T2rW83pv;3$Wm7$xM 25 %Ql\&LvVI N9]p9mSOS`?>!rw-LmP5Z1 _TV Z`e,A|cPlhm\rP *M$ȉtT>TwCѸhz-$'8:%;mGfεX$HpW9l1)#,ywYVX&q&Ajp L XkՐt`@8" .€q2]9Fߜ'.hH1qm87+S+win{.`3sy FJu|9pgUQVwi]/Ic6po3 Q7;gQΐ}6F5H$hkSÙ9l+Ж3PP8^QM+bAB)-2Ds`LP kd4ȬÏ]$I\z]B]4`r26d,7wcHd?0'3005jwo9о`icx7 hG?f-- 4K]#.mcqsݎj#rj`k:n@/)(N}>ȐpҚc _s+M&A)MYncP{HGn (B,J K nL& ],uЄ`bw"A-9 9y'>%QnOΩߋ=B1 &/xo #3'`/mdz,U݇oKB>`uzl(//D-4)7L~j5YT)|!g?>.m>\Gpq Jd}HǭE=MܚV%Ƀ7n]z& "$dQ62 ޶0a=)a}SHlzu܃ٴs9 ~`P`cH9Ġ-zsϻsgv支y5lI.WrMZn (N36U+cL;iGi(^Uh:r-DOj;IL5Ԑ NcL*҆q9f̟Po !drǏ P]+w0 ܳVA^+һEu;w= n}kǦWpA`Ԫw/{قW.u7$wu$ku{~],mrj޳OMUdP$Ko3ζGΌ#4Ɏ+Drp0-^BBZ󚮈WhWf>% tn"Fa"ōp361`0!ns"yP52+,c_,-0H7nu lX,ÏehuG%F3+_Ꮷ͉ϩ{Uj4(BTՆ6i y>5 5؇\[K*yK,y%d8s* vT.XBM3M.oIN*"D+ kWC7*u[7MsNۢ"uC9f{{5˜R9)L&LVg'M0PordYmXn]ETvJci<-;3)E|G=76:ap"'fƔg,~@hj6UIAK(/R 1nzSfԚ$Sa4b$=\*$ \dP101w%~~<Z/~Yx jߢ՞մfh@FAxOe?;[gFQ}M? 7`)rUa>vlE)ҕT57J-' 3.!4[|#ߧ!H<qƀVʀwG\qyjL񓵙 92f)q$~U/SӔeF q7L+#[ 7F{HDt šl/9<{dT"RTpnQP'C1}_F[}6)!HKi9z6T6"~̮Rϡ_vTȑ2?0KMh>P'um^vsf݃-|Sh}ٍŔ,c`h<ƄPwK͔IdP.uڳ|NP7 X Z] 4ok̛=oZq|Q1=w>#I5Ry\Dt5F +r*3`&ŤeD6"wkKVH9b :票o2Sn]ӴwErQr۾ܴ5# L:1mk;dת?w#QғrE vymX+oV τMmQ]CAp+raяRWl1([AH <<r2KL?4"pKbJiY(*ηc$ nt=Gqr6ރx0QVh,jV9u^7w34_B=>`WJ{@CT0~4!QH[h 5bKX x=Z]>^`BC;7e}I'%}k`!bn 5:ou3lϫ-_RY!GX2rSƷ4FukwrkΏOؘDޛkU$*z*9nCF܃ydV13VUKd.s-Fxv}A4-$=5Y|uuR`v+T[&c` 9=%o |&n%PK]* q=XGD4gzn*:( ٮOl5x׉6 L9dqzzR$Sׇ*p+;ɫvķIZ9$ԓKre!Zd/8)l0HѦd av)FPwq%~mnx6ZGp2b hxŚtOmNz孈M.[E$̨FSά``OI[ŨeFϊ Kݱ`/wK9gM͌5jEq~I[z8R9WzP~Mv_2FKA@h-`3ikԴx\N &/*<(xM r >)y:q!bk^̬=Ly0 Q2(AE4YJgEl}YusR K5^OO6&6QߚNsi@ i'*v{k*)Š!^Dm&ZI9~uJ؏b}b |$٢{$1ho(C\7j){ZuM!b"lvŴ-s4;>i8Վeǟ ٞˡ3=Ns[fݛ <O씗?Qglj)(̒c *(E'UN#1U, W, K[dRf "}"AlƦ@R<©X) `^x/eK9Js Xk̭H]pLP7im`ٞ^zvv\<.pߤ($ enzok~Y xDI+ѧ.: ?Y3-z#c &&*h96ۊ^7cl8 )Z!+2>MI\q QEdDenR.1T -岺 eËD0Z2/  Lͬx.cQk=(D`op߃jdX\YXaarxt0Uc=̀zNGak!HV{$)i.?.&I0'U W9Az/k}S̶Xݪu1'Pm+#L`X"V_1OHg1'esrCëz3nVu Ngm^lk, uc&&al=|.) aBiaqYw+3Jb~3>|RqPDH%꠼v>6+p}80=~PF'I$3~ )(:3^ԵFc<ޝTMgB,t2'LjՈ :lL5R^FXF.$G TV'RV6ڿF A>Fŝ2d3J2λ C J neoPa}Xo˃}궢H]n>Nv%F`wѽ2$PߺIE?z0on8/쑀ü}pbXut$J:^vѼ= {LL`Zb3?\w௪4؍͗ s;nWy&G@Mmv?+ͭc$̉J*݂]=wkt.4L>W~"e+c"K0ϔS/F ^DjI"1 #j؆ϞI{R]TAN4=} $ ?*{ML'*`zXsn)_C?Yأq놄D3ah}a^$6誷Ț ![@Fub˓}vՌXzJI4舾\<` WS+b%z-a6i{l`@șǡG|MP1)>[ yLOIbџ v[S֊*2;[oqɘաiUs1JC@JsoN[p}'xb977 ]82 vC;ǿH}kGiS.>7YʋE&~9 1/"PH{EOߵ&~{F2rBH@A( /IDLV'X_i! 8X?Ua|. !\ `P1gc}o"gؚ ˭0DkzxMnTuv~KhMf_Ъ4_ϊ69}u&q˳%;,SN4O>M2nOӥ N q(aRɒ {jƑ"$k%D<GF=Dc!!G<\AV䥁v*#MI5ۣxyEaw#֚4!!UZ!dzYD V=1gA0npp|W&ij*1` WqU,)^= dž#&_Hy]S;BhGRv%5};OHe8Vl,'0-|f0=b ޅ?0|TZ͏o}|ƻD;({Ka~-Ey?;PLdX˾U#ni1̘ FGH/=b( TIf,941c$%"NϟHF6ͣw4;̂r#ڐ*]_[XEm myvu!/i+;=M `l_*3J-8;E (5s"b$Cv\ Ń_u C_ŸkKp 3b_ܝ6L6!8(d:]Z/WIq?g(@^G@-+}D*$S9J@s7!Y/rsy>[;0;բ$H^ Xsb"'sHL}bF|G Z+v9^i9G<.6L#R? |EyŬHjy&6aA#N@d~wpj|3j?yѻ45f,HF 6{[_աt2"|'ڷ?5̄ܪIH;~wdsK{(^IrńwPhL F&DZƥ(G585V+X2mq ~s?hxf(Υg >r:ަʚtbR#r15G#|ؔ-gkqMYEф²g8HgA*ķ絡ĜV͔3tt-3IZ*^TKtVG ݃)[X3k|V[gdQYTԬ2Q?G01U}3uu:ptS0o&=JdPF1 ?Ra\.E`~+A>!#pj[)ࢰDce- x䒁L!_]M0Яxbu)F7LR7hy80?F8_ xqMxn(KxtcD8^55pHD9S~!NT|Lwmg`0 ЂrCO?>i8~|$ F9y^T.*}H.KdAWz*`נ@& 㼩w;taF;AW=wD-BSᤀ+ nY%*B 򎐃$/Mi+"p dClNH\ۥ Eگ¾-e⽊g#sq8DL)8v/k~~*y qD oHx rX&PoLu!!]&a!6ndѯI$ߠ@rȜ<;yIC8ߠ ~ic1Pݫ-y̛>x[b[ȹ7>zmVE+iM4v9N*v#}rﯡؒx0? ^+JG_+b7/#j@Iݚl<ϳPɪ/;{UB__Knk2ܧ{eߵџD8n74”h %vRMoA0(M=rv_,!V>iN{1ɍÝ6-3)O0[CqCq:RT @C V8bܢkONYۃ+cE4pvzyzChTj[4Iv$@ MˇpD֍UqPǔ\KF ȫ|U63,lOIvOy&Q4(rGeu/m+X_)*y<Jjʠd}`qBK#rC JW}zf30],j=NWOŪpUt'؇E#-^҅ltR R .y؞W!;|HAӐh3#a }QvG]Nyh˺jtȅP & q%ӰgkZY#\U^.Sj~mlzծq-9R]sQǼ(]o 閆 \! E͋7(KA Di`2#`LB#ۊ4/JT/W7|WCUPSmUy|Gi嫷RBr>l#%ÀNiGKtBYA 6rS=2(0GT$Dzie$]":&1v>@KS"V FTbA/W9c32iS|i_W3 :ˡ\W51GL$(x%a4ʾJ~ >o!jGf 8b C_;_s;U>[%regҹԓa} M tġ!`?_,L?̥:l{(dn,KT_ Xڍ k@ r2=a\RܐSU"uQg,͊x:u qK+O %ՙg.G~zyԠ!:K߄tsd~Di@AF #D׌ଚ]ྥzR9tFDfir %uCڍap.!Κ~3e#eEK$It: Q1N&w>IKGXI$`tC~Q%ce{;, 6(IQ ד6ja-|~oo Fq. VG!I ڍ~?]#iq",8J.wHX08͋CAxG:޿}FwsJwL4&&2< x%jgʿf\.4> aME(m o*i=y/&lX&Q' _.:S*^hARIct)?3T w#a F=\Bmudr.idn2F3ƿMc 6fY5 .%!WyD8Jͷm_=Z\u 403J,4YX%Ym wZ Bs4Ui%je7zTfĬ;$_î6%lt{ t /&yA=(˚d6Db[:?5ȣWrhFH֙bN[fm wTL#^UB?G{/9n6 gn32D缴p6A:W9)#Kp7#ȋ9k0I]WO'ܨ`̣ǐm4 (Z-8 SD3")q|۞t鵻n*L9ԖDUWW4A#).H& I/r.| ~F~L*k(ƼR]|FslClwam᤼!菅y@A>PNOr*b{jWV{1J%t~"87t)7Gۆݷ{`$>Rl-WD[',zrx5&a@n|oG : p473vK(Gc~FfD Cn`|\GlQ[{oBan*xb%92>C(r\҉9x;Ef9U\/NhBQX^ctL@ʐC$x_AxGP.kzLANf^A!IO@Q PU3ǐAd