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 jjV|| ]]Category3:threads=2elapsed=937.220cpu=1645.540gc=87.648factor=1.767zXZִF! u'x]ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo "QQdpɔՒwDP!#ϯmzpT`yֽU؄>Z/U0+SC6]C:[,2T 9˖?k6SqXXGQYFcF; QV,|7|)M:5EaK91-X}tTTc1@TU\2nowV3-N5)2"o \#iO ,V/ɸ#B~*:F>M#, e a<ʇL QhdB>D8Ԍ/. 87Y uĜL$qn%ű6:=uծxjTK@lխflK\?o^4@("fj= o$=]Q6V/?Fͫ 1Q8F_Tư!B-#(" ?<+d#ݗ˵b)oN` %s9XOkLEzmv'M_e 9dFIf$c&K#q(MVܰ9cg(DX |-^KCǑ7)yBufwI[H|+@v􈢕rV6]#@trw,nK~YL_/꒑(wȄT|}u"K~o<`]h+rwq_ӨMM0ڵ,e:5yN$S!Ee4A_R"\(r(EA׎zzhpKRdƆ\3B =$ Z4&L2YK k/uo(|} 9-&klx:[!=_go16ʖ|[X~*otfo|cs/A E{1m |frUI洖%LL(v# Ja] BI/9v͈:X?w T*+ ې9겫z~s0~s7o0`10$k\zQӿP#*<bԯNWKv |NPU<"]89^"s!G>d-ܞgb?bYHfPxϧyFhJjYnk |SXB:6 :rړY·7U]@vǛcW{>*c6 %q9m.H1S_1j-Rp~6JM.hyM[8θJ9ڄoy)nF >aD*6 0h\1Wg(֛eF7=1N+)`-?Y?|&‘3d~B(CW zX 1o}38Z]s'v%d̂~cwVYmv ČwUX3|n$TYKbijO%=sEa!1vOXJi\pHOW2(5߈y2榕T\!of;/lbT05DVwMEy{ۥs&(^BPHYOZ<4W9mNf0&=f|Hg'dw<'<4_0vssϏ))LqGHTÚx1ʞo@9J@+yW+P֠Q\c\   Category3/axPa^qw{6auoL+Aj,ks#ܖLQ>~.煸A]Ÿm[ \0.G ` r.^nw-ه`Q9+ydé)bj.W4T/y`"Lil=[߁̓`3Nec)oId=W2"kh&xi*C+%ӗNE2$QbĚH74mt!sھpxqr&S\$q:v`Xi_& $>)ln52~ç';xJbk!)zN.;rJ=NKĿN$^ٶ'}(s]";GRz4,|b컺ecPXF7Og#wz~.݃K^B&DS (X`v+'O}ޛLn;TFyߒq1H7 qWD;3dM<L,}r]biI-oOcP&̩P- Αr RY;ie*}#G )IK)yѶe+[~)4uv0 pjefgq'abc(y0.3Ϛ$mdfX'@-tZ1!Fvď $?: D>}'2X03N5S_lGz2{>&ih'K,@˝5 Dng [:hU-mupFo!ʴϑtpWFb:hDH[_GH7Y7 Fg,B><[-)zEO0:.W'ojq#8> Fd*1.pbuaFZe~KDtoF, e0u|oXJ^dS;^rw$(öKX p:3*UPGC= xb#YRsȞ"ih ;x(J YhZ ؘ?k$Էׯ&NMU2UD@T?- ilJ+w}Ɇ?7d!-+1""Y( z:p}GM0L;fW x$F=ȝ4w-?_/j|_L9ЦF:᝷.ZZY TWa;q KKq6yp= TQ_$G! 2'W9Si9N`s >Y]dBj4^-hR[G -y'7aAUkou.A$8kG4tqQ@$A|-)hiԧ[YVrB~ܺC~+‰0MWv v'A-ЧUI*nR+,H"e{k4;QU5 w-yjg5%u8.{s_F $Ĕ#{Y;Nd!v-"e8T`jV GAzgNJ𱎅@$tp?7(#+cΪFh`9lUa!j9a|q#[\7[]VOYǠ& 4bt*r@N,VȲvd0 ,:~ERܷaC iNՌУj5Ryr:r"v 뒏|DYVu-{rK*~(QY',#cWX7j(<@)|pnmOL $׼RM>]ihE Z/}(3[غ!ON#0aSz撿L[qdOolOtw2+A籉 ?[}`QdAX% OЇQ./uLYG<7*qR;vTK"dnb^|i#Wbov+D NaU'7gpM3ZfL8M]ÿ~L>,\EikQSvMl]昔[0yDZ?gGtTY_?ըJupf݈5Qc 1.\дc1\#iF_Nuwr⪼![y1~ЏWe13CݲUTyi24e7fw6e!Ma'?ȑL>^|qǻutf?EM+ {hS^`ӨdM`EI ?}zpS<] REk0?#>Pm< F]i-/gk.&kOա9E`O7X?o$j28nW>Q8sxcQt@"` D5UE{ܑxǫe5M2 <..p;{yvK'l>ӊ!sw}hyYXrga}0YGeL.#_{ƨߚ].8 WHƩzdhֶELW0mHe}a65 %'(j#p FA:m0M`c9 b?f5A8Wswk3a_v}h7Enԋi8mG=7rEQ097e/PB;E ]+$U^=@/gq%- ;݃E^k؆zE.AI4&'+Id aEC^el߻ȵ?<tL"VU.{iM}~a=1}bǗ T ؝!LTkO]a|ư)gY֚ԇ?g`ЖYţ_SEgB#b22k"2#sfIℎg|2#^h[ Y':27[ֻ,yQt'ɒ+z s/n^C$Q`z){IԿ{-Q!߁Ii.c4כBa1l%STh`{ƭnиWA' KHe]o~ Ck*%ĕjGVoAo,1/!HA+7(\^DuG1T;"X,F.\cN|cQݚRKgDk7z/[2-‘eb}CsRd' *腃b lkS8uD)p[4㚨)è;GfǟV =&|4`b>aA5cV8ҿhNdO9w$}eoQ,oV8 ͩ!+8.j~e2{)r! Iׁ'H@87!RU;qjdƤ3R(־zWSRVR76SO-Zge,FФZؗJ&$tA2d-V X&csS&*LU^de3u=UK~ldq$W4bsR.O,ijU][Hň~iIb龊_{#ͮmI@: 4hAluܨ.4CcXr?c!h*^ 'I ;y'((j40SX@~p yw'v@޺Vz2pn q'X8҉eM}Z]Nѧb (X=D&̞Ak ?бt=t+rණY5ނ!F/$B0dAfҨox\PM|F6o_OXwpk8ֶYщW^`qmmJx w9J݁ҧ&~m v4]DŽzt.*0Ww:n!vEÎXi@5 _j``[X#j6Z`,# jW'W,w>eg*֞E%vwo>5x4#ȕ) <4 v<@yߍ܉euGc2oZҹ)- >}ڸkPC:Β͌Y(y 8[ܹR PRá1n)rLxfm"$M߰P0ƣ$b2|.ںfŧ;$t'=cfb3XUhYHd{>r#1On~“i#Չ|fʍg[+ yG=E<_FYӳb`ӻό*_uF9 ʊԣ}{7)d݉` Vt6!tygF&a7lŧшo&"=p(lr6xy. IX{  . ;;\?eGHC.޺w9_'܁ca 0ŁoSjc9kJ,C \'3`A p4ջ3w~A͆#IX'W%7}E#U\1ѻM)@{@sXG #.{z؃BP-{J NSS $laS!F"Vޔ}T<"mS@ ft}"RC 1%&䦕b]Q1NeIUXL iO4}q-zzM՜(+$QOЦE+1_N\>/_/f9JA湳{Dtj#lw$[ i7 }T|V ;hNl7CN".ZeoM*62LN)2Bx;2:aO$gYZ7zXZִF! ]ŗXiɟy>ZrSg,{8Qڿ"`zRk kp-'oXpW:R;;Ec ,E 1J0e Cvlte:3(/̮!Seh7$ |Y175T^uUoAN JH<6vlW.ѝmxYA?o{'I"JGUQ8OƵ6ꥩ|ud zVfu|J|au dq'\A52r3{B#3E}AW1ufgX8x^D+͜ {gYZ7zXZִF! V:]ŗXi%ή24d>f\LeGDZ\\ ?4)?aWE5H 1EIR}ߟ0r&Mu^ɴȆGUJgxVڋ`y82K,P)ZoN2ǂw9:xKKb9ISSXd10e8_]5sd3f"iCen;Iۦ6cOU9 |Ɂ]r+Cav%][f< y)?[: {D::-_QbR¡Ev W+9=eM)tL@ab\RJ ?7&4'yQw*/\s)3|+:GH?/f#jL >d(p:Q>F~ -̄1Sƹ#d4&(UKTX@MC,}0nt(YR)G|'i P>] sKyDfGDNΛնk,FcRW hv? _2!V&R1v x>2<-0Apu 9l_S5h83';hY{(Ft>7hJy_ѩF,"7E}I'Րx"s]{婺x` V `>QB  RF*aHeU[XZ4vt {M-/W24Hͨk ̆h6T(X: q&*nDZzu>5оă^s̹cq!RwpG3UҴ68@$?ZhJ'bȨ.tf^`E'B-s]bLY$ !s"HZ+m^_R>fs`P݁{ *UP1梛ӡ 93f@87l]Ch׵=Ll-\'4W?-" u//,ΐ="CuϴIM /ʲK$ě3nSаEB:OfO0d[B֮ ݊+1I*zJfcL8,4;uS/6*sBB(*3N Ϣ,$aQu5v9cCGKORm8Ն}U _Zʞ[k!`{@uԆ4Ku> :٫\TI_ܘbnFs;Lgm=^wմoDTqU:CЛd ~=oadZjic~G@X-33_Rɴ͈4QN43OET% 8sxc7=Dt}2 =XoVRxh1T/ł<5$}hy*T1{g_zNR겂h([-/$f夫Lf*a6!bBU2e:oZ}l:mme>g'"˜w.*dFP /(]xJH |`YM7u-N-Ns0ZP83pOHi}p]O'N=WMVV:ֆ萦?'>مZhM1|28PJg^t=ܢ 4`B`kD2fDOܵD멟-XpĮH9Xۙ\woQJ|)32諫;0~ZWiuamv"FQbPPb c(C~0R<0C r4jD)ZKOKb_+( ˘_i:6 'v gR@CUm aNޝrr,}cMqkrFmŗ&; PhZ඲m=t2-KO jYm\!C:vझ#%KWh@FP53xXRVMd.b^) 'w?lM؀,3jtL}N~.(eK㻬NPnob ٫I&yݵM }R. jLs:#^M5?tXFFY:$NɯEDZ!璾.KDz!N8pֽn d:7lƱ+Hus œDX3٤(fJpkю GUn=$LZf*+zM!'XHS t`P%({m{hޟLoa+l >"@Ef~)H-XÈ4-?[HY/?55F dz(% 1୭(K=VՃf8M(FQhs/@wK15#OB/N2Grju;mɘNmdge_F!ډUw9('zƛ=8W)i,ces˷[ f|V-&:ML*dr@*J:ʅ6ƼoDnØ t[ҊW~i91wU> .ɴSWZe[s*/oNlse0aLN?Yk D{ʉ^Yܾ-41Yt"ݻ3|S6>~*Qx}ezZzQgCί8KC+L˝sOBZkUѽe$$Zr\C”4r[ͨuT$ؑUEӅ_Ǟ_NGVSn&%3}~ g-%]Vٷܟ 'ƋUȝ!R6vk4PMBdSý^LaZ/\DVr][OpW-l*a`8Fk0o%P"S#OEԾCj1_zLw0 es*T;١Va[7pY  NU+[] 5St`[KV@p)M˷q5 ݦ H|Lw|lxc[ #J6#Gş9 N gM9П8@6<.Ϩ5|Ik26 rjƃON`Ŵ2&GP(^{gvX <T )ˎ1>5J5^nA_[6.OQ|O%FU,-ny;{^ܕ}zgT 1Xs,2'I1ە±O\bpGUy駾Iƅn=!0`Jgmq Ř<4W춃7gҦ{pՉŚHPD*W)ݮ r CkKm9R_J-)7&`,i_d:0j"uu]p"C]Oa vJ>QEPER=_K/x?OBTG*F=k)T}8hj{B8(gU >xUaIಧ8[o5 Yu=zy̡+FX;]EΞ9HҾV|j*+)=9v T 5l&y%y .Ϲ>fwCNVٍ0oYn,L ~hyH]N"tX; `Yb3 e`ֶf˸jaFHQ8]B✵=R],ܤfҎCS:\4 σI|xPVgd`UP9_$>я&-exWEa1nʖ!Ru DHt48Ot*MiSDy./byRbP:GJKD, ^4nh2zpF)#z8<.Š%!J֬b53iiU0 B|z b?)[R hP4D7ȧxC}}`^ Gy"R(iv.ZNG8~R`wiCi@ЯE]gZENu[z{( n);YOxLVKl7(hVJPhJ鵤>F)5asyLӆLOЪ"1}!^xBNsGn; 4٧YX3q"Ū{w ǻ8lh@Sц(7[A#ڤ@%Eq Y[TW?MʉVWa›]o lG9p|ȐzcVW3%lE!뫡b%8 6O\X.+FR!\[1#khEL@6JSF3ʒ>R)(-c#,ڵ*pgH-:*,"y 1Ƿ|bBq:5iޡQXZ3f3a3l O!GFG{Pӫz?ӓ:FĶַ~Wv$G$ߒvpBs fEURpےvJ*6(cHюJkߪZB^6 $Bhv y`%\Ҍs+=w,Bvi䭋Skgܝ 0aJ4}*[j ۉ[/=s"6;O|]Rt^vIi%!bc!g 7\ׅn &/Rk-UWK= %:h]}W+?`Ѓ RV"9C/)C @7Y_sfs~4PGe@omc|R^ I/HonX0I@tci:ȼD4ea0l>)4 OC[;R!( "s47XPWJmh o#5A84|FZSۣ.CN2o[O~Q6=,W9U osed in'-(*m%/ SfiݙH t1j'p[;4F^+Nl3z/z'=pB2]8MrvB=+Sw/_KֶIVNw86e9nɊ,G'0_et+̇ [%q;{>$\.$y)tػKZ(oh9iQ |j.?`W:߉L]ȷq#/ӽ[FZU3 RKI *ű|ϱ,C_as'цI9o F=H{cOxdH xoTIA9) H)BQWB!N 4GВ G 18.uzՔ^,W.@,H`x]306d\fgܩ )'D' *|iQȜtOzd@1D_ajEyWdy5GRf kCuruQ)Z+$/DʋJih;lp@=|7JfTM' mK*!R3Hvw__ԞX]t ׈t蚒1Nj2} {*QUC]KX X`< ]=C9hFln6 tR? 6fcQ ;k7B30[$0 $3vn3M g|9a>1N-> AE{͗cYi \$.|\XGY ).B^0;f-R4nSHcIQ̓z5x\' ` VJQs6Jw}!ͼϋs5ɔNUXU8D5؛ĸQrR D(r-6v [bs9#l淰-~c9yfNР= EFO8jÜt{"w%IX]̹f7umKY9~أJ. P?ׂy& ѱUB`J~ES|ȲhU./0;T} $7M鮷gҫ3YjIhҀX:"ЖFo[}1x njT:~Rl@Oaڐ#酦U͵!dSiQ0(Z?d|NysCDX[1'Luކ~pF$$a.JyпU7ҍGOE]s)hY>,ΝWTGS1{3i8/>ײf_ib9{RHNfYp}X}j[%+O~*pTڝHO\8j>Tj1{miNyHb}zX*sK&X^]2=GH\m?_ɑ(x?;ᗵ yw݂MnCUs>#- kDL=PR.u Ѿ%Y9rr8@;17OxY7?c`mF#zSn%kI>HddR;?w5~_gEحUE&J T)݌̍,Ov;ԐEm&X2bcin pH-nj^9` >5~=<R-|ٔmm&T $_%rJR`Q &PSJ%]0]&t.{Lq(t]!YP؂[x2Bv :,]O(:a\P|RݠܧfjbC?п".0!>X@Oms]4]楻/Ctw`=2Q@0rj%1w YC7 VfQg4&A /G 6)?8`"0"%}89_Z(1:i,,P>׬_G3%w%GDٛ:}ws+D>:겉f US^`5xk\IC&tðj= Wɘ؍vT__f$ iwTSNQ_ؕTŴ|5‹KUjJߌ<ECs&}lVnz3h 9|sjM7n`3 drD❵N -.B╶Ň~Vtq(RJ?;ztrryS3alG=O) So(pԤ-JŕEǨ0"lݺF)y!b0ViWLQSwL LrzQ7qb-*Dv"Xi`!|cEH,si([r?s٧qg܃[ah(hKgp8_ "'FKq & " "S DŽU;<;D Oa 7WѼomV,}{ xHcA{h)On V$v.EJX=_]}V p6P^.3)ejPMCSR躎pNÒKA0pW^'AXkN_Ȧr];D%g3tp)J7M6 RM+Wn \tL{ܟ6~NlFûwHT{Ey|f{"6 ̑}ɧ-) +&*a:7&FcKaPS*PS(HSu*E߉`b]Iᴁ̀Wlv5$u7k G/Y Fje$re'ZHdMt+'5Bu-uT+dڿi9;XBژU7s(WdmUr6 xT }GPrҦ9veHJU2TT04RV$5܂&kQF*z)U’{~#qH pbz7(v5O~z^5\ {8Ř &-M[VeyQ0zX7pLEH\mi?s4a[y{zKGkT Dy[~U{C%k\, 3j%=FN֘x>үmg"&2KXH2E1k3c\\G> $ Mp N2?$`uwzC=7֜J :t:-5d, 5wgu3cZ %a  0ل d7R=tm,FE 1[}Xŀ)}4+nYS+]DSz͠cG߭Vν$|y|j;Bs^ D t:Bzfn6?eU}JɔgM ! A)b;9L5_ÁosZ~,R6&j`Ԣ҂JiETl؎Mt4A<Qt9 dz sɱwoR7ihZ=<*3(˜۫ Y [e8$goIդ1hF[N!D*p`3KvBô$'ʟ7|߬ c)8̥l"B{;?t:^u ,vZ'h2b}ΤhUN^$TBʣc)s3?̍V8Z_j,.SE棷p!(z©V VdI sYhOJGNhh. a]B 37InW=(-4e{6^al v{wTiuAޠmYf|>J]Mp\lvҩAρWR{ƝсrIY m8ڔm.5OfWC8dg2;J4:(2vh! ;\͖i*5;I?;RYKWRb)*#+>~WqSPI (WDj LRZF^H;:*1{X@ݚK!U R_2U,e99p|81KLiXћ?@F%Ph݇_D7貁}]>h ԑ*KL¢;vxrRpdBHHoEJ^}]]r|xe_|JRTNy7Ǖvp3 HBhdU[R〛Nř/ U'"|:$<&QѮsėoG&/i 5aR9(''%r-6dwXj| Av)Uh`J"iI@?|5,mO0p?09OoȴbZ`fʑ[!Y@ M$Sw4b15p?>cA4}@?Kp aedӱLW g9?B>Hǃ 6m b+mInS3391Ip$7B`y(&l<-/3?D`tAܝ&7 rZc\38356Ls2[Lcz4ْdQe[q74 T7#A{pOL(zy<8Oc; o`%35TPfeJ f'7;KL8*`8Hcpp_ fr>4(}=şK,^J౼+cwn_iUDž_D#[._j k֏ )sņ(($;̰ytRw+ [ĸ[Ò>8Mb!vDZt."0ܗeRowqҏq}I6gg$pMvDx:zS{[Q,_&D5"z½M?w=YV-51ȿYu?;n cX1\7r8 \i@mZ %* hhg2AR<RrTD ykW&{ (~Z"j6~r'֩|QJy9uxMo<Ы ry@pBS&oe.6| O`,b^vL1=ZJ^ sG| K - \MhQz,d 픋6CBl\bnKYVh\ԃVc/[܀;!1oH'BA&Dɷվo;xNUϚQ-aPlXez"}_5 I~]~ʔ p{GzBK\L[_O ň9[Znroph]CKɴJ `4tZ׼a7>Y~*[XD*"p/~̭,F3HL.a,)fJIK{uafl*TZݨ/`^vjl˲Ζ#>{eym7O]MVwS*b Ƌ~"y"2.=\%dPwUn} .*T@7AMYjN43Ӵ(~w^G6FfpmoTa`{|&ɦNE3yݘht=ZJE.4}:d+E[^o6qӪ㦮˕0GVĵ~Wq CE^#-]iە|֨հe螺^bA_C#ա j 2PpkEiJ\wi: \Qںe%.(?-zǀ%Ea E_R[$R:i02n:PlyQP[H(~?&c~,r#T؞V\#2o0'#PfȮ@Y7(4b"V#ԃqY0!vKlSIe]HZ) I /9&@lLxx%FI'-?d"KcbЫ>.>\ ):u|Ut b{37q,ֵMSE x <xi;\=Ë>.X9#WVk=V"*ZI`GzgC\x]L@ ,us#a M8Py؅LJŭj|+~ dloOG&CwbzV Um7g6}Jgc#Jt|kq ?p8,xU:8!bƹaL/$UW..R޹@њn 4x)pWMw -LXas "i`22'!PH r/(N8.RM1R1,jUxt'z/JeRj,;4;I>,_M}As) Odǫ_o5>tҫ)PU%T5(4j$@j=c$,| 75Ay'P,G~g3-svs.hP nABڦ/'jPL tSZF5+ aшJj!׶ t>bMĩDl11.lhE?Ý?0kwF%KS/.=I>f`6?gX]5eUGx9# /]ʲY%a:!F%(rH{a9%-3/#\ D>ݲg-=0Y?߻G lu5n ,Hr%n@Xv N/OGDÆHc!l{O.vG+[>jɾJ Nݗ r "*uOB `8-@5\/i nfءkns&f:NxCq~?%vKE?>[#|hm qJ RU2W) a{tg\ӌǶ 0>>26ڟ.۴"^ϟX@x#7 dHRgP@NBzeU)8Rn+GIt&AaaK T7ZW=q(:}vLXB&`DnU_wv:U 䱛Z"! ο(=؎y}Yks e ;W!p 㯷 ‰?Vȼe  7^`]8H*|Jk%ȩYJ'UrX} iЯv4Q0M{ ØA}rz٥/ ,n;3 jbEOtﳙo,~RXfu,GM"MԻ3z6E2ajxڻ} t*ϒHzLCkRk/`4KU4bޒw6x/n< HA>t0Y84\_RK6B,t%H>$#4\MF] Bpk|qؼ3i䍳˼ڌƱKqSh`By!wXp[qz`xMJwif zaTRN?]}͝buX8.e^^%xz%<&Sߍ*?7;)> EӉS,&,28&>&i,cG9&T^hXFaY)0b(S=ɛ"פ~`TS e(mD6,^Gҽ~4 VΟ\B"HAes eyܬSN[ }KKeĆ.=LDhpMVID,&% 1(^3B0&.-dE{RkPNNè 61Jz m;, b4Qobvxje/,O/le{7K `-cnWL*q/#6X(iYnXöJs.+-&e*ՊA 0w?$GܟR!=)/`hY'<'(Gb,(dsҽߚتrl? Vhz j/QN2:\4:2BL-5IQG`jْ$Q-цmT ט!Q~C>m7G7*-M S r:+|W,{㮈lU}´%I hٺ?[o%P+Fw?GDf{nd-o%8 n{j9`.Vx[Ti75,kh U mp; iM$ɎD$:FK`&'8{@V&XB'sFkdNp+@[Ee>74'JDA.o5‡Q]fCULRȐٸ@eIֺ0Ζޮ [%9*yThW`jI3rO{TTUpIha бZw$5wI]7KׂgСT9> /"#i6W.*2CC&d氓XxX .OŶVJN\D5SލԍkML`O@یRɬ9;C gSe<|w( ob:;tOe$?p-"9[WjK_ 34a 3 Rn#^=fl#!) /,.zt\DwҰ)! 9Jaφt9{OSAEGvh=R cQ0r]G<&FJ,e\;` L+Q}|hUpڕkJ#0[JfO$ABʑ*F, H-sNt%Bv3S99 ,ݺnfl{LO,bMDZ=p _ gjUΝ9ن&%S7WhcLNQVy|w~༰",-wW}CBHѳ:hŲwldy%FAýjh$SR~ӹzF4^A WܱT\f L]gJF+0]UޔE)rؖwG/(1F\~pSClxW"=(+nv5ŵgfQ9}w(~?gRL&RTA<G2ݙ,|i{|14g .P&=T\,~n)iqPa@{z MN6XxK׹dOEh@̠ Mb[gڜk5 %4"o9U*~/5I5 jwDenTc8d/=O|Da7D t&Il|2Ia 9|jsFPU>s9ڷ4}hcd j_v ed> [y.X?tx[ ED.XP:6pwJF0Psd׹$vtV,֊!WT$b{l?+AzPCYCVwX2pV-oQ9Z|a'R #EpnQ7'q>pAlǙVA*3Aqn*'קw1 I&>YcTK ͮVTD$i$aorM+%*9)*K54u\CEn<ºh'ztdY _GpSk rFtK%= oG5H,Sʭy|k2=mä=M-0:8c8@|{a4dxVGsG:U]<Ͽ[BtrVBp.2qlc z7ձP$'1{CR@N(pT>PQ&\W z!O'JD-o8gE_B#ZXioL|DGLc0xs8}Q^_T5 b&^stGuYR$,<>>y-BA+%Eu쟟,8$3al|-XM~k\ΜlL )sh%HqBN@V&~]~8{HxEk x:߼6u +187[R)4QA xEڼ@X&8(3WmPcoݽpx޽o;c,:$%硷\6*$a)Z:۝RoU  D`v&5{ͩvѨFՍqm4?֔}R:7y:ΈƽXb5QIjqw|Crl"2DK4bXr|Y>q \ _tBB/ph<UaiDuk?wxI!aD*$_2 ,1^9RzCqDQ%Dxg8MU<D6; iS8cgDML{%L72)]xf낋5mԤ&wtM_B=oӓ hmOWsYa~ƞL"H/%Eb+\0ߩlAU aHn$Cu)/d0;Cg"#@/#Kʥ(|f.L<4g."gߥe-|۵! bmJ&zG ,@ܛS9vpa{_VI R[3 p;-D#q BhNP8Q=Hɯ;ؘDlIEP@ t_XӶ""]$ֻiyN@@7z!AHPY5 eEbQWa5C§"Llkh[eH)2T/qd6@C/TPO>l[qT*ؖ_oҒK>e1u1C,tdc"ˇ{+:hm/2)2h>߅uLQy1Gcc%C!:kk 1qI+ wU5͎&htK",B'mۡ`xڑGǸ 1+X=_Q.J7^)Y`+I,챈MUwBz>iG62a=K`Ȓ.P9l=0džaaA5aV1Y=ƄYO_Z@? {Gס; J8aƷnYXW /iDhzOGL;ŷM[h}r;/ ||;q{ YFT7 5ZH>7lpr$R mg=:|^sM݆!NȞ> ]&uq2g8 k :t&QOo7`Ţi7b rJ~$CtmguE0ёv -k7JblqPu{B9ymg*=&KZ](Ⰺjٍ0˸;~ ѓZ.=8" 2 ## >ra!*صISuwNsp_׀9£aJQUf_q8uAqV- k˅GiQDejAVYsv?usToɡ"%IɌ(%q{&vOe/"nBBD*"a&^],vs_ti*ǽ,3ΘigSQמ#DCGB^Gbn@855G/ظ5Y|ʾd[Ul'4+{kGZћ&c^_!TFRaeӭg.5佊k{7K%UVj8״I^AiDF*s *-T?@4&p%F` 3SJ5Qi۸^B6znJ+gnl2aQ-Hib0{i橣W৹TBy7w #lhߜLUiIg>E%.W >ۗ`\\UVe`-)3JPZrrw񃼼E%Hݥ9ۍ/ȼ}zļk<77v,3EԢ {3Iů,v8ʥ 8z-@l.[n9uNF_bZI>j=f{*|tCB|=Lz|gӱd:Q g1x` ixBCx+h'!'᧔!@T["'x@ZAi,hq @=k4-UMu^| d]͓6 ̷=,7kCPNmy3-փH?5~$V؀:/_QԏblTX˚~iPcF_gɣ/ˬBG/Dn+007k\WnsA,\-=FkC{jweRѼr$9O5:UB l҉%bi7~lunHS0}s;ꕌ7xB54e?"bc# 3I֛#A.:-M,GJ '-Ku|'ş$W?d^^#:-l_uהN|`{_Sڕ]S4<޵x$ehF/9uj1 .P!Q'~ 4R1BchݠkLP]D$ǹ²h'`z4!xQل4wz]@b]&t.* d>5Rs+DMTۼy¾!{G߲iV9lJ03(齤4HoFT^10X4GEC1w{MXklP8gl,)3|Rn~Aގh?cpGq֙Q ժ}tVGoXZ9JKAmΆqO̰k_Ŀ8˄1dP{>sn-Uu1z<"4j-w9 d3 ɰx 0)P#; _[U ,{]0nֶG?eҷ3cU2_<ڕmZK+6DCLkX?Qy\Bt.Ǟ[aȬbvO"K&E6Bˀ;Y-t[5ZS8jݙXt]ټ|_(B{n!| Z%a±IN]}4ZaU%4NQ4UqLTh/- Mª`lyٚ {,0.w.*ޫ06YgS1t^Yݐ:jm*.{\$إ=jSanq>luv~ 7&@%`<>B.D8JFo?PnY^tn<w½ әҌxgᔖ&\v!i%M*WzڽZ2P~˅ XXU&m!WJ*G:__+euԎ1Eܙ8- =mcS ->v ܖĶ.%@_JR}W"(YqG|Q@FY?3BAz!%Ϥ̝qpdi42?E4 k=ˑyq$ʚN{2f T.s!؂!:,QB=.~p?gX%g060KgCj.Y*LYCG{TYIsxر +lFq^r%x4R ^yX`e<se~t FJPC=AJdZmEXX %3[ q1:Ȼy>A"wOl[4cu hEԣ&R`Di{').{봨[;Q3V\'yV*"\Ak 2=C(~-vo*PS|>a &?_rM2""DWޜIЃE`j%[=z:,//A_NOtVꕷ^,s㲍 #B;N"Zekjh[n h1t288VD@SiSQ2ov 5]MzƕU|r,WD^oVi*tUG۩( c|zr7 c_7^(rA]T J>_,T ;v V(v,׿|t1CldgP@'5]z+Q%lL% ?va4iaOƧݼ[pH }hT7X|MX꺝mJk,\+RW,` W.q1x{A;ma}z.՛!O<fxt;i }9 GJ DOP;)AvCZf'V`3PS9OJlƭ}f pUNmcMC55'}|z$E b+5 []Zߧ~FPW:BN:hQߡ5J=L4"W^LZPO˾ P)=@~B{M \1^ oFMr?~-akAOWLeZn.CIhPܷ`F@u{2RZw!EG-lŠ- S~B7@N*nqs=>V=BmQ2jOZg 9΁CVvDo|!bL|!\ Kg=;"O:'o )G"td/jUoaf7&/B*x=$X^}Y^i2Aԅ.[8 m8Y4 ("v[B_WdsG)! WA$;mDf>AW_+O>.FBLSI=ԯF23([86_@?#Zp0ٷ!P[5GO$K YDa9S@JXa$ U"<3tzw!T@ VRm517PsF_IaW-Hvt1\шX3&Aw7wѧgrf"U 6*<ٱ(ؘ #S+t7N]}m7T|fͶ;2OC dWfN%K@ڧ6Wk3vݩ}ρo>(w8vNIx+myF6RKr]ZiYd8a4͝ILO'=Ux|v~iO~%/NO$.7QE{<@ <5ӭ`F_g4'͂fKa!(3c`fOqt7[1YEK*bh:z#JLCxq io~ elBAޞg!e kEb6tgZ4 r \X'ڐc̘ML^``翅ʊ'8Ȝj$Xc5W1*!u |d#SW̠C:FF%J=ղkmHJD0lG9EYT.޵ƕ,`#=]0]Y 8ɞmPx61ooQ6pnTL>Tˬa?Jx%N{*Ӹ38Ӡ5>&d (KΪL ^%J[0Yz3>[XȮ7Pr?ƭf6k݃OPRnx+=jK-'\+lisFpqKܴ(ŭEH&^< oǜӮo\& &^adnD:k/Fb oiPjg"7%`R,C3P*{?Mqz>SUvT09w-<`T\WjJSS~zivxCe ,D/1bKOF]ÔER әX|\&gںiCE`5&uY8b`щ4h s9Ln0!*|>o=aet;v¸ACU]އlvޠ&,FeI͝@3IF/ĮZS͆muYyB]Z/>k%ByrDha_s2h?v{X{­" 5_twkmy4<ڧy鮧,Y) *ƱA+ue>T^Ҍϻ%W9BUoB3_IobN6) [m {zJr/ e |%, ;e<7-q̱6FJ"m&_v i|+\_!̿! Wz"+OME \zR%K R .ɿQ%/VnWDѭgLF7ow_1BjHϰid)lمźo} syū&r&T\ ?o?trҭn{G-z]MXKak1b3(7k:xHq`Q`ر\^{iupҴ K8$̌V6 !gxyV3#? ٨ oENV]u }WKPL/3yaNPE"SqjROtL.q/k'dKryƥcf:cL񥰴lBOFl ՠ.{UhUk}J9޼b_$Aݥ2"z&w'e!k23 T7c}^ %T1VB2mFFb[ng ;hwd+ d{eU}8 n C^'2u 螳e?sv3/*}/7^V *I@ p/-X }ժ\Qm⾷zٱHtQ%hO%㨗>kkf'te,`ȵlF ^jB$p8]#F9(o#r@[`Wo\J)Ɓs ["9'p`/NCo\euV&Z3M^#R2&N2N);TpB}DaG)XOs(--!1`WkH h~ܣeŹ±[D &SD_^!s{P'A=Ȼ[{> ȱzt oAW(ԌWk# c֖Lr-Hz''Vp M?Xi5ëO3F\H)BWjUjI<ޅv;'9urpI⶗(v;>LID k,O ݸSP$F6 +&xrSRTWbYp02? S`_\mnڗ㩾7eUW _ziL g zT^:`oE8OzlB+I1]&?*꺰Ԁ0-Z˩RirpyCo Og& .D;ReK_XE) zU6&Tkݚ$ ԋEn㫺VhnY"žd74=Г/Ԩ[y-#-_ACMʮfGc1:,mO~ k/;'ã 4tBގI!KcB{6@W.D?ƪi^T,IޤQ@|QxVkIJTd_{?@즖w]ZuVy&)eם/meKZ`(le@?A7b(p7] xhyc@H? x쾽8DPvD^=(E1 ww{[ݳX(QV NAV,}I~$tC>61rwbQaƒ?$uNb?`H颱f>Yݫ)=w ӝ ohO xx}LQSahz0n!2XtSJI4CmӨI39 lYݞٟKSoS,e4-`s \roϚ9h(g*}!؇TpHk 2[3lIؤ ?%RN޶@|T<|@ 5it".9ex袏S)/|yޡϭDZ#$= !/TiEl*p~X@Z2DAШ=4Zi_A昤QE7,w+Ẁhjg4-XU82tJ8b&"(1-n4ڀH0F=YV(d[})iT5!.½Za$I$O ]VC8Ritl<+W/3Iz57S[LzNdXL*%AdeL4 II1~"ޟKG< w[>u6|>h-7]!CI[WxZ9͗I5}uWXzJО]YrY,P6/}C>('*bvY(D\Ku QOڨ_7>3ixԩY<8kDjαeMlxmx-zjh3x_aTwrWh]ȍ 6}EO{iKB`:GZgM,5 (~+ K! +Xyיѕ7oxgo=͏q}r͐>qZGDeaUw- ![*뢦Wv ,ң灲0*'j9Kflv_{UQ'Mh/͒: tZm{ls)''p2Pô uEi8yK8Td/X#锐b6CNF%h(Z9_?~8yL||ߖ6-.qOR]J9:wfIK˽}Ę 2`ӆjU*e A)^̳q<a#Y/x{p7h(NB[E`y=,mz㸵U<崁l?_JG)A<%+Įk򺚰YO3$A)I GZs٬םɫrkSOzE,(8Í`\W{|;J;S{.VDukƳ 71R08T/жSK`käˊBzҳCn&$sV'7&eNZ36"P39wUIwB=`5Y?zоqvyMDr#@1˹9f"qRF̜<bzQTXGӿ`Z_$m+[hmZΪ\0b&Q{hG?1]":C 72ޢBx0u80E!uM݊P^7Z*op͒4#!.+{ t^ aq -*mU)pNwi'rC : 3B> |_c1|Io0˅(vnjqRqѐXK|5(O_wُ3{D߭W, p74`bA'a JglL(Ȣ酧 ]1Ĩ}878 ׼(՛܁V2.w\3VYcX-]AGVpinm&iw޹UVmӔ5en'c^z9_3-t;jiYr5iWeᴌECϴ󤾦ibګͶU/1 Wʗ72/"'d.Wf瓄a1?[yrE팡CԈџT=!9zd{T'?UpKQ&`' OiQ-B0{J8Yn ct2]oa(yzЈc :jtupG^eUWv,SW&i{RhjKٮ{{T|tf!E2Zx~@/%%^?UDdO4qPGp7C9"_uփl4t+XjZN Z}ܩZM$T[kLE$b(2lۥ*E¥VPڔ^ *:~%G\ŧ'p'ʽL%}MC( ,DſLWbu#+*tL8br.@sokEpO 7F:i˭X 'Ma2 l}O97=wr;*.SU0_8fW.*U pj;=U%>;Z{2ަdDh+dqͅb:Dqu~(B03̔K$)eGɋBiMP*j%IG=ءXVtx?R܋֬Zs-WH8/7j"G7P*㢛""ލ*lH]ֳ(}JY_ sqlg#c{tR Jfvo-]Vk4"QԳ>;!z.k7Ƴ RGX`j!>yy"Ɏhk]#m;A8&}BI X"Ģ!*Ё $Xf.tUBو(j_m3 1zgjRߞ=CfNJ# ('M3(( ~rY1TG"<+®GfqHgз|pYYZx$Bp4͡tSr*%Os,1 ټ_D=tEi#A*^9t46L੟Kl9SDyܳwr&\eN-CÚo5QЃ:D8_|PEnL=N{J$ll =yCj |W&mUy.dyrp+R܅z>yvmQj'^+Q$T_+{wnZj(:p<}Ʊgs& 3B`Z%8A÷W[vcPpL/ؿ$̥[c7:<$o#K 7߿KnBqN#=gCjܯ|7䬷<3,c+_SNi9yA̓;D{f-Rtm˪I㍣T ˻<%B2#Aإ8w "zU=oax 1]ۺq`jTOo*_a`tiCh<8jNSsUq3^MƤfDHf!AcgLL9Qg =8?Bi^m},&CM'I^nA'1+,/q"toO3. J₿4:4۷aoç G؎*V j[I-4S[/-֏}!=O7f/ y}ͼܾQg"q)ia17"rLWmI_%gl3Xc x-x_Ҳz4]({MswieX܌ˠw=>5>E$Ca<+B]}4t;1Lb(d Ml$WB{\.X)8җ[5d )ೄIk(W/G$;ݤ2kn9쵯%2DWJ6l_}`պnRu.~@K>aX?.;v;6#Vzӛ{trtV+=mOgcoF:h)jA={A,<@{I k[ESGY9#J%*i!El; 5w#dX7jҙ);P:e0m5/Ɇyg:P= 5`̧YG P'Ѧ 9=QA 깙#LU˽)ꁿ!Zz.Vl6&u@5^`qy t},Umnnpo[{|͏[>.h*E -9Qj^KCvQvnWJ@xFA.:NT3%2b~cϘ/77nOJ dAޞ>P($v.]6 ͤ0_SU[|MQC"5z kg.Myxvh`SFx Z:UK%>j>ۿ^" c= u2i{u{Pf%nԗgp?-@E'&?$%J0*tHX_G߭li ||<{9x06Ek<{qLLJ}MkC΄iA{$񬚆BA3:kޢwkFw )T)qB9%q>B'!W[vlq%&òlǍflhbj2K9]7jN?L@//mWa0X^JgO+.KaBnAv6YTHJb:>41tV&ny~m0t>9dzVeqazO>KЏc[%AC@dπH3n̲Y[6'GHϱ%J14L5FEJ5Sm+@6)P% 5V5HʍXZWGņ%PdyZiܛח rB?ĸmdB&0$_,>ьηrjJ;pD8Xh+ٜ|jA;wf#(vgE{q*LoK k/hO{q&K"rF [|[ .,J% 6axèAuGMbIQo _bV g-VI]# ފ8IP  */#i!kyimFH?{4o\?ff߷aT8J)ghC,2]gH.Ã/rZ5z܀7c #}*Uxg>XGn[¯`#ߙPl_Fg7_Yil&KQ.!)8M&NLbG"{` gh믯6P%p  $XH\INg  :v<;cZ(ΙvfdFTW +/RõPYW7Rƍk:+$e򹓖pZ5ݒ+f՘ÿ.Uh[[4"KNFg,+D z .~$ńSo|Bx÷Ϣo $b_fT92挄A!FC|ŪI\W^7$qmU^_ 2ݴe S5b+Qg &FdSZrs$FttX.O&A0gybCCi7;Rx[Ի](;(VZ_E|NHڮ |ԥPvbi7&Pt-w+33C*MBnpA^ΔEW{uyRkg&r!I~hu2Mܵ~|h9 gIA]t դY?VI~$ ]'em8Hӥu`!7"\EIDܐ.u֩+NXh7}P{M30 w󺒲On+k0`rC3՚$sj@tR ƋZF-W0 c3dzWΣ15Wa}WxZo}G3ҏ{UU"2Nn}˯&(FC-SCήdήoGG3i膝I/ XqB>w/9)cwn$g grkVAt_ r&[2f*{N4 69 |nj!Ex+sǙ3!78>ͷ~ZZ xm~R]X=Ð$UL<]]˙Pa\1m*6|hHH(tp`8x؁7Sx]+;̓="a.rϻ[1_ x16(<ʞHȿ4^&]恕 4HB]B*G}t6UMCiif2HM -u]p 1gU杷O0I5ϝAtl(I ODcJ̮t."c3r^=Ña.7B'Ceyؙf^Q2lf[XFH-~HgMID@{T ovaନ>WOȉScu//95'>ƶzQ*/ڷ)@kz|9"3>vN+ P1b1Ʊ>xizV]$~e͉7XB$ ^ Ŕ8Kv= =H ai"[~2.uCo`鼏'4&2&1=  B5dldvrz"MK.~0̇͑PJFF厚z[Ƽ4LTnm,qC +JkHB)+TMAE^K!q|@${Wn4q0wM{uM5^Xs!|Lܱm[rn*r<:Bt]p'|YhL_^n0Nj {7qF$+n y025?[T\;T;b>d;ZﷱegP^[ %H)_&|Y_i D7p5s6SՈWh+(Mm aArNw y9 [kHqԵ-3]떗ezeAe <=bm><+,[KRN:uD bU~j$k8C#nTw~D%5N4O[K&2JܔT>L6*z?wO˾0 99%1yM5iZK&17o/);t](wSf?A%y0=QQ_7 $T24!7IľFrEK5K=ndOa+i:ʷcs,GnIR&@y2sJxl6|b! d;lS!?"fsIBx L8LÐ#De88q%oI٧0PO `L6/g S{s+,*Zj'jP~#&av,8g.\1Đ&D`$% NJ'K#ep8;r:(eŌ~*Xr;N:01z r/B앸47#3gyt*gi/εYqJ%M۝taBFXCz>dB9"u24 h;4s~JBQYv`$, VF=\iAӿi:OlfGܧ^}_Ds;M]ܦQ3v."8p\ ;I$gq2;#*R ~fwY8!}߱c*L̯?`ԵDq]ֶ]. B7mz3'/j]f~Ok<Nx@2܄Y`貺)C/<7hKԹmkCkE*&“,D t߆ٮ֩JKpov2V+٤~<%LжQ͍.Xw?$EC/U0K!tFd.RjO׬jAƃh7p)!ܘ'@ۿP{wYWpݕG$n|zM~H{.iٝxʠ }Tts\@_MO ?bg ،H@ m:wdP=B'btʋ-ƨͥ8[T"P|eH ]ѤqDDJ+Jt%6K0` W騋so+Qa ɎKO!tP@ XD&ocAXqA@ !o6 JXOJB,hyӬ䞲e7;yXB/D}s:lR+иV\X|'v&0irEvC3T,p%fsUOy_'5a;P vxۘ_OA*a,Fzwf'8i!1Y+@Rom1.64Ylӿtk9'>P{SpQP83<&pz`M>+mTSBԁb-棖ړ>kB 8ތ SϷ{;i |`(§By,+oyk%7p9"=WEj_T3PdtC%EzR' Qc;Iu<^ 7j ?+ ͣJAr8O(ˣcQ;[yumeU,ߚЪK'0,N#P]lK6:q ccI++'a6 Eu\%:Ea׃`/i:~緦ġۋL*G&;:w (/qx 9 M C wlwHGᭊcuK<ݏco@ U]|T?0kPu1n;uR5"Ffh?iPFoy˪&/s/4ucPw L澌/ g݊X`>2]"]87~{tR ;#7t]5Vbc Ҡ+E}}#_p)XS 0x\ʋdUSB fAޢ,b 4A>N\ҟo8›<-Osg Kg E},w V?L.ҪJJt)X*D!:myc}m3Gc3Th{X6<=Gs11i2/GaEnbBa੎,*tO׊=|ǜclJUdNɻ~QKl<5 6˟(+L)Elʱ `Ы |A}ܾDw#!CqX4ea0Xj[GO?_6c?3<$U6V;K얐 ^ZsRyCՊ pаnJ]d*HH|b`64䙲JƢ-j'O ze/6d,J4-R=64IzM)h|fҨN/$Ak2yOǨPuVT.c7qF۔ӄMa:5*dk|L2xFQf3ˆ˛gma  (2ǘ5Q1άB% <#5օQ/I7\R?*d ZW}I:4cgt~UC5yZDoӼffQfwJ$9@eoΌV8M6Oܖ?zzXqZ|&G+Z['tT&v\94#: ,V |Kzla&eyg ۫D4?>!lQzIMwlr+v%V0kox5+X$uuʪA~ kާo{,-eE@_T ,sGYxՙ7}BQgĥ $F]\O)3T=M]j!? X ),)srgy%/TFe 8X]NڃT.c|j<"s@~ȭE=$HAӇhkLlE eLE7yS_ Ve]$2]: PJ$( R0^9}:`;ě#oJ<*$Ǖaj^L!RX[ XBsedlw%cOCy؉!LՑҘfB}^Na 4=9ͣ$_M^6#fjxؔ/ySb!$\eޓճ,84b좶L YLHxjvښ@e,Jxb"~ ^j8F|3'FG Wsl?vwkWtFrn{o+o01u+g u)b{N,/^E}8oGMKYwğ1DfM`HB||ټB-f4?㰕SeYJ-U[l')D I]bN7s( M$t(yӧ?0XsK ^Gaͷ1h S:.|li s%Y`O7n_b*ܑgr@{ct|}*`%W=]ll/7g6K̔2`z1wB"+M<K#NP`~I%kUx #>'f1~⹵۷uNNnFbGLlJ:ւרD.AgYZ6b5276febbb20cec40c9a549fd787ede88557c4300b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c000d00e42f8e818d8f7837d2053f43f390136003