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 QQ{I T ] Irrational_Series_Erdos_Straus:threads=4elapsed=373.234cpu=1233.088gc=75.900factor=3.307zXZִF! ⼚;]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`ީBuuem@6_Lٻ(d~ܡ^ O6 /̴nDE _R (ŵR{/VSAuv5]B@dT*y٢ )#D*|UC@/B>YxHFOEVel`on 0`h<-,(+I#\n"MGD[S{rCd9#]1(>*=$X.(&Ai6a\L,"WWMMjn V.c&,UYF>X[)p^qW70'g. PL{BM b6zmQc[H޽VAHGgK j訾qO1PXq @Sj"_[w(Ŋ{;X5Z=SJ}V1O,WQ둪zz@Ȝg%.KejcS}8ٓd$JL!(\Y.aDHoJG[o@,:fAʩ9/e^64]&9Ʊ w1ц$19Td\ӭ: ?{x7&F[\G Q%$5C$ ]Lag[F kΙCՔwhXƳm;\y `.?go#W`{Zwp'`x:Oyypo֪?xU-η сSaT[2bY\\AV͋tɞR{kWr|VeHL{) P(m\L4/U7a-D}kx(o6;_ژMP!r~vl (e{T\S/W$74Z$٬>b;S|~EUq,X`V U~\\@F8fHR lIQ34usjC 2֩ A9hA J|WyX+$q~ ڊ^q9rs*D- ZcdS\T8V:_f+SO*،H"q.]:{|VH}E@bYq@ѭg78gfuMB_,Y'"E,rVҘgx]% Te]q 4%Lls =Cuv"!!V!j[5F h(WY6YNg\ovV0C8Ҡ*F/Lbfhs7?_Eh&{N"3 Ⱥ rCYQM֋ZV,BÙ*7Z7sZ@W6;6^$ ީ GYp8D}BmC!3T@Qq.A뇢߰D1;>vz)䣸l3lHVRLz|Wlp7B-_Y*mf7ltFX!饄M#A7`لމsϲaj_gЉJ~H ?,Ӫ?ՋRTIW&Jkv !0jjaܑ\7ž"ZO.|]ҫ땆!Y/d )ǿؠSBgTG_9m#^ aF}>SS^.Ӧ" K^ Gnc˃uFY{򻅿8}x9kG1l}A;!?U^s6/ͻ_n17K$(f;|_dxs.8TxL!?sB)a !#m~RW֐1L18/[l\~ٷn篐zc)THUn#F}O!->:{ W]}[{qk;?ݲN97ez_5J|<)5g]ʲpeb{%cODŊXi9H(#JRr&<(  \%'d2q% U} Jb#*}%eWa;Qp7sYJ!1?o`Ĵ\ņsEK9:`S1ڔnLc I" ue4(Uwq) ՖȊD@lE|UdeT^}PxH#"V":C/{]v$nB\ѠC`~!GQC+Z >b@@bМ-m9HoYB#M=驟4ʊML4:+QUl鎕qoMQ=CZM']ɨW.֫LL^y&9la˃3/g{?2\2{sɴL/Ut}),N9G\;  LɄ8{*u:dm[S8)>oM2Xϥ7R${xAAǏޒgl&ڝ;^)7q#8$r#meWPawbA]'="g ÛoE$#CI7-VVq)תUG#r]w %/%Fu`~i1DkNv`W[ WDĶxeB Iؑ]eW` yVzmh [Yg(ޛ>rZ+{aqNّf t.njL$EiId|Ε%հ5bg9xif 0 J.$f][KZ }FcDZlYҌN },v66u̦ \ZWD~rnʉ$,8y̻E2Gl vpvF$:6=]Fl'-NRǟ g޶> |*}kHa^6/"zɔxM`r>I0ݫ{f{ #cZr zb|N{χB?woVc;&3'AZC`i|xcë́h%>ytdh޴lN1G[{ၐ F^(-Ċkf+)DݖoQAPQ&@FBAAU,s*+5>jˎQ/m$Y/n6UY%1O&F5)@1xi[:1= ȍs-Pྔ,DW鄽7/9HiD)5<сGzUAیKtNȔ .e04>{s#qOk.HܕRR%qubVΩ B]|s^^'y'V8cM(w-uHR)`Wt!,]72ڤQBsۙ:R IPJ"A8 19Wxy{zg+Cl#3SŌs,{6. Vv[k# UOoꦐ?4=+FZ,& @(V9Il,X 4>gh}H|dftS tƟ7;+<>yęAu׳~KqΒ|PB4nblI{ۊW4}giM8ɒj|Yo-} 0H)a9153Sz,=%ޘ 3!9xi;`~X -YfCTڇ-|@¿O~%=Lۛ'?[T,Hc>u* aC N%DZQy|2&DsW =j*eLI۶$hDkxT+WTk^=g\.hz7Bq4M)ZɌrp)(#'BzΞZݖNw~V?wp/c|3DU,7#tR} `gG_"/s_7>c(w*{\:9 j"6t[En_ ,h|PPK@I:bFX(37}mh2ڂc Tt$Vykoqpv7X@1"8p^(-_ʘ%H/%P XifXlrAP:)DTQҫy%ƇxYroM30|jm0cP1=+}z1wi=mm[Ǜdjޤz .Bk.JW_7."8y? 2OkC[#lDk9nL2 TwC^ͣ8ʝ|NeHƣEjX#E:]{`ZIw0 $q1+֫"򿐒v6> QN%MQd{qEOs0Z \u}8rBW{f m3D͕?L-*N/ɖ]Dv\ƺ)ߖgd mhwFѽxTl00bK `9'HK\O'YԑCDpN-ƾ5tO$U.JoC"@ٔ;'NOvնQT旑 蠬?N v C'iǰP/=hk0Kaz5vE y*fD!= @+7F׭b2f&9k s vu5[m 22"Dr3}sio칿5<<0 8+I"ϯЇAE$~ ddgd (Z!ҹfhkw'PH(k >!\:6*|3c|N Ѽ uxKd[aZWp[S.Oe~L=ٙE߅'[`eah2$O+0iJ#oΟfI\,B牱G?a4slW3Np+ ܲ?© 7$io"#Q40p_ܧsw/~Lʭ41P*LI zNwiBy0dIV 6CJt0̇rɨ#Yz,jGxhnY.$_QSI&peP{-HhU7S^]שwjqם(%{Gt)i.:!BV0ծ{+rkA^B+Ώk5خ^񌛳!V&۰}r~pHyX퓹As#/ܗ5U^rL8ǹ]<#۳2fRx@ XVOJ^tu9yٛfh؍iQ#9IAD9_80.e >"o*9ۦ(8TgJbhꆜw$2.KDXi&hj̚3K?|e+`|*ML!՘gȘ ]Z{G 1Ø|'YiZ@Uc4ί\~gVlD6,tU:v&G9HE*TnjTD&!3 F Cf=G4=.M |yp*!7EIѢ%T:aXW՝99ij%fѻEFv?Ṃݝ.mËS[oMs @9b;+`X|lSx hs$?%*[n줥~7^K. [AIuϹ )cҳc!` 6>JZwB_"E4pA >Qz!S+(2vǜS8Ha;W4^/M!w6mTLLTSGژxfl\4VwJt+~qppU<ڂ!FG#kDқӵ SzHk O9UQԭ#ٟ6*z42#3UuLm@,"X3լK0RG#dRB'iD<7A|zxnJʌk:Y2?._' ^1`g- sY*T<nճ6P)U9Mŏ:HW"0C5Jd%a6n6F] c;AiqQ`J:K>r[H fH,Ylݭr{3)zCs&(YDqliFƃx<3eҗOw Ii"ц'f&ϋ>ԥguלL-D# ^|fK&N"J;$` <B\SiW ?]kpUxE˅k$$uJ/f/ ̓2jF'~pN 5SM>桗Kp}DA"Q{"(Vexāz7Ĥot%h0B1߲%X(??[.Aډ!>)⣖}&YݯzG,ҿ/ntVФUJb'mgކtr yLr:ʒ9}A1z5S"g* %dq3;_ce$̠_t)L͜rPt}PŭnCkȢnn\ yWwQzh*`wc#Y44`D[r35;cu' 8oa |`Ս-,%R{IϚ:tX7P;HP (LdWv0ΖeyO&|eɅ][ ebJښ:1B&#zTlz])6ǝ9_>c2n]-h^;|zĆ-UAnp 4 hHH~J0zYfDŽi eAts[,TC?u;+LmW/2$`L_=b6џ6FgXN_a<[ hFPr=.Ã݄Mxm @8V#d3 q2t?_9oJ:4d-0 <{r9 'B;"jp=EEF'3S T{?\\/`g#Lh3Zڌ#B*|@ֳ[O 눹=5h%{G &{: nrY-R_ay>0*̬6Lu,] stW\tke&}2%iu+ZoL[$/)3&LKi v9q<iT[vi|YO0/)]}~̝CX b;TTdlb+YG:aG!8*|v{/H#Ս,ЖĽ1v'm֣^ ISB{2v|B|HtwH <}P|:.H\-*UIǤ/D1ġU}c33)%ELxs={a 7:)[ ӬyZ*u9\&C%J} KTb`r^Ƹ|+7bj㻽h "P̭.j^ksXuA +sdU0 z&Q#lȢN9"yX'ۈe oOM^C KK#PDz6\3śR JuOҧcq IYhb4'oh |n8C:*ɡ95d5u)X&ÄR;LX><tdZ]CU߀gRsTcMh睇6%Ss-e-&kPvhPpi|;?dc*@|!e^748w I t36wƄ^' 굻[S+]GFQvgN^h6e ek9ȿ|o%1ͤ08'(QYs=/nȔ+*©3~봙'&7U*vjH i8 xn0i> .` qOQ³<օ L =jsDw2yQ ɛpNd e#wu# R]HA/MJ2Foջ]c+T' eHvR3|&heAzl[ mpʎ㶏ZZ6 }#)J'e;s ]jO(/탌5N.Ȼ°0>uP'"l&HUO[\ 튛Xn^TuU"c͑Ãl`*MR7xAe-x I,ay/z%S\jWi=JOaHz@~.%!5A*5iߪ<$%$#,,o$nX~IVoTc@K Lۖj8jU^ Og >Y f0>"&hbHm8-9t]9^ K wkHj iJ1A#y6u $L7ᘬ~뤨Dq6rhCAe-.p\-.,_ɀf/ӭ'fƓumghH+=߻[uJo"XG[ %Q-ު>7c1z5z8aVǦK KڕYEV1c)AF'qލuB1p~Q.D%[YA6].p"P2+ZI\5a).E1q6Q P`Pbr]9{ρrmmRLҜν“&+2z;^%V-Ў;;56s$q)W !iWDD0'wA.?y^KPd@!Ha#&ժl8`U|oo}6Nk;s%WIc{15RO'#damӛh{Ad7[3t,)itӤ踏0ƮA٢wJʲ"=x [À`EmrJĨ!$0|qnRP`# #/?:y ]%B'Gؕh6WJU6ڬz1tXr0Y΃ uZUfc'N|A ٜ爮olo8{V-BYqU'oq r [^dMv]MփRLݕ P뗃MTBPHۋ[\n{&ges1]zQ뾭љ<ڙ?uQ_ϜP(}ܗx? q vML–D\č6&!g(4܃i?Z#XF- @b!d礘gtRЇOKQ \RZuPfw1Gy+<s:SȾYA8?0B8t5SC99keY.Q7 ::o[ZE0sBe x4@gPcJ}5w LUr[ND@hP2-QPUa,vƲm|C*;PxI9f=4ү'rc%eF׿e` FZ-B䷌A'?کNT!]7+b~* ҎX 6˟.GZtOzcs?/!'+V)1LP0z^w9!9c8{Bu*qXa`T+ D-grkH6|<DlW9n{җI ?FM{0߭ .ؙ=u` b3 J5ě xNdM ^]ܤOKb"txȭ % ٸ8'ސH߿B朷`6vvN9şi(,ӹŕbԿ&b ܨXOcy ! 1o?bO`OHptPr6dz7,5)۹x>}$;;WVCIԗ.ܐYeQ[|ґMM:!M(礓+KWc㲨݌u UIr()]F}tn;ȚX널Ku9,0n#wWi@%Q{Ae_A`1ac:d<#6dNSSH8ǑH&2 P.}wb߂s4L$-r]];ɟOJ]T~@^! n1ch;#d2k(<Mg&{{Q L^ >^0Ee$.FLT` ˑGXrWVVکh\jjV^}뀕Yjα=,@}TeM4ֶA̞tW$V!~S|螡f&fdqnW͝,-$_ヌ>5ORPq׏FuK }3,t9ۦfYRgӽOs Ф<Qx*3&?}\F 4)LFs07YAj9~p& ΈGpy,3a\Oݘ[SYp-q [CgJM(^oIz&](~D{HKY(Ŋ>bC (St66'M``gm;4w66X=֮ Mls* 舞R _t|m G_Wi5{?Ti㗃D. R2ÎUIOd;@rZLY&pgr2$סQD)!00R]khƏ:W|?|@SpxjK.j=~N9ɻ==O'DiF/Gdu[I:S_dRpgm,D05s%^ عi Jf0 @ ஞ X/q˛j"8I//K1Il qVY;ƷV W!L(N&:Ɯ?Zw$1~CRٵmR o5p*uVPf31%%uH1 rZ*Jv6VHG1m7g񶈱h'l=T}Q }#89,d ֯οI3[g-?40AU=o6LZ w ȽձgYZ7zXZִF! ']ŗXiɟ1J2oeTʹ̰KK”. cHgBDw\=)Rf69qsHPl YmzmL#u=)•7hK9[סv?nFJ|iw($6:2vZ0af&C11&VgIvsh7/iUe(F8< ZU,ߧwiBނ'# wF~3ۨHĎ^?lkr5%=lqS%'uyg6tS(p>ORPb .^;N֋J%ЅO.@nqQ$BO%R;+ߛm4 0 5O"|+uAܜ!=స`̰VQZu0 ~Cɂ.򚩆 oh8gS/<A CoVTFiFcql$p*C^l.t[=f]s]+^ʍY<>.1IJ*Pj$@+Iei]@MA*Ӝ،7e*!]=$\p07 S%\Qm+I.s- )Y; 1%L*qSbݿ.T8-ڵ}ԟNr:pJ렳nսJބ& VuuY׾},JNVq$^g%o/8XBSlH|aty1vTw#nLy2PG j?-N1bc|kPVH;lan {;3#2LSdw%:>Z;iח( {J,r&3eư3z&edMX{Ѱŏx3:FeX8$/lt[66^~PD~ֱf~I"jx,;_k8/Zmj Dz,ѕ1ף|ՔBV"Y{R%PXlusϒrr(I@vq稅G1r'ĝup75|Pw*hQw:*StHMS(Vsmpꓳ4\ [-L 06$* _=A +%Nbwj:]4)*w]F-;dՃ3;"q:k]Uq2k}eĎB"n H1c 6&3>l9nkEd~o7F@Get9/lhۊ{ߡ*ΉqmQ/d]0240u7l6QPReG)t(nIWO(a]ow[G#꽗_@ 4D`y>tk߰v"Cu3[ ÄQgmPy5~/A<9o]& HCqM9M]*-(12b]kC*J!@]PW0fN,M_Vϩyaӊ\KT3:嬕$.ӣsQ#ӯmA^əs=kZ\k2yM.?Ϛ07d3{62w r YζT"a~0]RtoE dĺ&igk.>rCm'dQX7:Zѥa/x>$+Xኛ5~f>gRPEU"*2PpqO==U%y(f ;څo)(xW:e{kUwKYl#^*?gJ> @&s{7:!Tqg5p^9Ip  r 0&Tl7\6uĀ 6k[a"B7g8̶`y>eu !8"!CR/wx38Arb JRٓ|6cJVdSOVgYZ7zXZִF! s=]ŗXi%L 0,4'`t\S ٚAI]OUe:7 ]a0C:#fޒ uo7daD٥~t AD1"_.LA"m4s'LS:RrhL R[`۾,862נ?Ua_x9BIPԑui% IX87B;2V&fVAWXtƶ؊ݚp{i1Ut]ehyZCxdtmEX%h6dv/h:QM֜m G,Ƿ*p +1c \W!E>:7Tsp!kE-m6{SN0yG=lzZ$Sz:eT`< x ExHoMʹ!ڜXD2p6{fZkr’Flǿ YY!G%\8V:#$VkF9+k,8;v2 Vn4~+ =+ƔTc:Tdcֻij{!ؑ:G;|pC "\5]rOK5?ObT?4Ub(t"O.V3?Hّ-jbs7؞6hXl)Gu\lCz_J!'P&a#49b̼ ܆P/X$AXmo53io EGT`t^$o+*<Զ; pΆ!МMWincVI9T¿ݬA(?^$uJE$/F\&E%]hX,7`.,2g%9{jKGMԡz3enQM}(clD+IBI^Sv(ƸFѕH8D uʣ׈A9H RSaF-/ktC,*cYu@HEh,8rD_3f+g1K2ꕮ3y{ gB҂9,~:TSnDz(4EdzTЯ{4_-?!Jƕp@r.ͯ Tyyh~ 826(hIE[. ~Wa}TTzA 4>)\r[&\c~>c~'xq< 7@X7n=/ͪl ]H*x:h(JJE[ Ih5)Nan( wX_A@l$]@Fa;?=40@T tUѫBbPRtY {(Ɯ<Ђ+ӻ@n,H%΅Je~DF;ey8)^kBD1gv0tR{ ]m Mo]V&<#DG Wj>ce(e?>pQa]ʘ\+wNКD~w}kn/\$GQylV:7 ^D6uJ}#΁E*76֧uMM 4S$yAVNe{PEA#}UjtIZ (v6vU1}-pBz_{B8zKdL%zee|bI*@CJe-}2WeJ?J FUD_㛀+vZSSTU|R[{VK03 n>dm>Uۚ4`=)F@\jLu  y?4: /J>m3Lv\yDpl*2K#;eMvq3͘7)rfW=D^{V#׾-yתϫ-ZzBDؔ; Be-m##sF('W ׾Rcr yFٮ`Pc~cSE~o-DA'- HjHo:9lr U7"0/lhi2s:ltQw"T DtQ.SVpA=˽â01* 5rKm!SI=j^i ?^M8ZloF`z3[Ityx4mGL:vo"JU,e3s3shoV bb?@9ǔݼQYM:4Lx3v/VHqۧs@n?Fpg1-q !߯ēCN:H89R6&D=Gf;Ƨϋ$ =3:,+4-:t< +AB^=6ǕWx:bt& e|M'`jQXP] ӪLAx* 'egI3Ar) 05gv1}1 1Jj=U-x v `W څy"GJ!is7F|\AkO/9撗c3&S̶i9$_zs];u?$Pd5@פX 4D%6`s΂J%V/a?ACŠ%SiY3x|GQvS?u 0AjSڄu`*_HyqbEz:~X$I7:l_ȴp׎kW[4 )۷e(I޹krj*khDpfgP}Ti,M3bsVĖ8IUBQ} -!^A%ǘ4NY ]qĪ 0X tKg4\7[Ȱl~Bݰf'(h3FY{-,ŹQ)ʭ9D^ @En&x~~uTBu_-ASTyW㯔q-@?({s}i OӴ1M HjUBpNҖ̔׵[?ק@Cj/,\5Lg_cĘ5U~4I_qp Nj%O)yw;xoG)ܗY&kӬR 羇Kfwru]@3t"$?njd&k`nm ;ߺa:WGZm?GC/׳ ݚ1Nt WSG\߶IW|Ij^G } W $<=?Z(1]l`+" 7qL=8cݜ-z\\b JCμBko ]?d;8D*rY< rCrSNw0w/\d[ }zOb5N`*"r1E)qf0(m9X݁￱42ZuD[IF~MϠV$p7c{`P͉K' b+M6oq͐: 'zm3%͵s 77SCzlPI ve 6՗GoY[F_ýv:?M 'M-+2n2RlYhAR4?jhr Y 4GA܂B԰}xSlX`]z1p'4@!>|xjr;71{S  f tA1$*R)": BSQWz0EhFRG)|3arza8SޞODN(;7gXM-)*4|W{꠫&\ZW,YŒ1BGdL"c5Gu Tqvk !U*/_p:kpP=s?㬋67 :PKt},]l ٶw_tݯVʬ`?N\AnzŌ=&}7լ# }Ջ%W᧺D}"Q3g !'BUSvg㰌{,W*SC)-F%|z2BBAXz7N|YA0;QwSgcL"ds8h)v h*@7EhBez6+:EyZJYeвdgDưL6=ZBqWoExSl5bcN0YǦhfl9O<޴vQ ^O. 0~kB1hEJ'*W%^   JrS0hޤET92?XN%ȉ % VHj"Gw}YMYGzd[3Q1G}HUy;`ߡ9ho3YU=,DxAS0  -~$ćXYPk T K>-D qxdH9V'8 VߓgѤ!(nP*J "wA8(*L khk@(z&^'`npľBحMg8IDއRES@LXJ𨦺 Ƥ n;i-SL] 2Hzz [qh'ϛ=% rY#ϰYU.^$TP1xۥ)ffmcň8xbRw@ޣn=s 1yB8yzh1WS92{QDKofeXt<}?14pZdNTk)6Lo (CWEp,u-82?,}NG)7 F$QYmZ Vun kݲvFa{1m7G'<:蛊cݞ3斉v`eжylɩ:۴/Ο N@e9n/YLHK xuEaSFYFy~};k 1wՓvֹ!usr{;9 R"_#3<!e1FՆƑ\v#`+.F+쑣"R74E LGEdn X̑tf,Oh\;#'@@4W}1qϨe(2sL.i5letkTkQ0bW.uCM+C58_L36mIBJk-!PXoa}S|Fj4%aYov=D_ у0(F0\˂j19V'[sËjHly O# TEI/x_^MvZ'Oy.G}A~"Zڗ<Jȗ9- @nBaadذσ}̥ CF4e;J{+L^UD~SE=75dߞ2+ranY~a?wHR>`ک~kT"Gig~&h<ܕ AEi.*#d_-?l3KTnnrD)hw*N{En==д.P{ʒ/};8Z }`P9"W$Eߘ7^90ަ֙*8K?hp=3ֈ'9G2 )T@yWc:P1kp^a:)X?d.E|WT `“Mn숈 6%7+5Z&{ ulot1 A~B_|U# lyؐwXFl6-˭ډ_]R3lXo$ȏ_ÝDgDm쁔]V5t`ԷAzC*&MMZ!b!֬D$t0IW`= -Ipm  \`m'̻Ga/Y8.eq7C9ۤ+hrSaGt͑{jsgɢs4Ǝ[C… CsJmdŁN | L} I:j;i$[V*oVpyHKv\ ?&/էmٍS&/hE:LޢkIw?w=yvBE}rٔۆK49AZ_MS&RJax?k\FW+ pM6g%V&L33OP$ڞWpjm+rp*_*Yħ/CvO=SME0P%sDyKbKpԥ:+${ SYKet"6~@֐昣G(a{ڨ3~'O"-3Zv=iɡUSOïgI^m(%N?^6CNl'?{6؄$h tB'[ (~UXZl]Y:Xյ7׏ƷPcm$;dAru#젖sQG랍IkCWIG6Dq!CS4R\ Sרm1K 8q Ǒ&fwn5'n"5?(,nq=~4$#*(7FWc"a9BwS|Eƫ2. o{P-2<\r=SeM'` pjc\OUp\loyׂ׊k 9*1HfqDe3b2|3C >. 0O~e\MųV5e=4)2$O3 RghX۸!OICAYز~w 3VN{p CXs6M܇k\E8kn,}jҼ 0i.=ltC&7k^~ğ~`0(aظ3ô:e,;Ĥ($\&{cOohؓ&9hFY1#<3U*, _2k)8g7ޣRyxϚ)ז/1fOM$Y@Je4RJʝ7g—bB.5bFGYm3ΎXI[x?LrDڭ.B]'-+p [âDpH`vi9hY!oq (ax~9飽C0D X[-5ϾGΙS`PʈZX7d`Y߈9NnzOPA,~L. O0ZY!D((K-~#O:b߮YTZ=M_ii6tOB #!R/#Vj v[ꥁwl;?Ç4J m*Oj4B*ST=BSrvCō%vpt(+ml}R>~qty@-8ۜg{[/4ƽ~h<#hH:@'226c(t5+j) '<)6,wIa52.M ^:kC6Vh%6#?HԄs*m!:w*Fvuvwr;77w^| 5Y}攖t͒_kR /O|p Hi|"M*PfRK`gDƖV8|YV'n'Z 3ѡ_ުmׁ"\{x?Ӆ9:h-¬xf蛺q:W9lJA P I0YKD/!01Ƚ.ިJkʒg3$H$j(Cs ۖH q- Gso  |1l߸Ukv\iǠ"R*r0ki!dWcG\gzZa#~fG:9J_&ҺSaU,)B9I{ʶZaD_gImV,g ^sȣXͤ{0wOlŎ 1^;KbD*݅^-O;ԡ 2M0wGHGAwufLL$gn2 yi- Oi=%$y׀TmTr$SE:$Qzjxq"wrG:kYI ! uȆNjXre%B˰7߯D2pqGXf˽'6eYSi=ws+C=0߻xw/kب4mvyS o4 Evl)d;߾Ƣ|#Hq-az<~k>rzΒ|[:s0hc94y@ Fx}t/qYB#9-8l͞Or1w^ [CqgjCO2AŘYԳ>`{̹oϘ6İ<3\H NSQ}++&e095y3{ ߺRtrsqbE\\r9E8r7cphLP~p'ROF E*CJ)5͸9F>FFe%$p$ )A^pg@l g\zEu$cvR6ݲeyh,P9a]%hl!~M s6s1$Jڝ51zi~iv@qsSnTHܐ.s;) Dת܆(F'K <i//Vojp!4KݽbdΚ=jۃK%9#'#Ng8SN>6pIQ$ZBs6 @ɫ]@L?i2i^{6B,zXCYG,z \s9fel]I/om \v$V(&ݍI]Ufx05#P"Mk觡1ǽG#+}jǟf{;G:a {#^Kuߨ"U͠U~'>nfS8rR,@vit02 Kd20\};2ilwxR^_ƃ D5|V3{{Y4݇u`gd:_:gĦsm*υmɲ‹xEc;WO:E1@Z}/si{ͭNE ^MN$٘F eQ:`1lĥF G=7PSi6iEŷEZµ ߮DFHl:q}~+UlЃ <&6fVi' S^Fo&dp[h h,پEΊ <"ޭ7Za &KáL:>ϥeDvF,7B~CYcx=eR{CθʹYe~zY#x|/n> ?oN! R9 \@?zwIAK8o55<&tJcZs)3y(Nkg0Aiqa%WEaT|{A7dbk\=x@[3zC'S͑lc_axmK%F qLXP\{POr.A>(+opT/-WҭeU`hrk[=YeSt`>g@-"T׮朅 fNHhdċJ<tLwJ=O1Dž;kL˝cejr |a拐X2J)oGS 3ɧ-5߉,u@P ۔.m n`Ӥ9(_(o pcwS-HTT'D =E(ߠɦPvG6C |!y$\Qʓ֮G+wzꑼ"AOL)- Vr¡Op0}ݫmU$ ai9>F:H{aYPqrMzgdSm&"aIg Ebz2LH[<^)phs4&x8{GՙgS: {}&&rYCga~V_BD"iYL<7}ki7+E*hvB~mE =K̸oc*SV0fC/0@ }IN̂.J]4<qM,-JLؘ13J֮.a?=^n-OY~4ʭ~*#0?8jN>V:=[f.5N M&Y g+r 4/{' X`x|ֈTj A>-tDyCg(SwYl }QMؘL):?p L/B4Rl77-܊ Nz)qP l%%ww ,T֏WmS266XswÒ%\]~; ?-N&P+=0$%haZ+Ve4q#mEd=u.|)X֝-&`S] Njh*Eo#ɱ-d^{0q8HKwX֠kKsG$0pKf4v\Y@ump^[zIa/ƒ:V8D CVM+}sQhC\lK4|Opt# T;7KDZWWIMn /öIP Ai hGf,N[K @Vv͙񑋨s:(*pT\2ɨnwBh<;R1@)ykXip2ic(GJGyAa`a>XU(# &= )ynhƃE tLVӝdtiWAa̝""zPGqxZ복1nV_>Ѐ]ʮ]?UWYɿ]aEe%zJ3c/[8JYJwa/h49]8ǁkM 9J!N]&>S>IūM:8:N@D7&m:(XR*5k6S)l9XJ@ŀ{ԋHScX] 1i2h"O2h:E^,w?--UY^ی$݇|=sSB_3ۖPkLsjbX*}0|b ~v ',A2&kmu Y$$1{!O|~?jIWJF*h0V/$^ kI $,oIAVPW4 in.ZpW6_?D S-_TdlUcY6D̹U%zˮ;;`J;`9 |땹$_/sz.utf/"e. @;ʋoQ0h-+8âbiy]!}&'raA\ #;8T~11c>Q2ا$JR Yl*Nflw4FGg>±,hmMtЎ,_Q$&/NRw៚^Zd0JPa5X.,Wyu ,癷WnXF"*8blEY?DH4[[.MufSA K٥r/ 6uhpr% hRBtz#ʑx(hÏJTfv%xSJ%lbRw9L%sARyx,(##( EƫPzXaAIA<tؖҹ>ʀzTiS$/6A2\J<7dwQ5dV8.\L=hx>JDHmrEO#H[mH!z7?H@Szӫ+g(wP5C,ܮlյʆ>S^&oXvq)1s;b4K~9q Ro&6MҒH+&AzY,oZq2wU쀊UV[OS;~Bݑ.S\.fM}'VLveå%E[k2  \R gEK_ wsg̨֔Ï R.C_R(3I;OM5jҔnU7>uWn,嗧.و7zRa%?3vpXHGGk{'Mmb8ݗ2 Ӝ<ﳤ$.md\?ӯ vgr"ϬoT,=Iլ o \|ZX'Q#>1_+; 8dU6C={(,&s  7xîyj!Sk%E'{ɼlM %V _' wHgZ+I@ ax9X aEAآ%M 4DO532D0K>k\#V_V{ZgC-K3q (_s&G K6n.;#EQhM?̃0,QCHeb8@676q֒e_H2cD.\@6$B8EwópM 7~t3/mJ 2p0YК!8SDR( hFky[lsVh@kbt\+Ҁ07Ayx3U?leM7_NYaYW:)`#z}LM]&#[!DR{V}:76D+op3h͒bg@8C6EH8獓(uo`!ˤ Xv~6GG7xq6izIf:,w',Z!khqr>:~`[N;;`[-Xΰy(G:t@ }68CM8X5}iGTVR';>sCWT.}`uVim,Z2dv6"N4oW~„bs؀Va%2ԣhkK0u@*hX }708wD,$ *"LD=_eU!Y3pO7ўm\"FuIhKWq^oit]0W٩A]hd+K1@xn=h 2:$I\ /g҇`.re:7c*:a|YO5'/4nK!|a?Ҍ}#(>rsy7bOEݯ7mc J);g#{YDH[n޹trYoTnby 8MI:$,N@˔8=}c40UuǖE SȸsGh@:Gk/8[i^eRau2YChWAܕdF̣ k+;c#}wAM̑GIZyAB4F.]rȻu (+S؊ʩxr.3Q[j*]ZW nj?ceؤ_L.KG;{!:\]h%<+|Κ@68 j24vO ?|ob ߘunJ׵@&zg𶌳ۮKa-B/^LBeCv4' c2b$ʹd ;TyEH%:zM^ c8oMS$ h(U{d]Y'/TLι`LtM%G8^td'$)_ξM˯X wZx醒^p_A\[lfV- b9Bc%*_ 7ӖIn6SF mƦ ",Ug@pbB_Bd3y>ٚEEcϩ,iieOtWPELw;Y *yaȞUiv1w/5ƒCPqenYD::me nt ']CC_oVgŅkD)_n6ñ`̨yA/.LhlSz\A4|;!T;֓%>-\͕֪Ԉw&CMb^fUs_f+WR>S6p]A uW겍 Fd^"/v~xt4_6 x}mYa3Z_^j?2F;譟lnC/;M,.2}gPi"f*H+x [欜}_{ 5hO1V+1{\<5'd(t<@ (H" 'mW.m]L,jhgP2K,"B+<+MP-G'4c5ۃ2T*[@iu9nNnk ә7q9j%<*0i¡Q, Dm]EOƼRx|gDzgں%[=*&^34%%)X=~벾v"nZpΨ&gb\1VCQ6kBDEVL ]+ܯg> g++/EtN$. t̎h-b>%[m0wӳ^vX=^>V}SΓJ pFv7ҋ jQ'5?HLjyNHhJHP yZ-AX%tZd qTD*zXYCzDvl$ >ңAJU&]hƭQ}ݮ0&6gs<9v󯉷10q;{\-s,>^k[F$nt>i%Ē" cg5`1 }"s8$o4h^OPR[#Vm6$m:}lZvvތ@D~t ŌԋG|-tDB;-4Šuz$}-dVE*^r B+}=/m V!R㜫{C Rй}p"߯|K[GS=_L-kM>`6&8ٙ q5rwvLG'hͽ$2Liw(JW6^7QZ{r)5:G9}& ~,L^]""{|Җ"S" ݲr}dH߀J/~ftsYz{ ;_ӷi#~yo296b̈}Ӯ ى:Yj{p$ЎJV1KѠ̻ß ʵw)f&xy^2S6}ɹKd a J d6i-oix.ib.gkJY&8aj?@[WQȇ-*OzQp/Mcܲ ƽE(hd; ȅWm^"ۨ+Tq@{_Vݠy 4R:7eiOe![o^n[3VI-)I1pp9Ib%EzRRDed\㿅cv' {'9Fg\ag $ uue8VE7Q\O;v55 !pNyК:m3fb곒J 2|y~'L⣱r41EX+̨vJRlnxR:" T)`F9͜XlubA(]'L7.RUf IS޴ . jEH R Oaka`JR>5rA@L7#u1TƝDNjWod>IךtBt0Ohp!״Mᰋ;6mGM,*٨%~`v2^3ໂPt!nr ,QdU0+7(g:> Y>ϕބ#ص gVx<K; ˩t<Co  T&0'P9fx͵Y|FrP82&&$#WL @xlұuYFq-,x.1)rU%V `]~YY;Lo~) Iî#Tw8tB50)GػZqae<؊9HPq Oqph9@G/Ⱦ77\Ms,hx jGP_ZY!8ۙ /n\fK!*M}ؔԥlB݇( >O Sد[G A׸y:: 鯪R 6ћ y&T p=k5`PTXtA "M2WVبO' t>To *("6XSDO|:%G>Pt[$|l&])韰r_olKZL&8J")=:'52srLdAs_Lx>d<.|q]v'ayPゎ#FEzp矍Jh`D`;ڞ_b&%16-|8J !xqn_s!#}qFPـA'&Wd9U$x y삷>7Yo**e_pMݪu9?g|'T V=C q9)٭+=y\ +@?Gcr I\ˮ-||:ƷjӼp&5–^rfHhPb o^=Y4C螑>_v( j8*]4`a nċu1w~v,/l-6"˪/I q:U"i}ejHJ,.h=9UCH:eP)#(Dޕ5"*m#2}+2Å41MuNf*!qH]K: Y.'tJ`E\Q8ܲ (_UXY\xgïM%ъC K y[L;O<%g#q[aڛК])iN8R=n`ciC+Kq9O? ~/p8ou/Ө] `jPhk:>,"/=/pVWHD@iCR9MO!~1q*.XQ;;vM0oJ8;%Hx@yA`!6r*[C>MX-V. {pt̺$$_0ʚk|'(l&}"=4m44xgSY!dfx21C_r?^ R.^VBc"{0Houoo dZ]?VS((k+a--C&l` ic`6=*2B~ ؼ G0tnӭ:&ڰ3;W0 \S4t_ FK*Q#&+2Ɠ9Θ^R\~_Np)}{3v^= ώͯŗ I`E5d,&kV3w_W2|V޹{e3GN\G<]q^'8D[}^s1ӽqjI1~%v} -P:*pj!ݻuxbya[)"73>%~3I_sgO&$\3żqdG-of閃'4Nf,mbAǮ^z׈EH~7!z&ɹCpzE"} ]|q=;A뜬BK,z[3HktL'x 9`eϰt,^}@.{o$L:r / {]lv23d؟fy n!*} ȑ~c8&)$KzXN>Ttvl}ա2l/ S%ɝA4>7.j]YJie+x۾CTʓCw^x39.J&oYl(OO<;T & z28cITlGˣQT[2 <`SX&Q} z 1[SDdx%%B*G_r*Wv`./О$7Gq+0*Wh{&udb]*~/ pT-2lK\y蟚omKc@=t_jw#N QCkz$W8x| pW^cث.8Wg?L@$5Թ [%,0%r"I! ʾ -mH|3R-#X5xD`H)>&DC}Q[xKPiS rk·hfwj,]:Ύ 4!O\ҋP)C҆k$'gI9#Y5)յ;M%\Jii978jH-<}&4k5x!>U>'jסNRB civ^"9Ɓt`cjgj}Z둤`b8'{sn2#PTԷ3Hа<"hDSʃ]ϱ1U!HptgYJ Pc :tb"29}ʟrqCـ\WaR3OOqҷ_"Kcojіe`qߊsGn=,@rQ9.-C+|Ҵ>{H.#܈3³Flk0D 28x_}DIa)=gj}`U04\F''slA}ʂO&Qwb϶l2vZùMn05 zj.\*%|MA\yG6jن DAV-Ig6ݙ.xx+Uц&ЄTn >&kPWDzTl'%fٟ4Ea-R@ޞ:X!)n?C|e2`֗rרZpǝP:]5bOxL?sǧDG7b>6,@$o PэNKY?v/zu51?s8>ey2|h^u;2։7=6| vE֋eb'Lm|EՖLn-Hꭒ|y6s+ƢRU\ %&H? bW&D0?դ|<:EPB0r7W~o slHs@B:1o DcS[_8)ݖ-tUG0í;n?.gŴmLf"HJ(maWu bwkZuʡ2Nk8tLnȵ`H﹑%Z:}.ݜH"Yja }ϨrYz?of%.f+0FPV-s0cM=$ o3;O: 7PBw;?н&ai167 =E OL8Df8!߯ѭ}oX-0<8_vA*nD) Wi색ĶҫaCQD5wp(lV5yzG/8"*mӠL Pa ${3hgl@[o28/$!{*SFȕNMdP69ӾKs0o-T" o$Q#$ҤΊ'q:#,< dѨBo_P V+3Ău61uǽaLFB4žC>a]&k\ K|xm "TEÿ%].OF+x;#0lbp}/TRv3fny$/ZƧ޳=R5ݹ z_tbgYZe3e83c51aa735134cb968b1083ca0cef8d866eb1d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e8