SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 3$D ]% Bertrands_Postulate:threads=4elapsed=46.772cpu=154.852gc=2.664factor=3.317zXZִF! s]ŗXiɟH)0%o#F?gew@F骷7WQVxx[K9Bvky7rn,=T"/vr4}Im,lA^# U&N'-'ل5 3 Bertrands_Postulate  48t`jWLT;4=?>M^;cADc*Dspո 0jI>FX`}+\8Qs`*dymCܫ:B> ~Bj in+ɩ{_߶I8h_*B᫻˼Vi;K~ٽ᭛O >H̙AvQUoޖ " YK,oDЊfjq M }Cb i^41Wepp^HaW=ttt+ifGHCKtJưPJL=vǢkG<6c]$eC\Ӯv~=(^0$Ҷ65I;ٍcc5DJlˌe.`4{7~ҀD:trNi p5b{D SBb` &[lc3̡h/7r/\iD\U{}rIʈ+$29u0% KD M43<8vbu!o1y:zgl޿X"TX*7~G~l21Wnc"$fri$#]:8ip}fOl^z85F6D`65H1^q;6fS Т$D3rXϞM2(,L[I "#랗.5!DPL$H\kaÆBW^l5?x!V-?z<4^} 'c(KG[6TڜŃJxT2QӪBxƊd0Wq"pTK pԟdTWU|&f\9#+_n]tq y͕WF8vM!s Bά~OpJ5L?ΈԳW7ɜ~v뼰7^y ػfI8]Gd'i-\tX&x>xNc˰,MqTͺnksWN2|_Be+=+ICV\yۯ!*Md"tH?Tg0_n%42sa/¥ ;I bϢ:9)Pgřu<慍|J%yPE"QZeq=܃) <dw*qj g 720}_]ۨ:6'*DtR|b eIɆ+ˏ:/6qcO3D3d"'c.[ {!^T 2{@Q࿢>.hj;d[BB$QhӠByˆ-K \iZ3ztO_]nW[">Fy'9INs`K $K1c[gK 9GXja!i8糐eh Xͮ[(qb?d]Ъs:~J egSԟ!klYKhgQ4lPZ 8dAٮ&)z}h9.%6K%P̟8xhT=|=tce5-Ț'kvOf-)#8\eze}6(11 kF ۶i#z6nҊgl{*8}w\4*ק+HB掾~`@J¦CEn  G-iSXɇTEMnCYk\,n S;LE9e86,ba4竗lkcS ̠Ǩy=Y5azV|XRc_@) m kk_pANq~XSOAy 1R7++<4.?iX7Fe! JH$Rju+w}D U`Y.z*./1Х? k`Ո/P%#.`B7#Omvrl0")n`U%[Sb#ys:7ŊGJ͛ Z?Oiܪbq-[L1l`8rU/5>=2tz2Lj4PL9?/Ry+0P %Uɗ{J|v"=&B*y\-ͭMɶ,Yz~YR <-?Yus*b&;MZaΪ&k)dS~ % k<%;0v ̥,ݑ|xgjI!ޛQ=M>͕Gq9!E2|r6T<7SjfbzLRˈ,T Exxrdwx>^[3`>Krc`P*`.,,Ң2b j!ߠHg5a5,w} {±XIW<lb29_i߱YOi ]esan3?5HȒqD}tG%;} ?([#(Y8= \^zPr1>Y>H&h^7Xi̳pe@x|KumXӶYPrf^Ǚ"=Y4pIgw=wPt"`7.ŲaWqY pL.hRI'!Pn)Hӕ۰sm7d)@ںsH,Xs06N tk%dPW#~/ I}\`q{``-`lc䯒ڭ)ہr_`uY밚j% #;HCn;vT2|1Q׽Vգ{)7z*.ombUoFF.T flɛIӭGhMOoELܷC_/ y\86#v@ˈ*R\d_ [Kx!U!pJ3(HE&DKo Q21duٓ9 2R~cdͨn=̴κcA1``qCB ҅:;޵ɵ %*CدoXCgVW~%-Tp;pY{M+b'`~*.2Q @4>G\uM~3=se)mN2[q6YU=9Ah/h0,E\K_`Y VT.}2ru=9.P4#6w9Ą>)R-(C^'[XiT1,R@~ì?+Z}̴`ywK5}G SpVgVVw25އSCE&-8Y\"^[E[|Ż5@}5bkNh?CyfJy`O  BTѬtʕ QUfQw3Duq"9? b~I\(@rfdSi1dV &qb{N8!jbo26HCt0WPWꈰ0}I{g S[V>q\NrY9`^fB<<=d54B+qAO5~CEw3>wjYHyv܈TG'5:ptm"J7+4H>G}wib8z-FM ľa=|uK6ޛSlW x5i Osݯ,nx_̪a2g(GPʶ \[A۷цc3`gAxqK7U_7{<`' EU=4aJ*GRѡ?!.PFTL^9DQ#cp^(VX/u~l 򾐅KрpnIR_M$ӘEBG?ϒ/6HԮ2kf=LBX4OFN+纀S ]cH5T?@!ӹS*Ryʖz"u"Za`LhR寭ԁI_ ?2W >~Nn{6jn;[!غ?CʥR#+p~ޓJ3\>'GGյTʂΕKXM.ۑp7Vڮ0;#DrwZgl1bLg(Jn{_ۑmV".mz7EM2@!)MnrwSs.&6 ]!4μZtv.qE!1LEٌXyp@yiϑ _?V |u0ݗIIa+I8H Fl۝Ό#<1i{dkq2Y`*`e[FV(c^ !@ f|X1*WkK`0ٰٖ'j-h2ҞfwTk!96AN@9q)=\ eZNdԼa^z%@&t[I5 ւji⸆]<N4K+KgZ:(n"Czf| h4kG|maQë{UC.i{ d(Rundn4 o!rM[ؙB /A 6&\˙ɏrpjA w%Ghfd\LdIMVq˪tpQ(=GU\ܼsvOmnW|_rN;4,Q bO5ăLtB!|}hS?R]pQ2(x,C/,|{LĬPɤךYc]uOⲊՁG/>Cٳ"Pڄш_ֈ/hytaW6lRe.ؙSS2"!~/: (׿R8A(Mv,r>bC{H2Z`\`˅qJ sNtCZuK#\)o%h6 6^QUA.wQC|ØKRr^m)#{Ӕ"BX&iur^=;A?rK ᚻe_ya4Vo:Mg>_־J'vE@M9 G+ipǔxcWe8V:p8BxC Vhm|/NRG:$L"-wTހ)'&]dhh9QkLL^[*}_czD$[$^r%NGV@1#E3šP"T7d%lп*{P8Tv\SD{]foPo]v# _K*x*Ru% z6+(1KO!UYFb[TS-E$c&c!@5<`cD,aY|a\3T=UxY~ȒɜM̒ sk$,\Ա0ٕ}{l JDe*o(aNlpĘ_4a!p~d Him:}g/A򼼌Ku֨HsöQ߆L)Ibgg{؎z{6#V*|+ 7fb{|]`Ii-! fp|TZa&x( '8xhIEALC[VT'i:},нI3C3rh8\[_<++x002OBLkjf3w4QQ1N ԤpAo1ոm:U"re,I2%_rv3O*\,zq1"NV :+,zR\N,!+$j=bhDuY>ԱIS`PJݮl:BxGkÇ19иGTÊ(#nDGas1^cyEV֓jeovHEE͎umP#tWҦzy0[>GWf;-]GWdyVn {ڭ[)6} KLFeVu`gYeue?lY+7ăhH<yv%҈Ո(X- (j6"ci^5Û^&̍$mG|ݒ 庞,nUʕ;WW1+I  YONrsɣI 7r3TĬ7Qլwz22A=O~*v1hAyQ-h6-^UznH;_1Cxp r$Q^ޡ: Av6P֤`v;Xn'`o6 N{br^ԡZ0sQv)xDŽiW~Xm3Ѩ|SQ<բTJXW,҇Jnp5'?~ڲ&zGXn l=q`z g٨56ZjYS Nynwi{&$YN5 lXm1懴_zHDegdpRYuӪ6J-l=Ȼ C-"Jr%ДB+:Sl~7.|W7둠cY@ya;[b2ۉr!FEx4#( ̀@?d%S@!O,s5zxJꕔj`їAķ/!J߮&CΊ4hH؂e@‚]24tWS5(: Q7,J3[l.ԲBg{ )`o"*74Ԡ.K2>Rl\vp@`ThD*֫a~#16w\mta}!7ȴ1j7܅VA:\/įzB@Ch,WjAW1$'<> A^Ai@i}F6vRwÊB:!"U>^ 9Weiv7-ѧegeO@ÁPSEt?6Wz(,L▣(60v͑3!>6,e@n>ԃp~ fN1rޥ_Ֆmḛ!̓Ȝ0wFzd!r\J/IsSs!T4+hꗼp))P=vc(9% ?rU=)qʲc` O~I  GPv-_%Lϧ~E|9`5 ÐR]yY#_jʡ=@ܐ#{]BIB>&4R؎=YD-)||"nȍp@dh{D; r6`!u#a͐WȡDAz&MeU0hLYNk!mwo52T&W(=P,)Ye,#'LOY( uShńoni6 9  ]A8DClWOL4F7 `r[nڗrqCU+;mdp\zy6oZ;JR@!,̗l/8ZT:Q3Ș2ϴh:'FEV@z,"Q+f͗GmsS^WvPɉpoR+ধx"xu+9K;^_^Qt~nxLWc$&oc7P7 3=2>kAң8l!d 7jh:Q9X}ͯBlBwanh!H6ȤP| g)SOܳ2u@o'\"#-Asz}j9g0Q|f וժ mhpLBK9"^M^L-kH+KOC`Rbxԫ7#sO+MCqT{/ 0YL1"Ļ5Wt8*r )&c)Rq/dp@ $ 0Nh$@[)zZ "t4p;ZO~qnRb>KAͮmC%d$: %B3=Av 7WyMeW78ϰ;nN4c4Tj^okZYWSNخ,tL2!\ӡ,9(x\`O|ioɰ֗8̷b][5ճïh1 [j s&)Վ$o}bRV1~ Pfs .q|,lJ;(Z%98Tjj: 0>?^ܪe fmi+x`#G:OԠACjU-UaIŠ[S<NV4e_\S,e~@xmlv- ?$')b$V>]ub*#U{Tl\ΎyFXghBN,UΗcEmF/)AKxgu/PE3. ƭ9ґ/7J wV´fC~="wi$D} CPN=gXH܉OG)9(Fi/t1r"-Aȝ(tLccS)yЊW@Xsc&Fk[6vn(Mmq13~vxWV ŊuxWtz04Y~#Z6׷* ^!_PDٽ_CAOhj i*,]'ex2Cᑆ]{~/yQ8EQMCѷQ>̾Ƨ>ز88Ꮰłr`@<z[·{jM#60 J8G*} i, T|vҷ:bj-=7Auӱi Z lyJe!ݢJ^Q'Zk2b+u\  O@>^10rncq)kl.|Ovۻud8}3U8p Lg ;ɒςeF=JN`L0F^S~Z[ç.T0R#鳖U)輾fEt%|($ޛ ]cYgD@w$HII.أw"Aٯ>"{z#g4\Y/&j> JшUF3VL̼`%^#Jނ58lS?zEXs-i nu$Mfg* b84?3%W=aV/7޼=R3]lpkao-/×nO mР,NuWVFT\TKBJid$[] :C .釉y/g J/3 ~iNnd >jǰHDͭ*di1ALvX觅s?&߿6s?`=i_W]TXG(8olZC#j!BˎÁyzUnJ:dxWsԏW#k 9&&6x۷5ZRt̊ ؙRrZg]R/|̵}_A|XȈDy7됂BWT<XgNQv^}2-)PZ8$s7_ p " 9$|:^*rd;5 UyOk= 8aOUQ\+T $lksRA]`30>nNMt:N0˥qHDf6, F!yylt{˄տ|7zZ,hzf9 P]0@<ĥb߈D)EEdS¢կ.E6&ݥioݯ䢴`N" D sa۹hO'!PڹzaGJ_g4 (d!&– aFw4]iPo9{2*dȧFɏge _/QQ:A2_PDbJj4_pLs1I#oax處 ̺OwkbI޾ /xhWm}{f(m"Q!&W ,Ndp{-s`VZn~SK>y-W{) aBrslTxpl,5VPDGOw皾B#/~,~[Mp[\UtXӠ!R(0F^9ëx8\}l ( g>[h:!2~%IAVn?n1D}6  d/[^y #Q w'=NNn3 *g?uj-S('؜~([ 6VW&r uYaj0z6#~ⷀɤC:kɾ!~ܾij9\shO"ͤqMM<*1N"ʐA+=2Oܗ}Ǻ:OZ3J_Z9=(|xY*[P EDjN\VS}%Tx>:?>ld9{-Kd/Q/4s7 3jCOx Ix$FǓZ3ػJ 2"A; ۣ;eh/83$Ie#N18Ë cԠBWfCOƹ%]~TLb 9w3[=F['tgk ?r1-+.OD_P_L7Jϩ{',6aJe'?-@WL DCQM3D^KWDK Kޟ4AӫPn%Gn{< fg+reBg&4CJ{lUj/i]O:}z|I&l"I5|zzT7\F% 7 i 9ĻЍn;$=oH+Ǒ/RsU.{#3+T[ 8' 7|6:Q]ɽH,Vy,{gt#B0'<29>C#`$̥RYWlxrγ͉OWp)l+e|oz$3~c$<,sqҢd&-3&=6 VM:{Z\Vϐr ,Moޔ/L{w㛥6~?:A}hZr6lٿ_|Q-8wdSUR;\CŴ#ϕ_o.R)+cMV>}3qqJoVĢ(DTeÏ23r,[V2)Jm"pɯ'%@;\;x̼2; Xt!qT.w\GKxڋHNc4`&]&(>$6]( -GUwmpEBW@`QK,uD}u8v&b6D{,==Q;gvC'A5C*g#G5RēH-YցAJpk]t"RpP kx$Wk_+z(|bBlrO.&:9g _U3m{`[ ?7s_dM|lS{ Cɯ-U~yE%'8TmVp7m"USޙ3AD'l#d^9s~g* "c 'ePFrc(}\>lҧ2AXR1Ej.0 U[Z!)hK { I ۯ~Tb]VΣPdǦ]><["/{1φ j=\Y_+r|Y%m|B!o^CٛNa[[qQ.Îtpj ~ \!LYwչs:DbСvQS8@R4 qjVq" ܳ׺Aa_&N nB. 2yh߼6@pܱxo1s_1C7_M3x?T~ }ShuWav%jM4ݬ#]r=_-m^AwɟB2r}z[\sPܤ DSg'}_™q(jɀ G P|~R\~@RoCv%v).p̪ @qxG%Fd`'rfC﯀ >nHJ= _мӤذ\k4i-{Աɇr?pPEsPPB͙öX*1&(7!"3=A9w j>#҆S8\{J=Ku%؏$arVvG梾Cy##Y䴤;Z^5iEh/;uTLX{Fk ҃ץ4Qg!3]1Se IW,i?b:ғc2c- 4E\6U{efV$j45N=.ߙ68PDϑss6D:3gAy5'aW]Na|#D#1p4%b;TA'3Hn~N 1oVE 믿 1+OþesX"JjJD†5ysk9BcI$*n˭ 1xP%u7tD ev = NgX{>.:HīY57/^*(R坋`N}Vdmĭ9;[(QIGb:22ꤠzk699/1-gG%%GLBq;" H\m_rJ≯q{Ο,],c {ϸ! dLCǢSz93'E8,mNfc_yLW9ClhJQy@c?.8OlL)H/Bk${Q7/LRP# ̼B;?>z5oE=:fha(5gqj8_Dz#wGus!{iIv 7e𺇮2_,%Ca;kJfǤ`I7}ewq1\t/9#^šn kؿ4C P\&@ds6Z߾6u*mDJG6w#ñAg>W94`֐  HE6 ![)9~DD' >%9MnWFxN5xLt :j``LO펮.|t ٌ@aC~N]f฻&WܫF{>b]B$Y'&6*)2$MK;]g o^L)[@اR"` }rKk@Q~/wP, ^001DߦJGSO>sQN([L[%,fme=jG@"2\bbRI㗾麝'ŇL 07,v6ujf% kzL!Y-XRke5/`(5@CGamTVcE!2( 0dI<1ƏPCWԢ|wvO6V3*wcaml'sm1UNkƋA!7 kb[4\=Ou9pq]-7Zr|mj]JpJ_IoPͧ]1,cFw!|1אUd/|6Ed5Fx0"MV@Jy(l:1-rP*Eg.?}Y˼D" ~aX+>&`t f <rfqdze-(񩲖k>7=MqM(AIV^& St^6pX䁲b $sJ݊Ii9T>[Jh핪yg졚M$;Fe¼q!#KQ-[%:&3 ^[!V7қ럫Bm7%|c,ܩMꖐr&]U!1y8Hvhq(ԡ"&!lHZqZE^v~b[^Y$WN'=׉"-\wWL*0eª c𱒭Q=KPf 搶ٍTtdNIr|<z{5 ޞj0GRS̨d&#yHthޗ.^vs^L~B9'fN=!76m'<w{ ւ9<|x!~&kEWdNА0?gմb cu4vmZJ/q=Oف "c6<۔;΀~N쩎ѰB&+: m9^ 랒_Ŝk blډ_$eU-UW%&dH]s$(~tʿ/>6$Orp$~f~nkxp-) c50bݨj'SC0:%$mGp8ɶ%&  s Ԑ4©GQrv""_:!u̜#IIx&˩[~8`:@ H,Y'FM =?[v*Qݿ '~GnZ}$FEkgCXO;< /ㆽʿkXf,lFJ )Yna6[˪4g4E4܋(ܗ 2NLcLE 50C3 4 V)Y5;O4hlHA0#QZמ 4*zy}uvdiF5RIH<0lo%\4u73|\ >wFRg 'gpMy-7Y(A?ˇ!6VV0ΓKQ"\bx1Pކ+#;|j}A&4i ;v0>HDo}湿;L EPXɵ ଏχK E\ktc"L[Os \ cx> zOX'n1tYr& `.^onD3I~ >AQ6f mݻ7d;ɇBU!O6 jjPBw K[khbvX)T9cȐYDsNXuAiI#o&<8CBx_ϛf:e>;̓K.p[K3'`I+OkoQ.)l |/3g|N`ꅛwOEuZ"v,mKg>r 9S%^@a3 GGPOkPRh#CN$aY]=e1ұcI?4ڋbDFe) ]!lk]"sڲ-dgs>xo$E F@4q\-䴾ur x^2o+"d'J3EhQ̶<{`>0¸#+dw x#^mbκnEyg3z c޵l*@C*.r+u呋TG"2^ɰP= Q[Df0kZđ/4J>C.y$%,9"SR Y**:gF;P X3d P<+9mR(104RV.jWS&E31e`"ԤUy$}=l<]'*+c\<{Sbah\Gg*J1B_x{㺬H#EsȿXCBaWN;gsVt=Li ;ycnKiLPm?Df-uy_m.zqj? Nl=Pם0&zu6[K~97*/$\kȝN\7u'>IŒe`-ȯ{@丝HU2G7!4/"{8yR59&oh oM4?oӒ\ګZ2Lݶzxw 54orm5&ngֳ~/_]&v:y;NapbhB3\dgenih&*BH< !wpH"zӂK F;X!ᶖ)l6Ǚ NZ>s`R52SӀQPF?-$i?TE;B8YN!?rGw."F݉|[ Ii=ĝoa67)V#;m;k|Aπ ӒTiucߋE>wf!FLT+e;{<Ѳ#-Yb :ރ|p잂\!E KTi!sJ _@07џݵ  %Ш.3g/c|?^Ȏߜ,LhC0$3غC d[hT!w'Τ4ޙjWQZR,WpK &EMߪ93W]q/?w*+M1m[ucai=Q2O &BQ3' |Pv3gA8 B %YK!6}T[[c&[#En?f@{lArw$AL3 $JP\^1H'Yn ѿFy+`TVkvAĐfpʨň؞m#T |ZNP ߔzF7 Hk"ػ!n"#ar  }1ơP.Ӗ1sJY8FERo,Ѱd:~%&<!nsܖ5BuKii'/:%qj`1_=Zk.[.uDj|qSMH_lUfPpOgaE16]nT="i1b|Q*P(o[vn5y\JwCFDP;mR?g{Jשۋmve4rMa&$-$ͽc:#sɔIq}3[Ăs +YmswcSN+o rIcszjUhj]d^w'J[aFdd_$CDRr,a8!=8*VfFӣӹ܆/ ><GСReS 5qdk{8 Aya0٩["Ed>~=r9䁪, @M/rax9IAM CreduEɛP"v.tCNJ<{ECJ 2p􈻴jp@m:qkX QԤoo)4&e'˗g&E#8u7Ci4 hMn|//ԗ1T#ŸO6~&$~uV|4"?M ƿ&/UKnD;-2z$l E?';,e3F`{clN?Q?]3B>ge:*;1{yx\ ]RLIhvrIDW!HBq={A%5X("a#$~Y6:؀h:*Խ0xnpZ)]j2xj q! f,MLmɘb:u_ZOBVW9:Z7H7f΅Ƥ|),Z A@WO.*@/ Y{^sᨍ.>P)޼W@sbr!F_`uZl}]70$@K߱2ӱ+eCS\R8g|Ә۵"ET/U_^v.S5˃[E:{d{HB>k%V6'=nodP\ҥMbQql'<:Dž΄λ(7{oǑڗ^8!GXSW Y&shuWJ)1zDm-M:,j^ZNSx+HC v=ÏcF(;9M0R3b+8NQ"/ZҖEG F/huNРɈ;v5x/QTV>+﬩hO)h^;‘chKg[AH^DpĈ:* {Tڸ,$,xmwbgИxvCeg^9n)Bm -KEZWX{>|K.s? '[U,AduHផVwx!YYTk+CzE"d啈2(x&(1i!ؠ" Aڕ7|:-FsDT0,6ߌb ,0آb+ >G@%km@gf=5\;=5u7!ӢQp*00},4s hxzUr<Sh=CPPa;зTfN9fȓUKl2_N_Dڔ:D=[+@x 9H}TU4"| .eЎ;93+,0sjRJyx}3475ByLYz; ZLdҘ=lIWGcq A  ^=AkR^j?w'm"Ơ޳"%l TSkX)[iťxrRTayUH)7Ȱ[F|N.Pޥ$`XUih7 }-gF By\K'x"wkBX2Qة0ohK'etbfUDL&t519 Qc*3w"6zs W͍h!ͣj]}Ґ?/gKЄRrPB DNz=O ,ݬ6dPq;0kg#^MCD11\u!Cɂbt.n5"y0 .)NN2ξz7T&1 v"s9S X!H$an O+錼*'MS &.+OqK\Oh1g}L.|yX0Gj!j>=o+A \L%ۢ*~b}+eX\2y-oP;)0?>8j 1mWe2(owhbZǀ/Qw(cr>l L3/5/p. z\^]'Nf*}:1: o)+*ʊAle:+jr'9d6Ak! JfT-.zNZ> y.*;LA2wg pF\@ ÛaC#|>>%npVԍ!ޕ9nb_?D3e^T8+! [,gr%cK2#Dt}H qE'wb+E."ګ0$[aAxXxFoh]Pt(EA)dFXp(Pud™{/*"FZ!;uJqǭH-cԬ7G5'sVN[$ڈ4I&DAY:jZc:p2.̧ƾY?z~}Fjq5!}LK5@aloj8G˵w7gק\8O3ͧ$e_-}rc_YzѡykɳTo&ޏE;?}*$ _n-ut*Qr7/3&0YlYa$? ˬE俒 ,PǰϪe"bm~NzoĂkC)$&R't Mycn 8wGT1~a,-r59Uk78%l9}H`))͝r">"gۥN")m=tD3N|U>=j. c&gLh4ń4ثEa]b\0kDZx s (UM_Bjܙ8ШLxgke]['9&jq-϶Db9LE&{TrLuI)NWJ`<IQ<(Jv%M728TBS(KmtY#9:9FvT4tW<ppLSٚ_  j^YN+D[6/t*M4UQ5u?UG3bg>_R?EօeX^zB;0_qJ5*FMߘE,Dzr{.NnHSrP/=<zkqWU6@d t;wƶDog0]ůQ%4=FEGtbڂ{>Pcf{< o aQL@ș 㞊 G]p갉>/ H+RzXBJ/Y}R p7FnMSH ]AA|GXWXxX;>J:+J'883 &&$+0x3Y=s)í9~\n/T*RnƩ?*iߘ̎9 ESkFUIULni (D!PD0K]վqLy6ňc(VgPڔ6ϯP11o'Cq(&?rp>1w74T $ވwf+mg*nJ܃q`촉&I7)°䰦?@XZ`Cnn_ ƭœ6|V)9+Nb/ 7 ̐2ET%o2H齙zI3]DA[k;`bnTZqI,- ~ONz.T2BjɻʰZ^O+[eadB7"{vǷT DCk-}%Ui (7T!u1hRQGf|nzMX⎵ .C.x7#Tb=(8%|co!͸ xli=+k,|;E/"{M  N#ecef,q}<#GƿmbΥ[*}@fo>^|.ȎA쪆Ĉxm\S3~|@ͼ@1f: iou} 4,3-wUFDE SXCSYW .|^V3W&3(ޏKTT@/-vBWa\0NEsiv+ySUR~z(9d#)ʭeV|x;: =ȩv处N.7Υ [$KR%B:[V`WFxo널4S!g@鹏 ǛP}');\AQsVH~nOla9q!dٽ8}nҤ_EސT3i0AB z߻ao8ń_k iK`{}[.)\E=Wh$k}? W4PIڃ})adw*HmSBy,Ȩ|#jVpJ#ENz2ΈIbۂ6Rv+CvP ֍v)8TVǬDa@k|m9ctÌCAc >8F;`(NhGbIӈ)[,]/-3mz/nYӊPNh xFZ`&i叻Q q"2cG`h,ȑKjir {<鼒ǘ"eG:䎙dqqCj>a 'KJ3 9Ff(: C]Gq0ʽ"yD.wit\@Ģ=G꫶Ǜu=`IIiӌǼM!/hg~R[ch7!G͹t (מdTey,SdaZQpf$E*dgHw@݈%w4d/&KFlea} U4zlV ?A !K {xq]k(,ih+H?T'"bg)+r#fTaW'T .1N כ hH7 1CMK,m S_v.u'!1@.d5 ՠP@GBmtTYli(V3I `OTin8+]Ʈ[ 5D \աG; 2h5]# DC㶦1īir ux |)-9Di^d\{:2}76R5VEKXg}lg#젟fђ?NlF(E}~:*O~})D I9[SYّG=|V r|jw MU{7׭*:F&̶_+ Y9jQY`Zfa;0Oב2q>F9vu,m0)M DM iW e#!YjW巙+b ׳NTG [񖶖A)9רyHf|@HB'o}I Zmy^ao5a_2c%u m)/C# '*Hn@I\w}.n-jR E+'ia~sqaa;Ͳ'#ȀJ;qw`M/:։“(s1aKc/?"l_-?;c3 zNU1"4$A.{&+vGf>%\GYo pܶ"U"UkD8)q/ b,t2jMsT u6u|&>Ia66?N~޿:?#sa]h^y s>oJTєAӡ 1ٳU 1\oN_y)ևuFy\${vP,ӃWM URƛ]*)dMeP̺Y!(W7OVO/_ 5{Kk8UT ,28rY[|p2\{:N `o3ewIz60 V'npuL\Ɂ<oH ۾+&  5)Y=qf W/lv.ѡʠBLg,u/ZP sƷFщ)ly-{ajKƣp?{ę_z8zf'A+%iZPH*acs0笲rX3QmW>$`b7ͧōCبAMn,Q:?5V+W̽-9丈0ޝ4nH9 1'xd@ 3>D30y5vf%sGbEQN BTHleQ1+^ }glN?ʶzj/0hɆ: =wz`H! RWUvdail9 5Ep׋VUVz[NNBP]og"v)#:n\UZ=~lٻ>ߎ7mLC\\Vkm; SʲL)Dos2 phy ؓ SA `JkqʞŨQBC6̋Ro')Ky*z,E'G ytiʖ}>\xagkЉr9Xyq" ĉ8g~Zs~4VE@%*LrE1G2-^`A_RbFU?4ΔᎮƈٷ;[_ Us ͧ .s[" M QDFSLpdU]5!6T7k_2&eܨ5k~wA#.YJ 18fqYjgy Ū̯*QG,sL_Pek{a f?ùR,,׳,:dx5Rwi}Y{@# k+FRT:jPwn5MBH;\!rL'}$3@l=`ç#OqF f.;Ȫ$ߏ!X ,(PUOa rf,joK 3ZГ蚬gS-,3#sA^qG&m,){ .^$3iON)|^rc#m|ZoӉB+}][!@=5w\ 3Z: WjbE=$5bVD9:fӢ{]TF &-"o쁔6JDT6~N2֧@bb&2'TX>⩩2*RÏ>|^U # ąvȬtm_ T:WMfaF>HA ޺ޓ%hlY:x%=Y+u"1A}=?V+*ՙeK_^cK(R+ǀΦCkH#y3 u ${&ꦱ@vzCpR gW]s#c7A]T.opAbbk\ba^)ξ ct6"}f-5_Y 5ȫh?5;>.3ڳ!%$7*N5۱D\,7S 6 +q2"qkLVu8i4 F>sjfR.^.g{zkP! 9W@R[T 2#ZM8{sp)ݶU VQ|_ő8Y!d[}w2bXש`.3[S f)A Q*?|"%5uF{dQ$.)"yLc㔒us!< W^.PZcEfeOhyԪՑ#`p*NI[2.̝(w1iNpZ4E^35uf#h?麸g^8Nj&6<wN9I8;,S$r6d(̦8v_i8Zѓ X4Ua΅YɇY:7;3uڙ(BYysh#yg -H)SrvTW-(yBb?NRgI:o,{W H9_<? !kDKpSGBI[Z 'a:akmr[DDKmF`3e{.r)˵DS'q n2Z\8*v-U%<㨴iuf}t!wmPnH:.ϭ. Z*3^Qu~1B'e}ށl/[ S1Xe"wEp)Sm˄Leϒ~=JqYoiu;^ fn]J@Ǖt&7E$r~8 a_+o ~VNҌ7+%[֨ؒ1)35Ho+"A L.֗5ĸΙ 2eM z 7j(^!kOUkcG7/"gn_SJ;v6)gz#%>x!&񢂿ʆuWJҔQ.erzMٲRGyĶxY#Z0sS5!ޭh!X #RtHMŠ^p낊03K4 ;֫*GIbQW:.V-e Z\w3&+pxߧ=k(\|N 0Gyx\֞`DN'Džy5yw :I}+_:J3Er Qwl)O]2ilkԷHt4N?&Ƭ|[.Kоwdh'\o2DX'o.of dFfPO[y \3n h?T7ڱ0BwwS+%V~L O+kv x?y:.J9W[NB?4)2K?&ujʪbZU{L]0$A:sםO4KuӇ:upi:HJ79xK9ޱL!t3{Jn,Cj-I=Da,{Iє(5O_,#)wmWNV9vO2\?٢|67gY ?YQ76S YjbbgiؚogC=]?Pސ5W CixQAN4)RDS`k wۢK\1j:7g?-c?4.3?M+g/¥b h3]- 7#5R,-7e!c+0ޑceH29C@6 SNBev)Euth9q;PRoc0F1"c&]npVG9%MoѤX,"jZQ:,K}Z2NtOs& ԾƔʒqTm5ٰz-t+7G;ύWd\q`S_5Se![5,#ŽKb-$FD|F(MUU p_ kqmج{PDU2.֥on0ѝZj@o\b }>/RՆޙ~eQH4Y!ӰlQժR J$ Q *ň\-TZ$ips"jR<3s]mx?QR1Lz,bVăTH2Vx"De HqGBàsL+!:S@aHsN" '..O+ _)>9 azN\rMe9~W6%$ \*:aܯ"Gy$TA;؆bw,/zDC|!*gue6ف#.LޔXn zPoIb8c!Aˠ$<bߍuoFrj8CN))j>T֗ME^Nk(ds=OV{WI-QgѰ_I$՗_$Ю9uLM<3v">gq LDXUfԛU&+}jW鬙"nNS\Ihh z+&pF rb%8 XfO{.ac[ 8 rlb_0 :^ѻ,Z~k*' |ެ=t;A@U 0dV[zZ@^BM(>lqtxzߍ I=Ny=ZmIna[ќ׎XJ&[>j/ܪcEHv/A 2IoY'YIǐW0<⬋݌UІDhR/8`8=2hټs/IKy/+j (3mNϹg]1@ #/g /zZC|THf: RVeIٷuӌx?{n6$ae#/8Ԡc`SgTZ-E; 00?xY_[0C|9>X-ce3YmOѥrϵ@QE '}L]d4׳/6;D[߸qyN=A!2`S'4Ty'Y&+?;BRb٬8.h;gް<I.\aq3jU}O yo8JKH>'#PjYg $\RO1m1棹ۮVap5=]iZ9i|s^@֧hW͵p%z$m+=^v堄Lo0aJuzFu`OD?UF%5R )wͲ \fc&KznࢨB24.:Gpo {x2%J2 㙩Qf{/!`Xh;H+KJdZw'k-ےi[C,'V~$ZHZ֚lZǴ2*\̗$ShE18L̥( 7y1{Y3"Xt!0&tYMhpCHOs&E_ I,5=tN?cW}8D $񳗨ڞs@l!lƣK VNni0(R_ t5#|xQn4/Sb3O8n(Ir}x=E7* ؕY"͜Żp3h& h.?+; 6p5]ݷ+ܐKyd !7%?0%pP8pPϥj$ ʕm@݋_iZIjfBfp\rFq78SF©%Br){%B6<.>GO"xp[كrk7S}O9df)& Gҥ"lxȕ]Qs.kp 'H e}Ь|Fm8CV"$N?t˯ FjQZƇro~x^+1UKQԮ9P9Pԅq<.g_j0~? D{eɭJddr[uUuC-]ܛJHpڵG{9AG!o-M~e(|yf/ SH3/.{h qM(J˕ճMWyDsj}fp%J]4@Dv?EmX XpЛܱa$2|zO=)dwZRPX+5iGv! ġz}=krSn+{W#"43k/; xFӧv-Wv=f~6TdU,nʆJx/ ϶oR\+x̛+>~g=k%ٮG, p  Ⱥ|_ܔpJ>tM:\NjKsx F\!A juɮEwOV>_\ɦowf`:$.E.nΏ%cpvt(ћ׭4@-ۅ ͌Wz?]e^P8[,ppe3HP*lEAQI0ln@YR2F4RБ֣ %r #sϮؾUvd -8K0Q49<m^,9vzJuOh%߁(;CHHPP(yЍ='0epEM5j?rMTswֺzea6epJWtjY2XWu/?93S1`^^C_2w=;Mar72 9cN*8ܡ&e{)NU?DjfHkS2!^{r΄xlEsʖO>av+bT-f-aN( %T|.78j!:&|Sgc\o?z,!3ԋRb)_n w;ƌgM<2`{rSYU:/,#-D` Sf  >פ T eXLM"$v&jMOZwC!g&TW5GxQ8g#^J.lo<|7] 01F}SA”Tַk.f.y'!|Rm-_P~V < ɸ@- Xn)^Yo/r[dQN'hё#KF? ?y|Ђ,):1e8mA΀Hf9#( :}Wpo#R9fi)^@^c›A[l0{1:AA. }U1(vU)tߙG#/Wś8 huPd7ڹ@HKa1vCZ nlH`~ euqwckV|Obqw55&@~QQ%2.dJ[8ŦkT:- {,ID@<8flp J` nye,gy_hR\% {EDƒf:83JrVʯ0UReXtܯ;W<ʲfs!TU^3k}9VD澡? A-RN& _]mP>_fp]XR)Hrn,\:seȤZJôߪܘL;R$xl=G'㱫JN | G}y+c-À?R$qZoE UL1K+Dž A-y8 ۦ# f;3uXfaNԏZ&!e⡸KU^YY%-+*(×aE*/DZ G8s-xx|,r7nSyXd,,ѰjkVk@өФYI X->G 9d3ɓ%c:Kf00R!Ri4 X=/qJ6S*_4o`n+⸸RO*{ROʘ8Ȃ)LU5ޙrO+#}:gɫiO`y k/哼;]YJEYJ{ fX-zfh ՕXBđ68ґU Nb=HbOna>QFsdof|Uy;CyyI~XXP!}f˚\qx_*N{97IMRQX`,fYA|Y67+0_0[;vA7@&Q$=j̏F ~S\cR>p`dh3V~C1J=3,⢋E^HSQp&ya#\VήAUa; Lk㷛S5nɕ1j/U}K N\UtI{XN֌Z6bup`jo_vYSԟ _V;SSvOQh)א=`臨zе^O[D4 jCƃAe) P\hۖC[fa/zԂDGM&UM%YM T~+1ƮRV);dG9y2pC }dӾr}7}9L AX_F^;Q Lsd‡ֲǒ>u+S (mx+bRk=GwmQTCHh~S6᪌~ZCQ* pMb׉e :e,+2(U@Úvky]qp=WD^QDӎ`RU׸G)}ZJ[w7փ|4G& ?rMDzvO'rEzqЧfz >Z{ Hp./R)q7!+,ow]pO>)+Ho_ۭG'9KnhOr6!fTF=ܴze(x| 0h30i>A8ߜ&<0^|*+3򋛸p 4cG "-YlC? β~2' 53babMvVjY2_d$Hf֤͙i9'Qeu.K^c;Ynj4(XU8 >ܞ{^Wc+ MKOY[l푝w|\5Z$%^Tj{`e־W'@6q5Xt{aO!" GSKmT|72DRիJ'AK(0D #]̵u-l4u@|D8sMS8F3OEHK) }s3{."5%FZTQ#,|An3vҥE%r .jVABbOu,AJS$+!Ml=lݞ>_ \>BEx0zcQEG\9 ,~y- 9"2irS*=3l̼4ޟa$@D gP1jK nR'JNR2OOvEeb\`L^aPyg=7ӾDNsj 1zLYkn"n5%Z)@*ޏsfkl}[OC E>K uWu 1mn* IVG g5qϗp#w]Ҧ9b#'3q$/*g-q)Oq7jm5ƝVil88_dr6\V2wV(|zNqOAKS]PiÐ  |g*nA+$+))DQ^вs嶠,0knibI -D)!}\w'·Q&t >>!_#gK.*Vxioaq>OD9g;.%ӔXZ˲Elȑen4fG'c!N]<87$1!Y;粬:}Mч5w|i!r->Cɀ=:QQVѢ}n Mm„ ]wXsbU$q[ SVM5_|Jq{}?F@VJ:q{ -'_fEIe5Y$x.FzUJOpFaU8dJEdP":}wZ.L3;2'.UWH[72I_5H~㒯xd _WBK/e4 wQΒa6fr36ev~0ܯ1!dq B*1=#5ӡFS;cؽܤ:+Ƭv:K3fhWn]+?^ K(I\SnR-%+%]tKU2!MӭԜDC~H@Z@G[9c*<_`94rU0N0ȿDmQWY44ZٛlρbOݍ_lEv- ˱'5}8b{G4d,#Nf3=Q"{1g=s<ɯl9\+ދk,yuAZWv1 x3O۸O <9vU"d@Y^MLwg/bvMC6>n`$Rʏڞ?}Yh+SC^g<ĥuÄLڱR0; M\Lwԧ ֆkN(d|xyғrƻ ۾Yfo3ΔRwkkC"(Y ~k䟈m|Mgty>W="WmL4CJ QۅcCG<1D 䚳)eu Al"1 u HGHtvaCې}r|r2cJ]0ĺ!B2mJz'6Y `Qdgu:=Ě=u5-joe:T>@Y v7\ZG~P͞HEur+ŪS L[)%uMrjs -\J|Lku,!J:侂&qƞɛؖЖ$w,&ȣ 2L,t> !(>$ޜh;ȇi1Q.pN5v[QZ`Wwg3F*S62d ѐT6U;A{GQy~Dd[lMKbI`d9[(ej] \jX__G߻W.cD6hbmu ᢙvzu۴B50u3u 39ڏ[P/Q='lD)G% WA ?%r½ žg=ˠE|BƼ}zAZqs 3x|.HegİPH giw-x ]$Sj}YJc 21 kiתI>GIiK݇w9/9+,Rjmyd*~U+d^bktQ>OP8gHJZ7JF+"1g$ 8f PHMkPmyPO&s`W) tօG=sx[4OR(@h%l½XE5ț/c y*^BJ✲Tv[3,Mhg)ٸ}18mtě<[feDVݱ8T;/hf"P~zXT̋1xyqY*;z\&K>t.#Bxw,YLè#_3;|g!&dۛG+g8td#Mvm"Y2<[FRF3 hT'jM7:jHo5 &4mFMQN4/pZ;K3r2{ ϱm_dKrNiq)N'F5nxQn0e9?e6]Em_˲||-DQ>AC|LU a mI4H҄#fDj9N&;0Qٕab& @f(/cPw'C=Mf"n*E҇#){. ڴLȄxG-o#'q( Syz8+CM!KW_vpDDED2η*(((TkXF>k kAQDͺJ1-/Ngog^`"z.Ր*16P,sDRgj20߫s_AntHS/27Z:h y397 Zm'AT!:Ļg1 ŗD=(]рzĄMPH̆2VR1xT뻫i;W%W 'F:l( 8a 㑧S:RFmttDZJ5ijn9K{ggtO昷 UWD4K~8y0=E4m ﯎mEc( 7sQ{$рZOtooo^Ugp+` f13GE,*7 Ka*0Ҷ<`ݲh#ژ$cY"&rD|iNz7!;3a^PUwׅT$12tQ؞KmQ-[$p8/!_5֘?lO}, #|8>T7Wpf3)%SZӒEQO0?p5f6Et:PIUj@JՒ`=Ӿ8CxԅuZ"HgYPԣPG:/h1!d/8lzs}rͮo#6\99(|:њsP8F/tU ͋cSqhj`^Jg`U&}b})1۸-UKδt'Ct4w(6E7qAB.3 Ê몲K̸[mqPnCܪ_TЎ"qKESw׭.0/E> 'ۘ~gڄ= D* yZCGE5x1iei"N :iJ=6/ޭ|ߝ/#c9 Y-ϟj|/eŵ#u`YBt&[Ocbt989ҡ4 #-c R{,CKs ٓf_JkomPL׫n&ΕFqσCSaUbʤH_h [>0Ի)b+ٕ W$da.nlf3 ScdACŵ)  id]'MeY̼/xEKY M(Hf&e7tN@RKh5ɃCm>%#*;rj,SqN>=vc":kb4j BR`kSx%"Q+w.MM^I]\{ynPBuj.:g:SUePZHVY^O1$bQӳ+0@~7#H+WLuszWn2*bV3d~i_\#?b]i͉K5,HK_u4C T{OT lw´=Jen* omQ#n3]h./L~ߙXt3zր>2ܭ/zI65@=_h/NwCc{ m j퇻/ 0@;r|ɓ _o.)+t3 pq9 ,ۭ3z%|2ڥhMz uMuVCQ``|UzmR&9T@Iyhآ>pe6^'Y2~)IVzNvβc#\d~8'+r{&-@^ ,ƶ.]B~:>rzإbD<<a#erOxS~bB|ABNNJ<6ݞDvCέ ŏ{gbR~}*I6Bi1}"\kdK!Ee] lbq?e?;_| T%*+4[<3Z":|+0 Ň qxG5Hߜ_qTp&~7EDf1zrN5Г9!dhś([nCU&5 -g gYZ7zXZִF! ]ŗXiɟIPDOB`7"JO9To =U{d4 *R;jWQ R!e委eגZR,Gm/xo-^=]|vL e&Z{HL =㝊MX Br|BhCFqTz[>i O֎E'w B΀u$'|pL,䜱gYZ7zXZִF! r>]ŗXi%L!l06NMwςo/TB)9(Ub~7JH}MXf uЯj4(*S1[P hDBOf;'ӳiky.u3|}IE`/naO3/_h4&C_X)%0hAE2-GJ*9<07ѵ/&K)ͳ؄ɧ<F/8':Q3z 1C7Mv*lu.|]b|/ DKUC,u\ ?%c{`GqT[[u9^m0ͅrۀ7KW. ȳL1 gQŸMVO:_JhwqkX(1:h۝ x x¼Y0|X UD^.`L0Ts}Y;@h%#8?V\C7Sгھ8"%@J#3n-Ɯ%3 G,e2Ǡ 8Y,_̌0x6I uH81~/Guk?ty=tWD%H7.|_e*x{, _`ssˎ ?e>xwZTOU^C[ 5^xFau6{I1Λ&=.o[Jv s\f`rr6?=)g"@6= RK#~6} Ͷ}g YWc!֑UY " ] ),9 P ҉i1^9̷;Nh+nWK&޹ɘ/Y77 -jgPR$lzTb-{`-x8ce'\ Hu]X-WVWWtв_3UCΖa+@ WbM&KXimZ3_bߢrZU+^r_=cٛ}{]ffyn4 M!Phֺ 搇Nh4^ DچQZj.$㼮 WɄd@FejKH8Cd̂?<\kPY<'q׳6:fo5IO.p]t^VcSfs_O0F\[Eѯ^7݇+3S iKc|z3|8jn$'V6쌿=A1/%s[)֝gd=JNFsX۵8F)KCY_t;^Dk@Zix8G[{B7orI 7I?f`HQ| w2_[y*S$з9j8_9q8a\zXm/>lLv=;_0]ZW:!pg^-|V(Wl BwzO)Z=Z \_aT:Bvdk3e]ܸ ?h:Z9cJLl)VuvZw0zrUX#\vb\O愫YѕR>"w jU$/\|/D":Y2DMJO DHЦ~oREC^~9֦f#yRM`ܣs1|2Sb$0\U:RnT6 2qQL/N%_2?(J0׬>Jy~K8|>p}EN#mXTvԯZRB0lޜ?@ipFls|l萜} _4|޷Yp6ŏMBCF6kNn\=X{C-x,8-E2-!W[y|fU͓Mm=m[B^5ݰeZ ;eA0[R,*"X?DQ:YbS, =1$>!I;m'^9kD.+Y"SF ^ ݛ ;GеtK%<A'=ɒy5Kgr0M'zwKAMiSj-+ U6i~{JΓ]~:iR Mjl>z_9N-99{ˤ 2C Y] j1CHQZa2h6*vɅgȬB} p|3BʵD^dX~W4nw%N%z9-Wafþ3w1`Fs"l/wڒjπ39R QVdT9|2/}ی9yMz}*;yw&1ZB9=zb=ZiUZQuN:KY~5w .bLw_jlZ<.4`EY99/O#zGrGBg*XEs=VzKH͸zG-ı2!'n3MS4l[oU'%Jְ֬58{Sg!en/$x͂~~Y'+*WQ*(fop"W] "? ֘$ AVS6d*# JPסnr"ts2-vͯr%Se9۟UГJ=SZ%آרH|-&Q T l\Y|0dhl*_ssFt->7s mݐ4 +%c/S1,'b׻B5:PSOh ?[,s?m*zfoeDH HUG?iƥ8Lz6vlȜ4SofX꒰/e5GqwVyT{QI;xo^֏oJ%T~(ӘIB&?z0;U|ٿR*]aRfe%X_H%^ vԍu֘J4"ReQ(/= cTTz"źB9$F)YEҘОD|P\zV*oq;6E0I+W _K82E1J=0 oPq6 9T 2#٦uCnkrS="3NRx89`k1Leuo_6f aT=,e-16l|LF)' ;eFKmN2_(nxqk XN#~ЕRAƔLv֭,Z6KCE1/)оJ_'vB|!gxoi2 o|299_6je=hoEogDj)!Wδۥҭn~ +ߘ