SQLite format 3@ ;- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 )<$ /]Incompleteness:threads=2elapsed=591.499cpu=1093.224gc=16.832factor=1.857zX ) IncompletenessZִF! @_X]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H*KX $3}Y##VSO٘OOŹs]w3>R^o W$>+ wͲL"cK/Y_aejqi':{;pĔ_EvۃG Q y2lg>"Ù+2;6o1q`bVG;rk^π‹*Y36|6PdǾBv-<$UhEV""Gz{j3NZ33Leur,sGzFq\l5 l?Y>3]ȱfߍ*٠텟)WIǚR?5<7a!pKp;4lTyVsX(3D<JT=*ʠ9(9hY<ցA 7勥b:RI,$hjZqكH+쨔a!mSZЃ\i0k/O3NE-fx j,QMMyoS`Ʒ͋Zi`@ǫIZ28JA*!Zje)_!(Τy}9::` 5dW{Br9R&Y,at*hiB*!qd4ol*Ai`b\$l:M…xu{kkXR9n]hz6H  ?-qw_#D:`, a6]ӑT$FR7EE9ui,< vPRdw5Ί^MimjhbӤ鏎J(1/͍}9, 3އ]0}CLEPkZ{ݺHz8-"9ԮO+4Nır~iWB@ThطB6ODY\T]v6/HQ|/LEG'Rj3dw#+.&CC@`>Q,h_u[x2@(ctϞ oA4k75$h0DcVi 4eE_m!^jjkKP&{9}m㫘׏",:"v1wW uwkw #p/IXa| ܟsahq"v)6g^˯p!ϛ34ɐZ /j\/j kL^4S ~KK>gq<EpJק͗P@^VGR]]m`H: {v{/{m%8wdY~7[ ~Imzo|S=i=-) CKamEJCLHd> `%ܐUv `75oJvr:gՁ uihrS_]n"qB gԁxͦ;U(ƗԩҔk>=O gzsR/`3h=!Gj, 'j+x? dNi)3:=>]an }O׿lŸZՀT(2w wv6%[Z@X,ͥ] # ^F*-֊t3[ uތ5i/0c[r _}7LEsG˪m^WRARat_ϳGL}`{rC+lAk zA-0c~ش"93%))%7{ JzƒaaT7UyI&V!hYyon`hhe@ٮ#F qvdo?TI}1+looïd(Cl7">[ȅ6P㥸g!t(~X'G-.*̀as\Nj v]^=-:deY0LN+z{6s;GA:΀e/# q4YGA~v$yM> h_/J8Cc xs6_8?% ǁZ?\qZXF?ťD\' H4ɶ ̏a T$ ST43[̧ݴ)hp^2mUp#~u; gzmF4zOʆzK5D2p& 2 > CKTGC'W!a"xΆ}f^z: (?Bj_g :y"Ԯ`]Ch i K뮚6 n4s档h"-:W:w"t!#JU UVt<(iW6\gN`wbF~⺆ u+%,>Wnq'" rqFlYl a\#QL o ks[W+*LN+L(8{ZIeO'ngL*x=2²Z) qOp.\Z4HM*G/xNwW̜@TElSԡ(kV>V.O<.ѤeʺS}?OP̰t.ZIG?7*q4%>>3Qp#]-j!K*DQWv^@Z0L2ʺCͣCAIR$ 6Gy;9AF8uw!HHPzҭ[.quKΰ 폷W7+ў7F%D(ڊ-xk}#Z%.SJZ&=M&!bj W0/!fB4N5sFJ_}vG ~eRV1&]*.&=<=mEcPhw@5؈ 1Ft5ˈFc`v 󲘨rMUp RƄAmsCѭŭj!WDdYCspD[kN]C^biZ"rg< a\evTWG?8⍬&);e~0XfA` .TiE0c-@}s<1'߽Xr!Ҷ$ _؀=~UvVТ5fCyա tDHcD)NaFd%R"i 8Y OKo4% ɗk*(S7|}+$JxQ _ m矋;I{^@bIQp*̥HjĻa޻* Ջ$J1GTĵ`-W3wFVE˷HL ۍ=HWdžQaL^ ԟ35ߛ}#{6 r )(^?&4՝H|H|܂Cl訬\i2pqC\ő u!y&MR/XY za܆FEF*=˛OO8Im,Sڬ;3+A:E_Ǖծ!'\ 9KI{ԿpvR%\C딴ޱ 6'/&!_EYp ?6kdxzʺ=0r752(3q̟gKޗQϰֺhlw׺[`6b§q҅qHGzr+U~p"[88` ⴬_*:}&845%/+?ZTԒж4U KR%c~\Br03!1[1~2aEQ\PMoEb \Vhn>XMϮKYK uc.۫~(%-nO|s=쯉KBei^KgzCK;xu_OQh%WH}橾'w1}ב|{28^ PΤJ*_N֩JO:iǤ8de738E0>s>&g8 В" hy%3!u׼"[p ZݢKcs~R7r]$B\cOc w6mtz" [;&t^bvzFDUĠ!q4d+S$Hi˳[$ I3HnS%J7%;dY]= Ŵjd$Ex).&2 Q1+f.+4.em[ EU'pbS+z/eֳ_Khsw^guݟ*{]|6K >|v<7߷\A!&d%dv~Z+LTzn0S:4 *wg3n=MKk7ڱ?BVq(k5oo4(&+/u:F8eyz3RcF#\ BY 0awPsɆOc$*8 㥦}%,Sv>Jgp竳_ )LPh/j? r{~vևf_6cJ pўpeC:TI{Vʪts_*AoA"t Iwtkq;>A\#xoZn~TZF:;3|[, Pj8J\ =ޭ&煆IEHs݊BFjn֭A?r b-V۽lUdv4:Vq")4"`S󶑉\bTPn$G숸U3ԹVEt_1X ZiM$dD%1٢gBXXCY\~HNAz* ]4fxduDb%ߧכd6)ѭL6<:C('Fp ê ! J&\z$Pq$DW?ߙ-[$"C̿W]u]6Y{2FE.qf^}c`b-["z 7. }&rB&g/X&h6@'exe An&S#J:Ph/\@IηX[[3܉sc=X iǞL4nj3C}"0XR; *" қ6Gȃs,\ݴiqܥnND)ߎgm}'v>I`7lNt 㹘@ !, eQaറJ<8`BY},N|rA` ՐUS7( xy؈Y`N l1-HmXfwZFXxX5FoI,s Ew7/$zrIV1@ 7D{ގvƐ6h "%dt6z|aw 9V:JGW֌;FL jzwџ5FKchLZ˶֪)i(㮙m| p aW\cxR!Hh>BE6Ehpd`TzT;}1%О<,_9lDv UL[ Rv ?;~MLW4ݘŲtpHWu3i dv % x3_-+fuٕ0T!8Tpe?C4bIƲll!DϏ$kٰʓtXu:KBi" H6I|`;v nqū )(b)Q_F8aP++ 岞BW)SHV:Mq}n,YNHa'EXo=TwDr%^`S`2E4( GT,;CVhD|Av=\%&A7ð!:4]&d*哝l,G]\iZɆ*W}TT."|]'Wv @]|6I7j]*w ܡ/OȟQ_AGdm4&LI9X{&y? ܭRy TKM+9Fgkg\`HO utl1w6 evЏ&cU|6t-+09Pޜq2(cS,~ZPӷCvu;U*]Ѓ?\ |#zb)^$ YXQw#I^',_dl\t6p`EgSL59fr{.DB'jfČ.IZ?>ѝ.KJ'+CYT`w:[?Z1fH&+lBqz,bh3&;$Lc^JbFX5zCWuY5vPYY5p>]P8N0{@2ж5Ue")s+\ '/ґ"]\: zOW/<^c<$K8Vfyс*3]4)`yR|Js;tU͝-1<lr.%,b#hd^/Y T,c*Ilohl;J69ǺTPIJ/ppN&]Fwͅ >D &K_AX2ڇ|:=()3llCFes[ox_W:iwSƒX$Z"= DX( >]9 hɒď`]@:<=+13/?TdO ^:ZX |f leF{mϜAټ3F=i|~o~cc501mg:ǗA)"+ 58{f !WNJV0΢.pyhє܉z{evm?U\=v(bК"&mrUWV/ߕJz|0D&W IXpwc2Nb=Z0F DqEb9DL#myrY^"v"n\cA¸WE,t̗mY +Lmk\߱Yպ+cEv걮Ч2 wv,~aZz!mZW!T' o:oJ)ygW;>兮Ʈ?oMt3d@a%OY$̟H~pҳ68T!xaKtiB$Ԍhy/mΑ~QũKhws$`:7zeJxϜF1?ꮏ`͕!$-La򥿋V+-f%v]ʣd J'2U6hG9j2ccp{HQd /#sI{.TM*.2`ŘmVj9-PQ$^Zx=[wBjOM] { :)-a+7|Rd}FNUdb-qSWi Ĕ K^6˸YY(@1A-ݸINWtE5/%"6tJ&50JYX:S|=qPLsU;,xAF(w`:n8+_'+=hU`(u\S Ӭp({u {0Lұ_iJ咔(pGxr_fQ~wpL |MSuKL=$PDI(C+Ixh5,1MΞB?UӅesL.es_ۥ4d3.̳R-Հ>b/CA08IK#$2gL&('nqVqv.LT8^; G:qgs8hʴ|$gJD)>=wZ}%w/۹C] Sp}CN?>ϭ)ЍMρXGܔpowG3/:.sIHATT 0;JS?m霞/7z ֮ )iy19W4E<ˈHaMC LeKgD^ 0x{^Ud F]hxmNZŨ@̨w0O fLkE$oH/: )~>HṪ-nܕDCSn _}q{R&Cn2rN gpv$1nf<nh=YYP/G/PA+ V9IR<{g[r9@) TW]3T&Ca|nhc`ѡjqio|h\qQRDCi⻰`}7L}\"3D-B@%Le ?D)k9l%=8|bqc:Z#|GIO39%k{xIy =Cz%ձm;.+Oj%AxBe)XqBY  ]A;(9;A5~WjWkӁoׯo]1 K8me!1>dՕ(֢N ym.Q$x'т4S?n? v }L6%M MR-&ʇdt,p0jA~-# 9L[/Vh"2p{]Ao sմ'3. dw1h 4( "h[b ֮v1$˷)48}k##SRM)~zIl `_KO)|[iwIX#' UvFT{`ЊQwĝc8qVm8ʘd -3Bzz+p}̣:#;O*Rd+E*ډB\3iuֱ{Xe wx޻fI@lv<~sdh'{jU/4hq(o('Ŗ~݆r@h /r ʪfx 1Bxp(w6 3 a_1԰IcyK = jHy37:I*  h+V'3vv|={_˒̾B{,0J,pć54B@+~NCH"!zL@gLP^|^A*֨ZcdqzBB$L|YT]nkӼ%` ; h'21Zꆘ&`@Nޫ6x>|0KdF*AwX Zb^򆷀n5_.dn .n^+''4U} G/ľ_Β@IЖ\|sRb0|Dz7_epSA#E8"(wHf~ Lvd4 GglWKu:BN1Dp_wXR`7{jmxYuEtp[_\n{BW;E%JtñEƤ3yҥq% GҀI*g|`nuO[sqkj~ - QA4dK[?&R`x ZEo*\4I?i; ~CFk j;LɭWMv%w|h,S6FAq 9Oyjkɳ{(^)ǘb0zg!ɰ ;Bgtt ŌMT+o9e'R  Q ɦ%W?VN!ei|9&}.X6{@:O3 䉎}/!>{`'M´ҬpFYmt[٠ODG20^h$DHmcvAN^$;JTrq,3S]>>І}TBoGTlThくhN8v^O^~w߃eF/ 逾CR$ Bvbֿyp?W dܒH/sga =$ {ႊ4tR]IO!NŔdt4zki٢!>\yaK ,($ꊶk{[E_NjS"Lif;b"peE`ǸTNNQum5lT-=FP C}qn<yfվ<@ ';05%)W^;^O۴=[ݩlN{ $'>:`%VP"!nnxjFD !}¢EO[bW 29NXrE:3)]?qD;켍$)Ε .r c. U'Ѷ1t#|})B|=<Μ+܌˻?!*ZNii&tH~l3-$b.vq֠*Pdn~ཾGKr<]5:PlkEA'E3~U[kŐޛ<ԥWdCIݏl{֟v 7? jT>+i{RF=\Z8ȄIYS}hrX Τtio`^70ahU QZbQ\E9Ż@hV$-`7J',C~uuAq*3:+bBsj@zQbti}Y/U#w1H G c3iOwB&Ut+ߩh{GQLv!*7,d8QXw#o L4걈Ib?gJ9!;zI{ɒ~bmD?dCq)e{g 9b$m)ժ' %0OUJ++mHB= ՎnS 0G*|/Ui9s*%ኘ1]'vjQYe_]UI" )F:Ynu72!$~XG,Ɔ>CFQKQdna'#nOÜ j+ 14s2iW*kONC`5 H0al$iBlZ3fuL;H"\jߋ *W9#eq oS{2d*E)]FV3dDr jfXF !M\7;ڞ}{0mREA;{_BJ[XݾZ v=K˘t0 bIV.b ssR,GO[Yz2Ԋ(-4 9XLrē#KݟiK nuS4HLMip צ KT)ZhB33RIgrƝ C%HdQNBɔ"T}g:F!sK ePpHgV4Ӓ7n F'F2WͰR%yP/t5 O܅׎w*|a{0Nx^{p^,l!uy"Ga|',STš-ޖ f}LE/nJQ7#^W0UǸXOPM%6kP9e6-#?  9,d>բI퇴n MGra*=\YY%AqD'^f^*%'D6?ꛏh8^R Xqs ~WIT%ivN73bpx.+S.){H1ipWyJq(ZΤtHq 8u˟gޙ|M&Ϡ2%*ԧPb ͔d̓ 8k PXd>Po(Sǜ2ȯ!e?+5ҭ.1yO!LiqM| T!EFRb2Gb2^ Dv.¡oiU-bm'~Mh`۪ !GA)@B͎ XQ:@~:,kPNQ `ʘr`пy+fjzw6 ֭y @'_X󀽡mHni|Ṋ{;*!{0:*M`5ǿ/x|Xfx{:n"JD10rY,H謗&1Pb [޿NJjl=Rg8弍nB<_FwjM>xk"4T ӄYAUǭ|O1"҃y٬,#૵3&eZtݠQ 7 QIĂp)a)7&dpޢUҜ 茜lq;Wx25뒰wrrmm0s:+$ÉL ">6v 3>'PL\,8yx~zY-546x.V~[(L5lI wY]h3^JB_G5(QcLL 4LxbdSM4{}93..O2B{땷7CͶQ SBR!K'/L(>%}- K^3Bˮn5#u[(- % Jw}@sr| aX8.IOAn*}25kCu4 2" ؿbsSN*̤zL;xp>rV F**7w-'QqZlRxȯ^p=@S׍3Ppǔ<Ȝ8ҩMP zwykyCα?4Y\hG5ߦ #[ 9c|/p!68'7S[e,vێd-iʫL+~#D툞m~1JRΝnYl =gj#{w-Ŋ@z9 GH9dDTzX.YPے)子~;g$srj`x37*DU:CD"HM!Y@2 `)2]| gxcd(:=ͅXT]tp"OvrwKd~D^JxH| b734q7X2Ӄpn;5CFmF:S$Jv0_ qJ'jUټ Lގ1NòJK/- #!W1\ȩ""g& iQ讫<.J,DP}?AU#VLѼ 5><~7˖/JNk1Asn̕x #K$unԓ;6'!p#{Nm%ח ~U_rW^ =3G}v4O. T^O.(H.\fVL2 ɦ8 MXE r{eyGvmeA>jruߏLIٓP6bľ WJ[YBr>~+v=$DZ;'}R?)AMkMM*ce9bGJoNjo+ 50D!S3Ț Е~T"~)RNǴ~:<(9ȇb rΡNmVdX "wu}\RcFߐrRCq QbvFK?{Ldݖ$kWaf7&s 0I4 QB#gZQOK@ץ/dhAlsDL(˾ZP&7iِ새UfF8"`Zq8){BG=RnI=)z8y;?/;0&FyUc2aѴQ$5_hezL3EIܟ!~3T^r У?a ZULa&@/8s'=Nߤ:f%<޴b/V; d3Pde!%&*en ֖d| 6瀇پd;~TnJEyB2d|s)vliT\"#H_?!_LqˣBU3`Bzâ>ҝOq \r7'r;f}2PpJ-`^GwLCP񒣘0:Kh!6@uPL3dh꿱aeb$R"O3\%sJjlCY= \la%LҫJ)`Y}1TE~ q2|*A)J盖eQ*4.A $H:a&43ͣZ6Y1/ IZ..Xkv[`nK')`VL\c =X4[9?gь?#.>XH)K {tb|Fvpph(_~Q(ը &CWdzpn u3۞X4NF2AB|9ҵv@4%s/_hf$A1@V f@ {{k'*C p|n !Gu+|-j5$o2|]HS)D\B6r19{G 7@P~ qqy1pK*)֋hL84dmW4Qo>E]Hd``cm0(}G2±BVZLEjN%=EMPx9xB/*[ VΗeG-4BHj=+eD3H߫ euP eG7)>L-ƺSɑpB[cnK_s۷-`~ $"6ipXfzO+ƣ!' gJos BY#-֭Z;,Xf1]RaM)"L!2Lqcb"%83<`M!隴.ڻb0kۗX%C<@%+h9yg<,ƨ#@?~rZ1%rɔ<B-sL%E`,$O _f$\?QdTBQ SweV8E˻@gLLycv!bz*i^~:#.6K -e-Mes'%)!|}myq }l q rŧz/;mޓ"r*7Eb洌wR [y -9fHP-/ߣ^E׮+ښS1+V1˗^ Xӯ.utB8'US83NBB]%c` eUjv1Ϙ(]k[]PȕzE;L=lܥn*OS&G5e&:UFfö- .$,pV'>}IRjD4,DHOa7q+p3Yn6ͺylG+K Ǚ,-Kh@̺HA0X$g̅Ē7Y06l!iS.3C1vHvA 9>3<3I5"Hԏlwi*<9$m"D=>OPK}!R9\hjPJ/uUJM36C=#)(ڇfO3qSJeքMigjبmAVh3p6PD/i))H+w$vaHaZ2E~o% 6fH//uv< ǦlBd{tEʠl5 &hgL6a ;s`nܬDxgL\czAֶ]Ata~7l"ҬuLhͤ{|*rKZJ7Kd1QFՆ ]?"z3ךּ4*}C7T{Xc2Z En˛6d~TɎ툦c>, pfzJ-P9cܤ ‚9sĵ`-Jg Iɳ~\kL%k@5\:k 6NJyQG:IјP u|Q;eϥkG *^opw;( >>01J,Lo$HTusP-tN3S]!Mƨ>KADp Es%2?P: ^p%jV;GL* ecHs;i#D Y/~xwHAT?]ODgp+N*cjJa0Uqdݝ S?gXvkd{%L)Ԯnx,v*1l|9 lqԴcx5$n>Qq$o3%L{$7rtN&z8_zl6^}Z!FA"%ŌuHn Jfz1=^g>vt+.bSV"hG}GW4|Wi~-Κdd%F$0ni0t-E[UW3)p6#fQdZ ζ~THX եy̱/a/ 﫡&#ʼn.` D{$,IO'ь] 0xUfST,tR 3gM9\<赣-_wL-FY_ Hl*[(rq . HN]МRy[ "0@Je_U}8^g)?#ɵvΗаF Ob$z 'YĘ*>:DT,0KpcY&*>Y uTr9NsI g,H~%s1/ e:a_oİe!맾iɻ*b"StUzG ''\8:"qbVm|itxth/?iZQ/NC _`X Pl)lƻ$o^O2٣(@jC\WQ:_I<&jU&]ʼH$!e>)˖`vw $~S8ǓGZ[FQ0|,nk^Ch1 Acl>\s?"dN<$'?RT!qĄmTvf8,@OPrֱS''Oߊ,2@_N.7R\\9|Cz^\!N\RَT 6Fze4BP7#I]'NTkH=DgU0>)P$O{T26ɢnU;m mwh#KW~B4q.w]!d s层["0nIY쇳 1VqTsߑ~ zaؿ LJЈ] A:4Ru;ݲPs`iU@ERNR+|pP,Y`o/Ic\ 1A7S 0.Aqإ5C#|Úh}v* і_(^w<ȨLp PPor`'}`ߤzDC,Ft;rRYCBM;Cj&I_hYL-vJrC5tvę^B2H=('᛿3MUgoҘɡMx[-ROyŇ؜4lfI<]L(%!!t L& t,4S~eYo'պQ: wb,ay,e9=&shr4o`b{ÑWO' CE1#LezRM"3j߆%{Z}gujX>߮6|5*<84\z)PYQHjwzSXdza,lX<(e蜰뜵0WqAU3 ºNtp9mk+ιdarH0&?^gGYYOԄ.t)EJMͥs7JG˴-;ܔFxix+s,-b>华b;YUh})M$Rf_*뤚*/- KWܩx?Id dA&`Z^Ys6oΧƧ0 hhQp$uE*"x}=i:&p&KU ?6[dt5{NkLU=I* E=vITˏ!9컿#_*FؚqD Z +9/U(Av{0<1TtJ@Y)VFwtHYEBB hw_0S^I CNHa+&4*7V^| 4S>#yni#=>ȿ ;zVq !*0 %mJ8/ӽ+ɒ~GܷeIztȫ0a/ fqx(n kXj|BT1ya!u\Zv TKcGwU^&i@`7S;#_lH$ ϊP4urh7"]҅63);4P;Ո?^?lsvj$̯Ny .M8$ܳ&`[ FV DȰ̖Qm/C*fGV!%2T+.Ht&37)G'sų +& WV: %ɪ-E@~"|0d+j3=ep $%|;SJdy7mG* 1א5J܎Ћ @K}4$V5V"ýʓܝx#dSd+EmL~2L[ y/]stGt\UEd`CS70*ǚt4| 7d u}ֵqK{Y<7nBm%<顢YT6G/d_d}W8ޥ$M'q[[q} )ܥ#ZЬK1e 4k]gXj/j_n*ԈoU:2{j[4V7 ک)ق)W\0L-p4֛~5콜R3 PIcAq^1!#,cea5rX'+gDA!k iZ}+!e)f3r*{& Mʇ.3! ѠxU I?z99-?ȴ@BHCd@&ǯ{6Bx.e>-GS}FXGIKm*VZ@PzxQF~bN ,%H [ߣJG8NHV$7L{\3:pE/R|Alt SD h> 4m.^V8i}&t e#8 ;X dEQWp3lE`?BhCL^Ng |"mCzCD c+ T Y-n ;VF ʫPW<TD/.? MxpBMPp[Z S wc79*D[-/4.o?N H90fBRO&ɔ^>D1Ό0`t#Z@Ϯtw7CFl&KְWhH.oN#Duo3wIXF+g <'o.90J9^(q|8GeCWp]ӡF6t6dW#8A4R`w%k TH&kxTrb)Tˋm(?=̓Se&s!9I%N_Q)7ufe~7"w)h ,ʃR "DŽ ϴWiq4sbj+̂ /]4:[e*س>)>""L4azK [Y(JU71i;@{=3`*4ũ 7=b`3YoNBTlu-!2mzj}75=͉TNމS荢t IGEtq'T7yxY=1vý 'Q?AȜւ0c0IͰ (RcpCnB2l=aSrS'EpƷ⨧^05%xdH2~jLInnnv4pb\@3,SgΨ6LLw~(CJ8,*NSg 4OwQ;# D'r~X!GP"ZG3%mfìgSucK%Q@onMMz9HŠWL$Ԏ:Z% "QOIp,qg\<\"oa. хo#ڶZd#yU"$ixp0I{x,nlrޢȀxoD'7\ˁ4t6tՔq(Yu=g'6xE@3ePڴقh4z/{]x*YOoqNbX㭇Ѿz4mJ)8Iu7 $<͂Q2._3P%fUDڞ#4giJuEA~=\[8G+QnfD#0m8.Q[qD/_ka(" Tj.#RV :z]2ϸ&}; 9f9Y竐N+u_C^%4*Cd"-gnA "Iv˔'vW!tcb|& CtEAu(BE}#|sT;,ÒbTNA] txA<QUo\*nD"ħdLI}|-vkNZI@_|h,|*Đ[\鶘ݮ/XT Мz㎙ 8if#$Q<]?: oVk{d}ROt69ABLnj33pDS̊&I7}_qBhávF{E$8?q?F;%ZDj.^.+ݚn+rẕ݂۶dA"8qnȪ<-S|kd&B.gB[xH4_"eZiDraxL],= ,YὐNW{[?H =2+ݕ0|&5$x; sx<"?THšdW{TJeZ_/GvQ[+͒ j)0>!𑿼il({C+P$NOcz># Ѹ v<>ĿiUyDkK;_!]gd,"U;?Q.~Q fgg{waO^b%UD(KTr],η4ڐKCDmtT&r?%f#4FTk7B WM7;ۊqDA.A201L4oXLv2: ` $O+Uxpvt?;1g?=`X w@i80B$A'簎D}?! P_n&},ZR̮"-[^UOjRF.E$dKl3ll;ɁKY&gK[+cCI#_7G?s1D%B#=6h{."LSK&jV@4IyVNb-}W)YD`NK{ssFoF_f3$8i,\}ѱ~g%Jp 9*{J4B9L&" ~Ah0`k`Tf &_CR"ӻBP#[&KUo?(eזBOI! {><6s(;+X\C~tSX.0B[rV%~^{NG5^XO>0έ~&uer)'-&.G3 j3 ICkJ!bqZ-7aA8?,dΙ)qw:qafƳGYc 8mh6.i y\j_Me2]?\3{[6E 6ohZ4O%8}׮яΊ&Kơ,}O@n!Jz7ɒt H,(4t*(u]s Csl2N=sqci@crq8=.4_s4 h_ fׯLFՃxYХ3E.\)ʝےθws:օ \OqI1M_yU/Y!x0#IG&8ۼKX Rk2R-v΢e! me@@;D IFn5>obC6=Fa,˘MTɪ$|p"4h@EY vv;,%nOS:IlQ5UtTm0<&Wr^ I{נbդ`.~v3XLݟ<}Wx 61=AF̕LS^rˎ2EVi~9*EՋgB- <{E+'8G<voyxVJY,5eAl"dY3bxe=D(:;>6B{ 5n;J|eV2lf %sJY.̵c^tFud䟸j)nG"8U:-Cxz%ecLG2Z)'@gBͮGD!wlaz(*B.^E6TGI̙lg7,MHo@t1/L!X}_ҫ5q(q @jNXD@X19 ARd? _d3:\MG<* yv9dfKN[LVB"%\j/0 j {-"h!='~Q- ?&TqNz/ɘJ+~iZ:zqpLB1ŅiZ(%ūsX+abFT?xJ1r2CQ1n#) YUGHUCZ(܅ 6ESܫzyU@F0(U=_amc9髵X2l_aQgiU77)`un'L=oL*Sĸ+1-2{ U%VNM$(,u*y$l8n~` @Xq[&:X 4 *ɍ.]ƔS[V}AjaKA՗Ό> 9;h 3R岸Awknl-HLwxbNFЊ  G:?ƚJ#\nt\*%,[K=uȂ$ɒ@#(x<ڰ|3Rjo+ϵ[ *T$^3 C|#%<)[YZ !cQP2r 87H΀N*݀h"_OPk, ەsivwAGasy`¨5Pb&Ӌ.19z@Kj0^"x]gk@*͡c`Kb/yTX~j6֖z1;L4@ Q]!(Ő8;^Qe©n#iPl!oEhDke(gxX翥ܠSDfؗBWPҸ'඿[K | cm?R1.p{@r~W帒(gJO"bkr/D2E{7V (/n]h_<;l*ݭ@DM:/k} ,%g~j_/z^r|mk'` ^L" #)@04zoOrً/.sks MFV.w"Lu(Ӯ V x<s7!H[ߌIo EE2{Ez21:QuqQ}X)8Ϯ+QίL[J#JIRBS hӫ=jo&?Z*_G=qP 8@n($YPsz[uHMJO%ño0VRwa`EB'Ҿ ֌E( K6}^x邯 ;u6|1dJ`_-UWI}Htb#@]SE`f%}OJ?@,GvpuD (tq,e/EslU|O ³-4n\HS1G¿ӐU8ް5cG[ILõbge͟e$y?rZ˻8u_gTdlTxޅlI tÄsTcoN{f@X5$.qh1E 'p@K5`I$0L+FW?B(2>Cfc^c_ZqzDh{zjpťh9/'xF4nl Pp0ydK1%ֵ*.bV(Kr*>U+$u#*;ܻ0:186{sϣ*\ }챁֚$,t ufIma-~!3"1'FZڭ9?4:6lmN}"xF|`zrַcO  ݡgB4Fa =$L1h5?1:sBbrDlr׎ր+?E, :QvڅU7 2ͦwts'=x3;dxDވ"`. e?@_!v[4j:N_jcɈ*5tky_T݋wN"08SvAgJo޷IRmB;:'ǾJSgx9?a)DB>swo@M.jh"AϼM4@6k$ sob>k Dm\c$!vŵzA #ڽւOO6]xEؾrf\"']lgɼ}ubvh3Ju,0H3Q8A6# *KXQsqAϕUS1A.4sU.`mI,Ue(YRB|pK,NaڟV+P|ikL1Ae/h?pA6HݔSd^7FbQ.0ά]Am#^ TZyw-NXi8?(r'h٫I ᢒ XM3lw?sec+B3ѡJhԐcs7 1Q'{k&h ykqvom.T\b-D!`&9N5 ]'jt,{~rm> `1bGD ޯJC 𨊓Τy1}.¦p5=Z+7OuVH!a]- X˘#f.ٻnY\Ѡnu(CQw(߭tT}JL֗ @[Ǫ[6llÝu3|BH?R D',ǏwbiWr٩IJoۥ:P.ߎe(F1ɢ[IK)2@ERZ {敖/P!}7n[x`=-l1BL//ȏep:OL6\Ka^cY2050]/U }X#jy4ZÆMF7._"QӅeΈQ%qHOV7Ӆ}}h-vfIsĔ SM>^d<* [&4a|H[!4y1]O,lB75;ؐ(,dXAϱ6 I+Af>ߪ`sSx/gC9bS>A D=hVJ!ߎJW;L5'(wlčrd3S`ڳ :?m(L%;1Ldġ/)n/Yl55KVx\`1g{E0%A'e_7$"F[ kOz͠a3@WlІeT(dRs "NԜĤ[@kgY:s`W^j_K2GhWR[erSsïӿ@]DִC:M %yDxR,LNJTD=::jPQM}@n%ܸH,YYezn$I"*p&+d;NW\u`n=Z:mt.AWԼ2_0|޿qg n > cֆJu;ru3$ޣY1(!pf]ӌҕ=eٺ=qtNүrQs-@>{h@^ȶv[%wu'5HJ{t}@2at@]NʓGDqAvedVWf0^glSs!YS;)h\bJR&:LS'c'P55 }=㢙9 e;Ok*7ҿ$b+ wgͺKDQNL<>AHi"PPS3}FO|@+'+[غl2==HhhZ6ؕp@+%U jk.tN'vVHG{,.Cbt^ fB_Ǣ *p|hchKPpBmCڈc"  KCЧX&'̔-J;Tm˛'H8?!vs̶vc? R@x nyd^ݵކO{G_W,lXWԄylݯQC3"b%:U&z}JN=. Riw(-N%:0j$WaX41C6 _cQ^WY %:H#^ L4Ip%` Ƽnl&; &/ʯe^|aNT7- yw4@Z[VjK{5dИIҵ57lUߴ%@uSv8q||e 5V=td~+ Z0>ȍ7c_lڑ/gIE(q6 ;@D/!)]3M&8AXlޥ(Ō)~VGsf~[mUyЭ*;ű,$UN?d P4{hF^ <*n牪i!~Ep!p݋/ zeq5gƭ݄FÃS VN#qI/q6Pz;.nF)Zt`OښXtEQyc \_׍mG6 1D!ӬiIIBxf/nY4?I()^8KBp*AR$.Ro:' ^&%WV)eֶ sAggq #;mC`8|\Źv|/e1N]nȅ8X.`=ebC@a#eID4\e#څFHnO54+LflJq, \ Kf)}ouJ(~p5.)G36"I˕\fΈHСp֡]5DwzC{(9s, ~@^܍B9 &b8\/7;0=kfKCjnÒWOLVm*͒wBjY6A>#kdx wEp+ %hhZ7ڍyPN?.VU=bk ѷ"ir HWQ;R2I[ 0Q;(+K._:O>G"η q-g2;`<|DxfodO;TN %NCm4 D*%JGSk*IYcq:(&|@q$*wP-_gbJuuoR.ēIW6P(0=a6mSXVUe͑(GvHoh$EMv.g\b Fd D; o;XlQOFܖOi{;|f9O((e gMR?aޘR`L8ϚZ!‚daP*'= tnmB2hœr&mPƔtāZFsOJ&'j['cY<嫬[ߗouTd5[lBF!_) jo{YjRQ^Ǥ-; A3)af8QmZx3_@4/, d|>f3i\Ӧ-oRhDD|!> rϭmdFC&´,@ w;r=ZH6ɗF}IK9͟T1\c%,aN5jׇ:aI0̄36TJ'G?)_fsWϰۓi_{{c&;&J]p'/U}IWj)t_淙2)'M` 4%q:.**1R+߃;B`i8nkjcNdnM<|_/5hTmc @:+E~'a Ll%w@'p)aʹ0نe:`;֒ԋ*3}:Ǽ:^W SG+./}ڥ*> 3'ÍTPtRP/ɝ-^0^LTD;,ȬD%{Ys:®plRXd,1)i')͜(>KMoʑv̸`D87owX! /lc!We7U.%Ώ6tcKt? ʍln(p:!% {}(3 |Rn3LzUGG[>DOJu ZjK-h(-Ĭ,eì`eA'/ڏZMW"hn 8~WTq L?`o~;P ?Pvs'lR;\e榄|Rr5(>SBHvq\;ta]Qp"\*-@ЯSwb86vc0wj DҗJ?ݓWh_7JKMڎXu- d-[0ϜӟWi#p+svRvK7di ؉nјEۢcI[(ZEw^*/̵j;  >ɄB>mx^N">%`*Fx7W`ԕ*zN|q].ff"Lokǜ|ӍEQ+ 4+FT:SbG"P^?@w&OuZC K5}U{9MʠJcVU:jd:n mcNr}swy9'{ 11H(Fq۽Ϻ awl* 6u7R_v5r?Ҏc QD7 I2Y.I;5fB "e:]|׀>?Z,xb]4F?Xn !}5{|󥲾Č1a?1^=>c6j "Rѻ'r=6C~Es椈 ]iK0p/f[$b 1ݦ)xax SڪF}_[׶HKcyE0;l.c vŎ[4))1)XA6-주 L >\iaHH# ?Úk©Z`O}7;]eOn}uSYA{|{ [0vP\+w}(\"4||YW>$(^1jRfǢ0ږ qoRӤ~8b/xYWG+p:HSu}ܙD`_oZ<2Z^"]}ł}b"(ܠp!φ6x6+ (MN[lӵXшCga賤- Iβ5'ca8#!ߤ'7p&'=0)NeHNqJg;$YA?w.8Kf4jv/"tvMu|pH;K-8¢ >kQ^V֛VgNP%N^o^%__)м ֳgxM5dR|ncKt)1oF ͭ{ p5Y$ $!!Y(B Tnc`64->n^^ y_L-ߋ}l)N|-?JdZ <ۗ8 ǕN(uS+K_0˃9g/CZ(B"K?3*:p._Er6$j v;BP1% C!^Kځҋ=;8Q~NY70VGm΍cΨp!fG7ү|GglLʫW D7"8s/MvU2WJ"+߾]Ý ܷ˦%/bځ.{Z5-{*jPy(#˯~k5`8=9pPN;IS[2isrΥݙsM)(,R605ޥ?gm 1+5eAЬ5 u7V+7up[L5/-nP*ElRft8O@SņKnͺ✘ln<-9P"ĬӛRP؊@_Fp\:竦WKŸ. G9k` lzC&wWc.ףeT~MB'!7<҈up49ҝ!GG;;|!u77G'9 e.%~l XtcwS֧doּ*v2y,@qҟ { =i9Z`j6Cay.*v\cxbse>%C8J-|!KpX0R4?}oOlxXަj>6zU}SU;M0חՓUNSq'( ګ2 >c`I[骂 Y?8!lFG26qY4?8aQd'#_K[n!~Z56Qv#o?Uwm`Ł0Л,c$%e).>{Q*`ǕBNe&jw9)u>GfAf&>}Pa#IAhǰŔz,Y#)<1ShVB:fU6BgИkHZDRT+ߕ¬eIϡ%EmN: QFཅ b>z~?sNke/"_(Ya"RGŪcEIx(5|$á}90gSj쀢-+E ~\-+tTD(wqc wc.4qxOک-e$q)Gm'Σfs6;KGrI'=9%=૾-֛"=|}v {,LRͱEڼ-w@ÇwxRKˣW,[]4κmGe)&>IilZ`Zr16fK*Gd!yc$EªF2Y|`}xxJW -|.qپj7\-Ft>Sb0ylf_̠dfƒq{eb} 4ɒޑ"4?L{:8hT;h4/M ̀38{e;՛jq"Xk Y~N H&{(/6ZgΧ?XvN/ID熏"+ZUyJ7ܾ V+ Wf ]8#hIy99gyCXfm3/2f)#631E{y{C˦Gl(V7_ {^y \ MkLXAЅuMqgIz4yc26 _'ӽ|z5o͖}.9ʎZQ YK\M?FQP].pTt.ќ iMJgB ~ ^Ah%(miJ82ic IhL&B(ojHI\ itfxMf,IKuͨy/s]XcKG6UL'$!j~HEzFotY?hހ*5SN_|4Ԕ8ixxO6p [1U|P16D A[l3K TH 1v@2)m)^t\`'6>]Sr- zZRi*R 5f8AaD9CK 4]#"J QIfokmiFLRĩG9 ir^ɲ+ڐbE"B#ÇMY in0eW,DM0Ŏ&z~O棁|Am | f*?8i6-Nۙ)}E4/F71܇6> v`ۍew+Z-Ut O*xՇo5e,^rUT-O%y;-c`_F03H?]WMrS~uAfw(4gDWx~~hb鬤rcgz"YfKQ$Uy~,*?alު8-P)bQ>HB3_ȸ]E!:K (&a(%$BM'dT}uL<ݟ햪+d>fhU*e]DAIZ!J)9-j<zU ikLfM@VX.'"=X=lÈT,8/\zRz=t; [S_go8t5MJagt~ "9X3"(0ԩŴ,!%-!)ycB+oNY7E7dv@؝rNBJkaw}?PHN5}{+ [R3}4əKo/7&Xzl&Gl0&Sr,h+˙TSS4 :29 ɩ,¬ڔtHQsmɴұ%p EK`nm4}1GvXRh+en%+6ޣK^M  jMr~+0ϵvH ۗ>2,ꇫv8x]xm"גhl}aOѪqQ\ct?SZFk&ߝ@JHEj412twc9"Vf7Z໠{pe})|nANn7::͞aiÉыoZoBy ( I*Ѽi _1"e AExXdi-.*0pa z.N* - yԄ^XoF2o'Vֵ`Lv+gYZ00373f1096635d47f99703056d4932b2c263cfc2 07288005b47a45c684a99fc2a9ef65cb0ab5644a 0738907043d9448f60212f4ef776b0ad444ac916 099379e03c73848cffd2ebcbb3dc99825b1fbed8 0b48a99fa66c750e2f5221ecfbb74e286c9a6b9b 0f83e9379368d232af1423c3a9685e6e1cf74f88 1150e2a28f4eb1fd6cac72c79f65460e7cb70e62 1265cfd725a7f4545a68bf17af11dbb36dbfa2b9 12f77c17f595eedb9c71fc37f436f86ff7647a6c 14c612156aed91f8e723f97d0d9caef66bb1cc1a 17d6ba1af215abfc9a7e0d72775e791f997784cc 27c09e83c0adcd57e9417ab1126e36cdd96f0c8d 2aebe1099077b35e9e774b3e59a41196f81f29e2 34221437a109a5594ba7786476b5abb5979a2647 344ec78dcd;be4ebb7fc6e1845889a17f7ce3f03f 45f7fff17fbdbc853dc5f25944b0992e0363c5bc 4cee7a4a8ff3a6a412156b24cb39563781feeea5 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 5115babcf82b51329a1890394e7d219241d1cfc9 5117119a178eac69d137fb85243808da2d667eaf 5235ce6aab6def25d3666bf61341c40d04014e89 5f3249c9a2080df051ec979e03e69f7b6c37b568 61d13f390a9a8d1e31ba2f9695654fca769788ec 6cbe3000f7cef4e2cee4ee7c0908cdbd8a606497 72654f471bf8124e48bd6115516cd18655ca2033 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 8509601f43230645e69af81205b9dae4ebcefe25 859a0a8c3226ce4c9e95670976735845ca0b8d8a 88abe6a90bcbf4223515fa5d0bea9bd11681d328 89548541d85dbd39bc42c04ca2e2b06eab0af27c 8c3186780427ce1155750a6e7dadb77cfef8adf8 8cc47b744beb3fdddf2f517591082a7a94f3c23e 8d0acc8f2f6d6274886409e4fc4e27d51e792d93 98e56112c94ef1e4b2b588c91ee96072cbda4b3d 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 a07055f2fb48bb9ed75b82681cd6701c235d6918 a0d7a666e1ef01cff26fe69e59978baa40c126ac a4107a7b0006b2808a6643c0816e1ea043f6d672 a438efea6288f9f4f15f7d643bb504a34d38c343 a6d881014016ac510413e96c94577bf126ea335f b27e8549c94575a704e4138ae768f609ece9a3ed b5070ec08ee2acd5d10039e298f5e5cd8284bc62 b9692c173c620ab74dcddab64d2d105e21b9f42b be0b3346a4d8e6784f2051620536f3169c392da8 c3e6ead939a35a30532df747de054efb084d3245 c8a7676335b10fa1ed54f187767a3fb2fec547dd c9a7834754ca020e75afb9d98e309c88e75bfb0a cc49f191a1330d1b26b2caf92f0c6cf8b98224cf ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d051334d5bce52e784fbaf69b41b2bcfa686d54e df4a72d4c2ccdea476aa2a97ec6d075cba60850b e0516334a3db6388cee0f6435546b6c827bc9afb e06cb36c47e33f0e8b8f70518d19fba59a0e5177 e3c438bd503158372dc2be23c689a43bfe275b03 e5da68d0133bcb57ad77edd85385ed2062b6cdd2 e8fa1069e98b103d20da55ca173f29b0a315d03c e98d989b0d56b347c6ee1a9d61645ae944ef72e3 e99c9d3ac85e924fbbd540240817aa6123a13bfd f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 fc8203de16c61c092238a1d5eb780b1e7d4d11d37df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb5687f7703b3a77b11d8ff2c26ed3e2afbad9fbb7f6