SQLite format 3@ . YYQ77Atableisabelle_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, "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 , ]Category3:threads=2elapsed=952.590cpu=1651.768gc=88.852factor=1.737zXZִF! B'|]ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo ;re99yYRȢHr|k l=` BrDr[2QQ|`DgC|Kqk%C9Ao| (MːT悓<N*kZ7]JT22cCEvW.*rG-zצQ0pL9s\֝a"`,H|+EEd0wH:B7:<.HCL(:XI0<5o3ĕc93q5.9KpGVIdf)%+XYvv?k:B'V }B6O%4Ut;^ Vp0Rѝ8D_Fn^aG 9ǪWcS0x_p|WК!qf(M8G `)yh^H;"äIQw?G]r À2J`]:N/`őG,JA)m؛^1yv|w_:hhr'hR !]aW$'\:; 7GU6t S<0 Gٳ M}oHɚ9~ OFpB.؟h ݌f >̡r|@.||Cd' z8`Iޒ(춏FB Frs0no"aBYxX]SZx7sEROPLv&) z~ƁPॢęӶME!Qf.@3B~I~b vE*~Dxj'RPe#!p9{J/j]!C̭=EGn~xZh. 7Fu>A\F۶►qr~ T@uKnv8AuWKWeY{VSu%S+˛6uGG7&D^?Bk '~G>S*oh5YgmL%tvLjJ"Rnj/߰TX6ޞA9xfm%Qy]Nΰl h.jLgdr ʘdn_OsĪ/sIZZ"\{֌u$ʖq5/2u;~2<+>MDŊLMIr*l=5֟.I l?k٤ _j-86 ˮ8 'n5Oa7I!|q?`DIɋĢ@|;w;Lj#>E[(5l`x2]H&SuNީj RTkԗ[f6??'F0kU8RNC>/Gl@ w>ZfNͣ=C旫'BZoi#J^ViΪ%۫˥x19 !@@{H#l̶\/Q rP FZ4&)/zUbI"K]n :m%_7q*w42WNW'aCzM"ڳOZh&#6܃IY0w-h/tjHY* <`lp>o 3uKN-Ѣ vC.2ig,,IXK7 4B`<%[s f5aɹYHLj|:Ĵ]Q`^9([Hm&r+߁}U5GCl% 0` jK%҂dXDRTvɛ󱋉ꇼ 'vmao;ɵSz3CMଠ 9-tRZc6[ *3;% QVOuaLAOG)#/33)i*gʴ]R8t6xd:O6ܕ&+F,`r8k&vrKV   Category3sJ/oJ~8sBir=]gu'RdJC)RpQKD5\,L:h*'R߃'EN]bP#Z0I+h>XBߕ;7>RYЌX:?'y;j=!SI],K+q/B}gW=vf9ruNż]oTta036g3Xf(~;H=3%`X)Q j oΙchESmZ;f- ԓ.om&83rz.Y63nJ7h{'k}Y#xp#WG|&ź ~w!e(Cۿp8R>DZ̰~:alv*iMɅ U^&%gMc93;9vv XIURʒn [vḶF8Tb |Y#4H`FN TlEˎm ҼSVWQ;liO,7}R zgqGyu?%r| 斕=ZN+y zXoYeu* Bbɸs,-]õĆl'Gnغs}CfD'Z]nY s)$v߲(߆5S-1㽖_o 5U,ddwG ĨKت7o ,k)NJu7kK5Mo/~鮕߼ 7i\]C;ʐUiz1 8_ ( ]#C {^lfL ?V!l0jKxlH#,53[2="3) L)?Ñ Vۿga~d'Oj' BiAuȥߕDF4.h}Ax;BP,wf&'vtmޫ0FHЍԖ=I)lW$dJ5%Q>%ExN@o~][ޒ`"dg/a?kp:7_ZGɒ#(8|/,NV*O1pVcn+-ƵycwdG͚xrmMnƩ̻?{^̗@q%ɺ'srGݨM`-K"ǃ}+2 mCp繭6S-mI_اꊞRMr'mQ{i"Yڥk'>:S4\uO MVN @Y{zm,#*&pԚȏHw` x.٫!w?pXZ+x`".|fk ˃My\}G %FJ^P@+RJoodЎ0~pnzkIU o횴g$y%;TIR[tݍBAl؞SMJħO|xk+.,  ors< ŹHP;Xwh1. 6; &ÉzG6-/&JMŞ`q~tD9\7`65@( J'7d/5h9(_I;!`R$!_^/rx. s~#,LjR_i~\rsVk/(3vGX#@O_kΚYĖ;?-|",Q,szA`!*hez2Jg8tmM ,C5~4*ݸ`r J_XjLf'хQ[p[ inz*6\< ćb 4,J, %mԄ9:l_ЬrZ'.g\EhYh;°Lز\`x&D%)?^'.Vڭ0}'9bK˖!0HL-Z'2cqCWkjs 'J?!z[sٜ&QU\2ȧd\u<+W=}XKce@yg࿓YE{> rtR< dy^<[Hܞ q#Z4uv >[_*FXRRQn͊ب m+&_e|!Ǩp7cl4A$$܌p2rb}=8= U rvԄpKAJHӔ2~j | cxtUߋ|jaU u//ƶEx{ {ta 4Վ0_X~VKP6eIqr>'\ B^h]lٸV}.2K/V|Nȸ,"޸ۣW` LY !:ͪޫ-jQ^tq6poXR4[esJYȸلAnLĝH9MX~8}3!rCn)zvhZ()$O$N 6_~eCF eɫx%@H.4\2):邻V!a3:k6B;[4v%9oC&O =5jnr+|W}Bh2}?;t q:M= O %lQV.'[ RYw! [j*촊ߢf qP;mb)ǒe^nwZ^!z|9$j65lC"&j0eԍ h7D: GیUGٌ^` oPk GF3{TMy*̪yY.Q)ٛtaOWE"'{Av37j}|Pd Sm$%y5d̪Ҡ˕$ &5 \{"<ʢ2`J7֊@umʶPHi_NI\mUt~7:q{Oy ̘D _DQ:`o\K3TZ1۩iθ񿛹ͨĬU O HЇ7W<# 9\}?uA lļDVjk`+**lO )Vbx+zə@NEBA*hYfE}yJE\#{qn*pk8?MeM98=Nč2 ǝӸT\crO@$WkYn[xpW[UxpC$4X PRS1 7xyTe8f?y`Au<^B̝ZK}T;\4a5~Ph\:A>lzF U*ٝ8 ײbnqH+r珞k$~R!Rsev NQ3:^3ƉUYV]bo’Jڛ&;ȍXG135疚mRXk#Hm4xHa-5=aU@jiX:Y#MGM,uEVhL`z\sV% 9JQR`bW,i]zHG/:v I퓪)sJ6Qb `twuPq925yXs/tۧ,F ƥTf9ٸ>H,䀖)& WfiUh4)W UØd$wl p crzB.~s)y)aߦ*\;bTI1sE` }OOhV[2m8Pjܮ<~7b߻p閳??2P W iP@=RufMnFO@)g)B#eS' `UqUj@o(7 Hz=@>'^#<{wU5f&xSKTZ!#C`uMm+wr괏FD^2^A(6%RTҸ=[򘦖{fE%HߩQy`SGEŁdnG:,x0>)9Dp,QU1K;¬$|7#+ ۲Z7&؛@s3yu]xt4TI>I_~qgު]YMmN[OA{u|Wc^$a`HԸФ=9!@)aomQpKΫ-{V9=l؁7{Wn̿?Q ̠=9Rsp?>+;N.R8' rۆ#1_r@ &vRbpnڜX{!Jf׭! _g}$jo Ͻ_lH9Ici>mK?㏰3/XN,嶶(ل.c9|__  ~D8 TfX|ȅ<8^[z|[2U йcZVb(VyK6bOIgYZ7zXZִF! T]ŗXi%6ב`qY~ `+@/4 ډZry䠏ԉFogǜXw.[Kt#oɾa:Ym;!W;ۇ 9;iRwݫVVۤLd@5qK*w7(7KaѼ;?֡LYIuZʟRЯ7s [X'7fͻ2i^cɞߧf6>);1*N5b8MEjlZRcilٔD=4rWB}VC3 GYKZ6foKeX -Xtϧ @g⏬Oh iwrDY%`ܿ_eRa3s7D Oe;j \&%xMXF[sQvTe&MUhZ_N+~4ZGeb;y˻ z*ݏq+rQpfMOAIBl(A[PvS14G쥮Vm/_H]ᰩp6:.'Z[nc2L,cC+* C+tfNPH`61 &y*l^':7 ?x4CGَɦL6P˧jmNbyz(ƍ[)k.ʙW]6A>l˯&K%ʡy^W$*([$-tϛ/?vb([=nZU^}srQ$C/ጵ1&aTRZ,4mAJy:%,uy,)Zs6/3Kgߔ7TCjGNuUAtƦ?|}==+ QKWdRc&qOTØah\q`D{2W"5 J HW%Lգ5Ye5B '6,;8ojX%vAnmɺ'#D] =Y'*'yRvu `x?_ ůp&=r.|cQ|> dS 02#z\ c٦.a5Zq½%VgF/7IMaKS)Z4p>Kj"TIh=K6j5mJ$RiףpFKPbX3pD(*ܧF5muEr{<ڷQ$Fi7po)m3 q<\^P [=.o*; 8V6 Sr(JHGjgy UD'<џY@b+Ǧ8cR r9j*WgWFvb@>,jPupb29Ћ<) .%WlO)v&KbLCԁ*vQKMV\ c/6`S5N5 FEw,-_+)|ޫseg: qz CWٝ\OkՊ>e%͍scF#p[xwڲ>(V:?uwU7 P ["s@%5g?E:8Tq2I1ayHM~ö(Vetp r%a3?x0Gof 9Z@TO2(hyzGaqSϯoxV,Bߥ ihꭈ}k;K*./*OLg,Ao1ͧRP V*s, 46}^e!zף N @ݐAE,+o #tȋhATs*,0 G%xPFdS[ >ZS²*<= K,e^͛`$&ǨR~hO!;W:!M8ƴ5$SA?UoK]}|(}fjL'R`* 0+YPO*eha|+S8Qel囿f7 NM΢fv8Ta`oTk"'v3ˑTcOT%C%BR|z鄨X1e+DI2n!>mIN h=;Z34ޱsT\/ZG.~L^&_'>Z sҶo{ ie~-fq8A/k_ͲT-('R DD0(sWەWӤ;9wyDvA!_@r$Q+Q5'ET+r0B1oth~,~**A+E$`lG#E&3#D\T5~2i fABYRlޜI7xWHH$,~(/!Ŝ݌ KثwIE\}(ץFQ*Z;!+/7@k>|ޕuE$JK3.HˬE*[0AC99 $uO zF5YQQN'8[PV_`s8bAs鶒,6*p0&y:ghx[v)G4CN@p@[R`VH0s+D= -1ޤ_ēBFkW-i Ɓ7:-~qhA;̉DzV; t 꾧KTQ +U짏 6*~vV}֛~ #xEt6ѢWPNNI Qx ClH2-V2\:ફe7T3)tZa5cTX;.0eP ~}].F'Cg(UTF߭m]'V Ԁ|S6+@}p]2U2nMR|yt=Q&I;NcE]4Ǯ &B緳~ȍen@f󖨴 7~]G?~Eƃ"tR dH_2,tހ+kK@%>tmbsbl"S ҞkoDK%R+~*Ieٻ!@LLqBZN%5%Vo݃f++8(h\[qy&#dni6MrE}l#VZ,3wv!%%Ҵ9od&>W^YXfbVq2s<:^at`J/KYχ`P\;ke.q  ˿v5!//*ړı7w=)O߰;{vZ6>^,%|(jSZ`P'W˾eL]^NaZ"bKszH`[HIlLu,?:"H/Q:w_rGE Ѝni -Z"MtEpNa eN-9iTc)䯽`Ձe"<I&en5%$Ag3eakOQtEu(VG(r9VP(ic]ax>;@oďA)ɛ/.ܯ ̂nDk+ZWX?Ƹmڻݞ(PJ\mta!ݵ.HJ`&G%QIa&'lZsӃe;Z9"KUnt96 v')h%WV=)u4I˔@d+ 'o<8DŽ^h8DH0!dlԖcl,d.Hntl9/ oB^qw7f KSZ|z8|Mxw5bP0+oߤq@y~<٩!h]T翎 ܋ajb;TJٚ@#U8OFhga^^4Ҩ<7~9=x&h`9 wRf5gQC?:Ys!6Fr *?Ѡ-k۠c8_SH N+5kHo@2_dFѱ GGm֡±U"TcrЗpTbK o^^l1V}Qt>¼WGr˳@{%AËIOѴkC5oTܭdѰ륜gz[}x 1Vbc.^˴,.o0IG.A!u_D.;LK';@RVc<~Z:~G&;p)]Ђق}qZ7]Z}"2KW)z-0o^)Dm0l2LXπ?SXY@|d[tF?4[u P}6H1AF_\GH9`uBx"?rUؠ>ƪYq6Sm;X},Yb5#4h=ʢf|9f NuNinWf9X޼ɔ!*OA`ZN⹇Q: X?8.KjwVVQU1/E ZrGzZQY~(B~dhEvA ?iQm Ƅ!;t|Q4O"6J5=ȧj^PaOŊ%o'GT+h**h'_ TK:n"_A!ӟm['}?6fVlؗ˓!V>ڏ<ё7{Yᰣ}""do@g&YI$|e?VI66ӶůMBԚfa_n)>Y:OΨ;,,efZl$8b@j.%:5\拴XB!/},IL>E#RFZwG O)pj,LTj7%DtRϗyɱ^1*( evcMĵu y hUXu9RwCpmNe8>FsP/6PQLffrpf=mwT'Ujj۵~㺺dxHhIC Lz*IO/T Zh$MxrL&L;1 V;KʂɅF:܇MB}tUql(Vil,%IWtk>OYk@DžZCq>WbA7됉;"Tbx&ώp.`Iu j!=l̼/dCK1($LL\CiUZuU5_X~Va&edƴq V_F "'~„b[ [N Λ-kgR'd ~afo;FqiV]oddwN`-'YɖqX*!喚O|@ᖎ}e+d=t컮Iwn3cZ)`㣯'1i#B B;9vh˰,K+;p俗ZTUq IօKRpIb%x([E$,T `كs.C)f#䲇7όe\Z^v =#[z>/D6H㒦Ty 1ݩ]~lQg|LcSi6Jt[YʼB&#UcE>CeSZ->ICS2KB!A]{ӤF7Q5y罦\%k^r/ ހt~dr-_#Y.WjDՍLxD^ 7˷ӟJTXQ)8wуŶ),3 ^(_NyA,0Fhi T#SJXU60[ ~dxL'rKȔ V @”.Q,2uCQupluHC.05vўVm~ZV\?,7š{+)x)C8]0{WӾi9,qyd1ݍd׻K9T^&!KikED`a?䳶0A}ns4/p92aWIV2"ѕPCg.d@ٽ̿X;+TMyMH=Hne*b86-?ԥ'KHoĴqxYd`x.3JR$sjYGJULz.93tG5Sʀ.H۴M) 3$PDwt3%-j/փZP(6*5׶E$n>ڙwQ{aZ #OˡN< rhGM{J1:6 J<"C* ':Ond@7ls0Ҏ$_F%WP±l`֎Wve_MHRe|<0VXa%g%|u1p|d (1ۑzL>ç$Vdj MqO|wƱw&ȟl;2[G٦$If2X7^9W/z?ibi-|ϯw||PFɔg¸i*K/ǩ'A;!*0"V*L_; X¬q]"Qu2J~tvt&8i.껳ˤ8P0YxRStm+*_IUp|(d[SEA$ǖ+؅>;@-w : gjyI_B- 9{=}&[p? _9eV_e]%asQYشj=I)S%jڤD{2oG,Nҹ%,0_r*!RMk=c~\d[5l_ǭO-)Hog]ra8tQ_ɽJ >9FPd{@n(&Nww'I=CEu3tQ\' {j]"x|6jFdw]'- KTKK`Ԝgs%m:yp#M4r#/O=7e\c{,gU3{A '`.2΀T|m0 kM}jZXhYG w ܝʇ5h)/o0]T9.1z3~C-O0mB5 K@V8(KBx2|6L$%'efd~,08 ,&Qr$o-;T28 r\gЕ5y| }.P(W {t.K|:hΔt\l@ s^Aَd۪)P򉮊!ǦQ/#߾U`lbOҌضkv26P #H^鲫o}7:*7jlG:qV|-cΪ3e-`MK=2@gVIIV b5: Q[NJW9]B?MS5_vk&SO< mw[|C$\lCIM ͟Y݂V'yǂe޹pSt*Ng#b!uws4AZMkwl,.Anmzē۬Œ[c$5#*X}:[ʅJ^6ߛ [v,V޹m?`3q{{-8q7*ķVp mzoe^TxA'5 fH At+Xgj0U7y!P5L2`E@ڄ#Q{^{"zHIAd̸~ū^UN%]^lyV8 غGxTǁҮ~lfa-;clmqQ6fKEUp7ң@y #KoȬ_Q+\0Mx6NGv͇`ڪ?j*?{5&+I#N&qnnr hy(όLhTUΘNuv#9hefupkpl ijmhbtVj i4Smtu:_DV;~inh'µMU (21 iFpwYWdG V̌k{\kk%O%zkl/!"ΖKJEx0P/~8'vŷcĬΌ"j8/ZO''eXýpWV]'7Xփxw A|jǭҝ#w׻:ǁ{qDZfE㐨ՖD,s4-hZGʬ$|ҷ[? rvN#sLL{:` ڭLΆ/7Oj"ROr<ʮuMq*DL,Ҁw!TnsV,Iׅs.OD\.nǶA3ԙ8F Ӕl) 1̿ 81j.D1&JM0z->}Q-4}~MjC3- Q'2}(´Aݒó|e n>Y:l;YJ3a %T}QǞ{oW4]\vϽ|&˷|#vk !z1܀0 ;242E[RCO,'l!X׭.Gee } j̡Z>OC%%c%wC枞zEW<|4L` c$ū~^RKGUsϹٕb3\0Xbf8Է bЍy:f[sʾZߦ|Ly.{h11#;S*(1*9r/g&b%1{*:iMB˜I&,-"ˑ v~#lKߑж# q>K2!ͣ,8A"LBJD9oʩsˇh3ւfZڢ\xGt?ߘqdjʲMS^$|"U9?|3^ΥA*s8bܞ]; }ش=Q:>@8{K0ۢ6LPxӴUbLs+I`H `ې=Zr(F]ȌX@&XAx< sʹA h.1HkcXq#*1jOU8". :%8ڏIUgk&  0eց$H.X0u+8'aL}LowB%Lӈg^cLܑ'¹85ZDhzTijsV5-d- mNˑ1,W.[F4k^D&:BEVu16l=oT/[5%h3{f#[nߎFȼjɳJݑ'ev߬ O6;$g+;x3SaE=SjİɃ9{ttlBx^>86:?+Pi]tQ\n񶫳٬Kޢw(sgJxa| =~:aOQ>IYux4ڢe%懮ڞ-6#>p'kT7&d!Yb=/%0bsοbLS͈SF$Pb41dPFxko(j *XU\ 6>dEcv;#l&` &@UFqRZP"j(fjJ_$oCCc\|; 9i:eT._ӂ,C˜-_ECF0L:8@!!9FBKeU\,2#[I] X*X_d?+EI=cP=ͿiC@6st株HEoZe+Έ<Ao!F'i 4lbu H c6 05Z!d`۪cJ )n^-F6]cVê7d#~Z3_?B'+&Q9H"kU w`w3|ӓsޛ8*s2t͂3u[$(6gxV.]Q\s:ƍu+]|VS8XK} p}o̎m$;иrSʽ95ݧ1JPٹ O,UHȜ?4ضS!_L"=jr О-LV.Jұ񌲓tA *?ɴtـ[rq@a>>yl"y̫7_9MJ M/N`uX x 'Tfrǩ[Z/DjD\ ջuu7V*pWmB$H ^ZGA#ӎ0"vdG!O$DM guIr3I?U$`.ͳP')q]HH~R͜A]v*pHeJ*ݰU]$%4rJ\$Gsc~(@=}g =fH_XF.b2e}+`? t)> 6D$rg􇪧,;z"'^;qز * 728uVNleLq5<Flc(ꮊ@-5 PSL^axΨ 'Wئ+XcS^Ylinm[ɦ@35n6} Uz FFy~p'\FJcocTGRd^!ؐ-Z;=4y@Za*}##kgeX`/*p"ő|)Uί%Hs1^t(]E̋k O-չN1u*+#%m'2ou#b1rޭ]8+L]|}Z=i)9@͙#O'VS(5*p}Xxz|(5C_kCKUbq2bf`"/h ܅#mhT?i\23xbarQH I@Vqgy{L2(d~4XYfk068tq>t( ܩ%xls{{2ӰOƟz-a_… *_4S(m߷ϤB5}+?"}P,i$C<#s w_prr5Gݭ?~$a8mjov0+sSjR ̂{alG@WNJG;=ߛB3Gم+pg m& ѡjy,mGܥ&B dx+4;kOa*T67m66=IY܌CƁSxZrrg-#S )FEcVN.3'9 f+*870Oq>ڹT%0ܹK J~*V  L6l!hRm M&"Y,t ;?5C M[m5Cs.FO i V}%{K5kH#iw՟-EO/^>Wo D\jH1xP=v;(WhK.o-EAI?+--4kMcs9Kt!b/9SW> WyջFF#\I%x>4EfBb<FF˜jJ5`Rmͷ^EOг -cթ$f$,`Nw_$Z83F>IWEgg^dSVCh<  ~ 7Ӓ w1&JQLTbRJC)H &%ÀtG)YQ-g!&73!_n&>Z8{#7(&dzW']"U!`X\ݍN|˙OC Z`ɐSSatL_j OU[h~,N3eOPcچ], =HR;MC_#ҖzV ytoxЏ,8 x4Nv&!hTڽ m*G9TNa후SpPL/DCm>d<'"+ FqL0|sƊ@6ww9)#E!+$פv]4awo#y"L~P4J_g:<$k]$ +dr͝88 zS82e y-MX e?fCY tzgqyd̼[6٨Cn鏀} b'Լf_-A32̞ 'Y9gt6őÈCE@i[@uXcn81i1Dix ?5Zqb%$7oZ+?wBb]lM2Yο3G;WXEVpzvYr^.^DY;{\m0I' qcSace sƍ3u@%,hq?8u [ [3+:Тu %/sZ0}lF1%Z%o O=8MJ q1΍Nhn1(z;pgmM$= y= !ԗ ,ce5BIA˷\gk`du4*c$J#z8t5w#0Ei,d.zi KX5FD|?/zDD%ҵdwB;o{#YO.&]VX;/`E(pل, BA ,H6#A=bTxs70C&8*5%ܞҸsdUJtp";bdBS4فQiR$ͪrp)(L{֭u=0$eH˧d@sѦthgYq7xRo[j:SnFE8}*ZsM͔w?rʡdKVJ|Ӳ:?;-*aߝLO *f*̡j5>H7'7lnIV(R*|oK*V$'nt8~2+"3puը!d1N@0!IW*g|u>:Mv]ӯڶj9HCX؏MTVAmڸ4;o:u|I]1]SP~jS/Lmi8TxY }HԌ^E\8W_}}=ʒm舉ܞ2CvΜmØv32 6^Sqǔ08lKKU[{ ˔%<iҾ?y7@k7B# 1s݉I6iҐ|ŏ.L7;hh`ӰK1ݽ-z)ӷB\əz7rÄW'=׆ \aGjא*A.k(ș ȕHoX 8[{5=ֹ;!&}_@h|,9O*BC3r.Cu:j2l^\ws'}OM v_=˘ F*禯RR>@A ثyF@;Rd9-,ws{/00o9Paq#bS=ۯ+e6Kxb5m@QKvv*¸qn%:6RJ}+]Lz~(颴軟PQI#|sI(#'5>}S^H (BTɺ Ni/XNTh^[;K@xh}6`7$A붊@He4<| sOS,-cdbWTaWݐűHFBIKfճBpc1r˳Lψ檖6UpyPRyX|h+O x `bpo%0C8^O]'+aB;[R휇rR4L/jԺ5s'(]Y("^P-X ȓנH`% -;>Σ:jt2e`XmS>d1!c#_ lV)C "[w53?cFX K3W$+$mϊ+]X98|e`Rة%[\<͉=_IAlɽQST[=W.v>cW$L3X]Qg%a/.lOOqF+䝵5 n-JxP΃߮`d=z؁F=m~mu #eWj; :UTPu`}03$Yۯ5E@ %2״%5lr8@4呫ZAx)mGh ]LVS( @~"m4rLJ6V́?k`DU CXE]@o$ОǺtUE>j q2Dw$r} $;FD+h"[\(A{.῜ WbM^ ZṂ2K pU *K4$O_KZ֋=$fzWutg=Vv8zZhE$*~'Q҆WcM{UĐf1 u?s-eو K3Mb{th ND1zҴG:ؓ3]8O4'1fBT}O^&l7mGL|IE\@g/FOάN ji׊3HƅcX>"э[\W)[{)Ҍ0|ڔUu[oߔ2 eW@y?Nξ{ "rcbrP}rQ1ڞ`A ΩgQ''gyj]Ws]U5MfN6J=N84ʆW< lh,3 +v"ѾT;cKGWC> 2B7& * 'W|㯇gtw)_lwÆJs *)>FkKPǧsrLp ʁ;T|+Ac򅡄~w@y !}m]7zw,@P@4{YK\{r$coi-O{.S`iĎOU?zfF3tڌ@;a_bD@)awN]W !unb-N2Yx*ECϗNvh6.R&U <@WYxX&CpVX zaW[FZ{9wpa-q_,@Km?fn 9 ҡDA9"vx`stuag+I˵^Ww/K]H5 G#5TR5Z Ep>fFS7L9V)PtAO4|M%4ˠ_ҜZ}w*5_`HVjIvr1KbIîyyٵok*f"Is57N ! :5`FbX <:(۪\i.F;4U^ ֕'ҷ%X.u"'5Fyԗ`\+z oC?ꌐ%Q"jNÿWN[f_JRڰ-Qs8{6S4 t/6JN7.ԂQX}dNBNY8RQy$f;Eb0Ծ6 }M5qԇIט2y]sML2'au֬PyHH(1YC\rTjRgk E&?D 0dKf T?#}At/L/k&8% e)fb)O㾴0zkYgd掿 Qф^?yhEu_'0|a!0/[ΝوpwvV~7cȐ'(BTOk1Е~u% CtY1(nH$5T$LF J~sV1*(Bl]&^i,9ب%|r[5 Vxu ʝ̬qUCE#opAJ3a&MB3Ma2CJ|ZgA%K$DoY1iŋ݇WgՏEGfdnmȻqadrLq)6 ~b9\{J:19%qwzՎx6wW 2$Xѳ r1Ο6\s+/}U{ Jԫip=X,5FtCD!.@5zw4yY %;Ͷ7Ƌ3jGIJ%.( n_TYT5~bL6rG2bo4 a|W6ꘔ%τ Ur}HgHD>mJeDLфgeXoe ZЙh`ʧ1]aB;2^Ss:ʄA6Ak/y+?_D;K$(oYN?,dB.߸ȣ9[eSfgjnY4L2Bw#y Rt|,;7/8)&au~7[aپwppN-\w5PMK.2BhC/T> c'gg>z*Zɬy6,'t"Z>{,Y)4vu/M"1L6f+h:* ;9͉+IQ9!53xD[#-ADRP 3H CLӑt9R->Y;C;njf8*$3꼯x !3XK`ݵ}`+Ќ>60*aXOPVtS -Qדl Heڇ?z`PܬJB7=a4_PiOB]xF 1e: $A7տ )|=9t)ةmvhrl?HM~&::'!mi(fQ5,~*3΅f]i)k^Ykj7L _kZ dNѽ7lN|B="~~ţ/vcA~9b .>hd˗JoG7A'23C^ME~b055bXVbsa=-gNn3(s&N*~.Owjr-Z~6 +M> Dc0nMJ]W_^e`(B$Ѿ4zBR b o7 tۧoA%JFYH 1+_2sr+8Xd 嬁 &U\Bli΁o{il̗j!cv@t2p)no&wNXIb:T|ҏ2;9Vt ;j s)v'o9\2c-{OE$b8h@Ϡ |ח|7DA˰v$iѯ 8! s1c0:鴊#FJν8xD=ɨw|e_0E3$BYYZtZWyW,Yp_ǰMو ])IPZ?I$FrӴs[FÌ'#p&0JuM4RKOu%E *@Dɨ#S$vcqj9Y70qGrQ.QYU܏ U պkU4&[h_fȦpKtJ W,G۱Ii^%3 ![A3ō>)f~=ja]PBhjic&D&\ j \X#:c\H .jzx5=o߉ԑb [*n ޴:| c/n}+T!ZS)C^}>znjc{d=usʟ(2Gn'kg;jڜ)Vz\TrrbG}xE`[\KEL*$!$rć7To_i90ꚺg$E٭U_V<5h5QZ5W\FTde2b%{C%oN-ʥyom8QE:'.BFԃU!d)Rpdz_yqufX#h=f)ւ +t+oT#Rהs4WyC'VIA}D,yl@Gu=zQcUQh4rѰ=^=*l̀91oYS1GO'D`tA1z]bszC4Sʔ̗c2_*)x wSksD#@6}@͆A[!Ľg+ c#&D͙=H]$5S%KKz߿#!C9Y[/ׄmeiy//4YhIJtSn NS#d@KCZO6EFԼ|JR,d{?=APfop"7WI!28T4Tn'Gs 92μev5cX4 |cnKc7`@DG96]($@e,.>>b X7I~r %\R֩y֝;5os0oI4%K3uc0%imJhF_{Ga%J̩Nn۶k!6Ǣ6LBazwUU_  }3χ'B!Nݘ`-t?xHăg$R>_㧜.,(Ab]e4e3:io R$8]%&b).2cdk 5cW0ƾXrg2~/ eu'eIWk&|DTf//7z_$JIنU@0* W+o^;^siLǡb>Nf_Z0E'?еw(/=#HJYg>5fjYʑ[ŽyާR$9ZV pJ+fԙ/P}^ Kr͐_379z2^6x?qP##䐐En"?wWH EBzK-qmQ4a'|hRb`Af@>b5;n~d24 'I>7\4I?ֱ7(nH_}YiG 0kezrE@PWhaoe'"iG`A%`[vٍm2 F[Ov OM3N} S3LA^޻wdI] 4 0&.)KO*+H*B-cGm|\vUBd#줭8'hC=Mp/6aK9C&5exkF5Q;4V!KeL ,3浬@ EnFNO kauIo\TRE6`*^m_uQܸ^(h(̌tG7{>pC 32u.}nv0rb .PZ;SHXY%֨/jt.8Suzõw9Gҗ t1Ă֓(V?GkݫF’~\~&gJ$ut5GEWd/e=7 ]C"Fr3BE]#dgB5>*^Y[;e҆K "쓴%udO5,\ J:#yW&X8ȺG'O_?hAъE!sގp=K.G"\2I5!B6+!C#Y,aۮ JđriJoW 4 VH枭 ˂q\\r16POkTcuC(QǬ+z i]k71uz^aȠ8=b) hR`R`5*O(Z{S5> ')jddf'LQ92;cδ@/VVA{1fRTo/xrGW¡~.MSӔphߧ*V/l VP Mu@Hg |dmFpoBҷDcp.[J Lfn8,f=<z< n@c S>榵E;^Lr-ՑIH/8:6Z0-sp|X 1Nя4ekJn0 Kn$^ >sʷԵլdNʷw~v9YXa}R-ci:q޺Yq- +`DuRr#K * 'MF}Jh}X I/@2:S ͣR]xyqPplA1Xq5P P:aBN/b8+Q,U kWqI%,Wzh]n?]e%wIs4vx%2YNear$IH.Ն>:$G0ϖG#Aڦg["@{epe (d!A$YX8wuv8yA!_{Yc#Aj[!$^^&8utqϼS,)/jY4{Ѿ$5L^иȮlF5}VF»?gQLxFhJpi(mzVzyJ71+wf"sR Mh>%N6s4:dʟ>›4|se%" lQJFwug-&?SS@^fx@bݘ~ >.ÈNמksCr\S(^UduX+{9VXYBNw&exgi~)tS-ђ#j˩|\v8Jmҥ-ĝ0ھe03W֊;S<%Cp0)< @WQPkl:. 9JXH+nr,Xi*# YXA5/Z@52qN/9GN(KźB31dv ñ Up"(Q"`j7V$|ݣTl]g.#fCKm(r~(?BɳoE[8b_GBʀ+s [%ureٯ=SuR)XkXV[jV?@:C[)nXDIG&' >qs(W ?qU*KM!`=ۯ>"/'ׇˇ甁ZbB!ϥN4o!U:)wo4挀z!+6?]?Я7P܆RB0FDA秷Wx"x}ՕQ6oK{B>|[R3Ffs;ex#Pp0[T!a|C.g0o[{ɐ۞=$}.8RѺRy+f\3?.&\4.+mCl!- ߳K[eYrMPzsS͎Y&]LlĦk*rq:6jЅT(q&&:[J+LKs\ú}&l GxM*b-CfUi\H4;]4#f*e,lr.Bm$oH*l1qOƘ7 s=6QTKjSQ>!0!IP~Kd>C<iҪ 8RDq.X8[T TvL[v;ZOel?ߔ(1R3hXjiUG<5eԩ+CuU.?v=զwp߬uԫt m x%~zLq gD뉓W^]4XS7Y4I÷2^7^]XR\s~ZJ2@ΙYGG^69uaDzu Q>x~FQk)z Bŀ J:_\W.S{emH?$&i;Zۂ]mRw˜`r:Ѣ%26eڎy8"u$gТ{s@+z#b%%)}A̒T{wGIb&ΐ@ln=,6!TTT?};Ųq wFp#SvFْ %QQnJxWuy\JO4]?DΝe=+{ -&ن&oVᯝڪ@p$@u:haj[6YE.G4ͼ]*,( Ocӊǩp/:Vm֦W !ʒbcy=mEB+?ƒNH%X6y>"*{KPHFW 8y;4i L#~w+G !1p6% `arL4or`F-qݯ%Bm~ ERW?cT*|aRot@M4HJLȃu9CjTYc&CQ_ә\jx̄VrzчpRdIݝK}ksݖ%"ФLFIZ$N_z:3`= Wa`N Kݏ$sT@byy*m0ijD뵄Y•$> 7Eu~RW; m?D5dkwdLXc+1DSk >60g&q#Z*!_X`to,{ 3s-|ѳoovM[͝u@B?znFn'6(\PD\B: E_p/D?)yG74sdJbVTRC윅׸ ɋp4{+L6`C>~OS6Nd-z.:?/,T'R>yj|m\jTa̻`؟KPzK'$LVgYGE-ߴ$b ilO?,7Kg('}&bR}=t1k̓- ;uHzv TbtlgM43{=H6Ƕ1k%00-/|9N}B- R\|j_1Jvî \IǥgyK/+ʃb4/m?JqN$bk|fc(+Gm`P( C%EԾ9tICd3. ÿMZ~Zd `E8.‘n^(FofĵȖ(f,cd$7T-vP/_ *2SjQBfPNNc"SML>\{fSU8"lkWP<e[wvq +׬D W H 2~Ƅ3oc6.sFUKuD{4z?N g>(_AJpVΛb²S Uz=ω0#ʣG&j74KOR~V\X(D~ac:9m".}ƪM{FuKEˆZrLV@&bnjƲ. s GrLhס߆BA/󡣔X!4BTO!\`gDc-`RJ4Mvu0̥NyQQqDc̐Po A F.vMhZ~a`VYY(bAi,hzdggv=5O#}L(%dF+uzE ;o_;yD2åP+e˥E(IGwҢ2Y&ZTʟvB `;[~ylT:AῪ͜zŅle K+6%phTtf>t}+(vh$ѷ'3ڹp [Ǿ͓`h J8 &=ٵs-Yc%MC˩w n6WoŸZcܸXF`ǏT i٬/)fe/\"j!y"65o军\x2o {"g?Pe49vK:C1v߽*PT21?gùz_@WV.wAQ M=Rsiw~p%+Ov6uTI,:)";6g9_Jqo= YZq9Ei̧b`:&.aVrW 0i49 <M`{Δ!46 um7zٗap jM { o0S""l➸i/l(ܙ#ؤz\Ym䩝Z o,(0D*M[vD_GZKvʖx̧:ϳ nҵCzdm+Ӷ v)Lh0 Ŵ2ޒ*|\Ka0&cz -̎UoB;3i"i(xaT,EJdG&%=]wUٗCh ?p:N\Gr.>BQ|UT1lv7VNI6n?2Zu6_Et mlLݫ#uNa[W<jT'ڷi uwGBpzuUIb#qKJ *PU直^/saMsiÕrsE+;!3]]ALd.kT̖qrle8cRb5y)R -L_diq>fɆ{[t|"sg%*kEo'ERKl3btiSCm}E Mf^GܐDlє-j353xЊ*qm$.LCx >2F hB's4[3>tr\GX'ZqeQBT]YN$-u ~ۛۃܳ?#b z'E-99+F;Z77&ڊbcиֶX5ȹMmG9Iq(L֟Js`e sHUulf?T@\I47, ?G6ΪD 1es#3z7<ڎRcIܮ aoxh=P1Wǚ6b3/ZKDxׇդR_""Hk7ņ Cd iJ!D8%؋Bl鮐$vG/OWO ] L߄!w>o,Rb ŴxA H-n ֙0;aê.e~D~ELÍ.~X&3RceyqpQ[NXKoeKK&` #"w`S|2 HJ--Q܂ꟙmv zVۤg Bзb8H j~Ӷ,?~RU J|pzr> GdO5~g2]''Cd6\d(7mXRckk:'MpHkZzEZ,z jrOئXFSDl>.bhΩPt]]%N@P&t+fEӇw ^2&s"̲hggi{ZP⩌&\a89 ~3=z%PhU3>HO|+{Agêj"U«ʵ .fMX=(&"e5q.',L9 WAfUeoo]Sn$cqtwcvLCUC41^! CQXHg{_w^fddUqo8 *nqd{w:G*c%~0t[_ٯ^U^8q7hm7 8ڛ kk[mPD*ϮrG߀pK ,W<fTL3[:h0JZM#$zZ->~/ط=ZFS->; {vq&Wjcejْ&P5Yu4Z]G|B eB6`)[zP ( ,>U\O07{nnζ,X ]"g%;5H1^qHf˟#.IQ)j]T"eZb4Et #s #K+lqL $I茱Cp4T@93̨>iݏQԼm,؊*2Q5b^>ޭAzɶĕQOtA]i<f7\>u'ǣ#:8Vs~ ;)\o$h)Lau1]Su翹[d+Y~'Ũ,XTDN{n 3P{[.eֺ4a#0yv C$ _\Ȃ)?4âl@>Gj*d-ViS;,M* pdv[I\B2Jv?D֗}V1۶t\ ꢅkr,WRWMWo"3M`fP0>e:uQ#/q' q<:Elꜟo=yYc铝M[tS6wcx.13@*7"[47&*8 C?~+ٔY' )n+A]T&z;f]b.@31=#X;dB^A[ljw׸Y x0V  Ĩ)O7M$@; Y[+׌3ːTeF],S\\/83q=%vj$j_M얥&MsySvi;TxFϴϚ\ ꁮ H8g)73^芳SQQi𓟶ofg+OlSj Q\#5bSݚ$\ ^R7ya}py)y?(AZ$̷iQ=6_]DKPZ md! dDD\q"ޛg,b=./q[o#rڰe3[h5P0Ԅ!B_ ~ybm Hv*Z^N}aCC^Jd>:rݵ^ %F=Z. 8s\J[׾_8Q߷;ao_4pXʧN疪v|S*![H`yΚ\&y#:oga#D*pIgϠBv~ 뤴XD/4{p ljT_#SŲ~AŌwy:NC0;9];S}9@7 ʛB[$s򔗚o+ z rp0]3ǝ@`.ǾwB%E^Ͼސгq`0m/Ea)3in :mF*Vҕl FpC>BOYʘHx=قH˷o E#%@QydW}ưxF?`% ]ldrQ"`r'4g03+A;{f4((Kg*䇖Q|t%-u8ZWS6bf8_XCYF'fW W**6&P"Ў+mfmִI+,)mS|cq/X9''vR)l!j2,dWC Ⲥ*D.{-:3~Tx$Q缍Ӑ7z$7ںgn}*w߅kC(Z~B SӞ*Ybȧ?{ ~/Q/Pҍ _hzѦRa} 5h_4 ?akc%i"7P+QPhFLwŰÞ|S|!<px.U*c2@$j?OCr |ȰY.3Ę~ԥɶOA֩4w7Bd;4RAK SDL]Q ^ 5\'Ea))plu=N]'HTUoTy{p _Kjgf;}] .061ԍͻ3N,K Gx]RAx h4+DMYՒ2rFCEqޛb;7>lsI bO+NGwHִ4Y7uJxa [̄!WS \#~rL`ue<쨚ik+jXov# LAi % > 5l}Rta|3ra+8݀պПl@0aeglOδvT#lX2M@+0}AONܺ|Lܲ3O̷K(fYyN75AI0/2Q|{vw= XSv,쬀7GKo6m=cHDn[19fxVwXFzBTh^2͗ϨqM&3K(!q􌁀>3ϊ !X +A˔w@ GL7^eŬ>nC|>㛍ܗ#cUl\ZR%^]9UyHjB<S/DO9D}NDBv,ńm4buBrr%O [_׉36"AV诪+^vfr R]l[^Av_67c ;Usݼ@ gWʨ͝D]_cu ;V@4qq"^ĭa~V9UF/4s=Sf3=Y*7BpcZ{7@Y5v u}\\jUr/:e<\X/ݔIWy .|g&I! JSԻD{)?0/fWm)S>2-Jb32B pf-}2d0aT2,oZ0#1H7gN2Mˈ8vv_I0WxeXpYsPUAj [ҏ[2+1%'xQƕph9>IfH竑zM8 "vpnN Kgw3u~K1X{C"a3ET!/X\,|W;BPd#uT`<3ŸK : tp)lƋ|s(B2e,ie_5|,288s3t_(€!SF8!,]4b,71C+ln[ ŧM-)k ?Y&/v$߬T |B&C%, -x)s@<VZ;݀pU<(Cs.xl`As>6H剣ZhN05$gi.(-xy{BJ37x2͑ed ?@yUVyiXs&I?#W.y\M2&%*6,eD2ioX BbYC ؅"ʑ䳴M_@3W#VQђY8MƱ7 X7SG!l\uTJhj&|SJvGWP+'\rD^Jȕ?{{Z[of2TM~,Lo+Pp&G2h$et<1ڄ%!RՇhMdJmj.#[%^̴M/@`x:Dc I~o1'q&z\*/ }"jڴs^`<Ҍs ?ŃƄsHY&TwDr/ CϘe)gٝ%j ]W3qi˒y[K JQ]PSFi R Y1#Y0̄;ypޔ7c;62(&]Wpa?w3ߣaRJEkͮMBkZGhOd8 a! E gdE|j^A?wNBQA<+_Lr>rT`/2Kȱ7"W%dr#e}ee!ܤמ|+ iEW8郶7Gy tG97HQ4W B3{v굽 5h!iY#%5IN 6,}~7}u6d ՔYkKr$d v{c`b8 mՖ5Vi7PH/(~ QX09ˠYj!tzv. PUM;+XCFA*iIա?ٍ]9GmpH#Pti-7%n-+zzWzr#h<]4 IijVMzA.c`Y#(Q{"N&fKvpN?Ғ}0VN )S*)^ ĉ֬} FS_ތ<(}h-M=P>^'1WAr4&E:dفoyTύ.:A@c)#65(>V3>i]z'OZmܡ@qm\1bߩJs42`iJ̶-VAp|1YjHk!-L+3y lQթi) t˨~!ڜxđ̑Q R<4}DKmnDGT 5]l-jZMT~|٭!QmP?&^lynyD֞Xm%Gq4)-+50EcPOS84'lN='?2jG _=O*K2uˆ3sN#d,&W!?Gk.S(8֩$-Y܆;{߾9!xTpVF KR0B<0{Eg=qnwn&9֫rǔ3)(=*T5fknsS~Ae$J2nҮ/Wv\D4u=s܌&+ő0[-^,i%Al͉M;>3Njg.;s`ͽ̫mvZtt t'iiϗq=.zOcŝ- oO*DxY0f#eK>N In$1J.,6xeu$JyKȴj-"`i=6S ChR cKwgBD,PvfA{ %&3Q } JWOJhy8*RtVYx4L-z'zKqjcP!l$!gCvzQiU?HNF]-9.' {ORWipl۾6K3S0ﻬ} qM1 )?d!l]lMӵ4Z{kWKq({8o=uTW^8Q]慤uZm`Q@4ք0' z=m7?C/J 3Ԁ;f&C%Jg^D/anZJm,fII12n& Qk:t:~Ŧ8Fvbnt^!gPtZO8|\o('&"o\p>zֆ_XU0 qxS:AB !n )yghߟ<Ăa. jq'qjOaϓ4r(P4mL|jr.5X2C2Rz.͒X;4GDZn & rfh+ b_ߵ& "cM"omb +lP^-tnyr˘~A]FikcwG|o/016vɡR!OEآhZYc _}(amYPD_Jkm)di"xbk4ЧuR74>ah^xX,ZK7זu{@A}Ҏ&lVV7Mm]qFꍇb=$d e瘨)eC&߀zL~Z+g=I{,xk~ط5{qE>uӵcMI+ 4DBwñMOn!mENr[#nGD˽mHk6WXO\TEjQfCndI UNc?;#1H`NIx).r ʖV=RŒ`yIjԨP?7@!q'侾otI ?яgҡ:w%bˤGS(e^>fE g⠡PE~l!b2Φ'ksi/ͮmFG/o;6ˠk7Bguab_Atr{ֲx<Դ*.( 1@螓D=ɰOt9x;Wȏvɨ3Qv],wSJvR@˴ -h˛[*Pf bnH2JN,k.drN8+!Wﳭ͈VEݬ(ȈmFK^'V3h}bhP5܆@,s2ѨB$z WNz:/gL2wU&i?4mCQ-n%<]I^, G>eY5H`%Tx`P*.P!$/~o?=u0#~[( 1z#7(Ѳ}R &f\RJ~e IiPU.EE1?vgYZ06eff230126db301d20f9ba0007f786cbd3074a7 0fd4defefc9c3a83c83167cb24b75edceca04601 1ab3678d37f3ffff77d84561f7d505243b0babe2 1c884124d672567ed7964c56690b35884e2adbcc 2353a25fa55d4bff60f600b96d2837efcbe81997 23a299694dd6e3da5ea616d9ee7cda7b48243c51 248e26121921de3fff5035082fa6f395fe632b8f 4065c00c4555547384ddbe4996d4b0659871b0d9 4c4e6a82a18c1d834c5f9dede7948f3ac8ddf992 4d119663667bd0ce8d63688ae8dfaa389f7ff749 5380f445bb249710308f4d8a0cad22f29628be62 6bfe540cbe8084ced469c7f55963133b0027d047 6c5b4c878e7dd9825071866366d46d92ace5f6ec 936a38afb561d3bb92a18e94ea1975d7d578625d ab2d2b5abf0dd4b9f856d3c4705f4d16e8f25370 b4025a2897cdbc95e643e6f78ccc4bc9f30bc152 b7172841f6f106067ff5f33c2e89862f91d5e943 c6c09542b7beedf1a27b46b08c671e81300c98f3 dce1a78a7124e77a603c6bcc2bba1f671ef4818e dd6b9c101eb1b4d4626d557ded32d1b6f21625b8 eb2ac49e231730d17a6620fcc806fc95c0329add fcd23409038bf74b6e034eb36fb78cff17075ebc238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3647d4adb0ce110953513ac8f2c51ca93a5abbec3