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  [ [a5tT ] Prim_Dijkstra_Simple:threads=4elapsed=46.370cpu=130.852gc=3.272factor=2.827zXZִF! r]ŗXiɟH)0%o"LŀTŝlGCn8U}"ϱDf]/]#:em6vJb:#o+3֘ C2CyV܆ .3Sx J(Ruuk.ni糪Ul1Fi-+,n'{Gp?9_ rvg1O#.K"Z[HvUӭ yTk̎+p @JZ)d{w%m^ *CF@ 5 Prim_Dijkstra_Simple  V9FcnOB]ْ(@[̮}V^wO8QIvpIovO*Ysp$^5_4S`!96K hp B83>Ix*C0f\PPLUPK_`%#L)rH.݇ݢZ~ f yfa7H@n)j:SgNJЫ:%J_xIC$d6H&}g9:IO]2j=PlC y*6YE5ЫWo CCaL}cwʍ11;miF.^>7zΞFdοq%kO4 g-pͷqXv<6wCCH6XϘL7Y;e޹A~Гvdkd$f,:mEKnHڀ̌R`6 f˭Q3N҅UYkNTaio&˿-0 [ T7s!jgZQ Μ .X/}. fs;W,g7&I$ N'q`L # bSJ!QFZGvNR庐նTOaB~ [BFS3]}T'-OnnJl7KG7Ʒdju ޡDְvՎBF. I;,QbgE 7.nu|:޻iӉq8)=4Zġ$^rk͇ |`͖jЁJDӬO],OOz绰. wm<|r^AxӲNeR)nRt.<9䧹l_&S8yN{2ə 9I7gope2Vl~ڽ'aTwT㻢?[ekֱU@4,wf%AIWz^>'!i"ģ<"H=q ,ͱiẅD/}}jXtMihZZH@qEvK/HSG@e8/7~ l·ulEA@2 H?}/65% mPbz'|6O.OuGɋFҍh)P?V[]*-l{N W;U ;WKc46QomT^zKN'xX*p7g(bP .^KZ`b.}L򇾿,4K9VWk=VM &9j弬M5ܸIԦV!=Uo0XpY]fqͤ pkYQ4PcN%}b5Y/t)/x,.iF&B` k\XF=KyfDaiw뾱_k<7<[~R3YK?5IBv MW@kNuiȴcx\Cs`0 DJ %ƄHdz|JOj#~ІoTD ¶@{s̵,P1: *AqGed!Ad\ ^Qni=U^?@)![ap ^-W*qbwJLOTy hc=q]PE*HX.p0҂?udOy.#$M 199&";;2`v!ȈgärU_B'Z)\@biB$EZ M.x6q|a $[cؠ&!K+!ecJYYCDQhLX:5̜Vo}TP"P\<5FSdO{N󤱅fL.V/HN~iEhԿU37wKL{=4At(1vYo;TmU|:ŁbA*ՙ>X0~ֽo)M(pym5J T>kKu}C2a_;wxA-OdEsw7l,i_ 0Wy:6Ne 0B~] ogm jL9'QOf!MƢsL~}˺S/?Cwmު&[~y'x/ByI $zL 9{nm/O=XPON$ojx=ШcOsDf-^jGhL<62 +lj>Zy8;CmpSc,Ӥ'hmU&o-KwbFZk\ۋ)4%ʺu,`+A*nϥ ^6R`x9 eDܦa\"Ìwr҈2AU3Xo^Վ~32epDC?b콝nZ `ƒx YcW˞̚calՀ+3DrufG25H w~в9<$Kp9׾>Nokm*a[%`.:ctL߸*}*֤rܤѾ1}Imշ>zM[X ,VkKՒ;}"`W GwՆ@ئk$qACBGk9fʊ_,.?_M)U yЭ}ŁG0PTTKwa{'U6›ktvؼhzvz\pĀ~37OF`Q~2a|Z4V NԸ? {(t;n.nUE  M:2D'4A= scH!6-eMcF,-Փ'.vm2tjoÈŧO# %jC{VVMd*U@n*8IϹ9RBxgB-pQ/Cg EΟZ.?&P(Hc ԈO9P'U-^DO`cQ=CsyH7jwLtJku5*# S(%JuE4T\ iw,ւ 9j޶?2"#76뇏u!3Q),[ſVsTzfׁŨ 0#+f+G ߕA+)bTEM›B@58N;iH \vrT$+lK|A q\+VVޜk8"^zOsq wo; oyYoH^"B"xIӇMg{|'rԖ>'6Dgn04cfOZwبbZWwGrO$7c 8HTVE I?pҵ(=.F͵ 㚴9i GN_Q^65'IS! $c *4lǺ򸶦u 󼟑6T΁2UGGk=ӌ]C2%GC2zE_bRDNLTĴNlq{'1fY+h"j}b8XtdC 1Gu@Q;gOU*W/Cb4NR"@.J!?yW-!(yBM . ۸(b B9ֱ&ud>}2ZNN2;V ̻]S89TnTC쳯A3lY zw<7pŅR]įr R|X $l.0#l2$ H~M7E#w7-smHf##|F4e_⤛׀ Mc &!79 R]H)2`Le1ex'ʉɵR4 ~SB!E7E~r]Ggwa'9[~"PJRc:n}] onPU->LGhdo?Ѱ+Ȇ`=$I}ح %$?#KI{$b%2ɣsc2d򻍜7_c`*>D^qW 1w킴ӄB+ EW)_S,O ٗs˖2}Z_7o4hćD bC d,xq{m/~em~$d}Az]V60c v#vGh@m=+(ωs诎 s6*^ ?PW~:zLNHW׾n)E!K~uwLtƪ,ZAHF./ef]i0>"[r/kNW̬e2j7N- "ţl H`p"x&_Gܤ -7F~!6*vMzJ4B]Fؘ҈E,e@_R~@o:uتvAF~"e=7 ,ikE%*{L\P㣦v.pYJش)T'cЗQ hBK᫔?Fc~y ڦтuL}M`Ջ4 cGԖIjWNHi߆fP$`m}|ZG!Yf<6}weЁ/ԅq7Q+n: T O>`FR)-%_@|u,fݼ5*Myʊ:^V-jOe' Hi.FG$%U\wyܩӎ"e^ ,ɜƪ ff~~B qJtj^ Ȳ}m|6Jd3rJIa%Q(͗V)yZI3h"-.da( ^`4' k/+8Ny8G?{L$2GBP_NoޞL,5_%i-Ob "/Uhwvkƀl[ 'h^f4`<e8!N}NJr-ꅉ͡KJׄ`!0Gi:Cc4Sq6@JpW4EP{!aerN/N¾`Oa,l dr*f:sp1r0*=Drrþ0OdfUUDoSsߴ̵S1E oO(Π9ReAJ YFkhnS;6x\P M=w ML7EΈ/aދ/4'%#!?K@& .s^-ȵ }uL0uԒ;UN6iL<d&ie/ e0TWG#~m8yj9kÈ6t3QfMpWE 0k3=9@tDv-rR7=A* T.8BO.A] ,ѯ26T9$L9HcvN'4&k^=4v9sV;pLT<`ok)7DݕYJx ؍ef oNmWjMϋni&&^^zCy ]8H0Uap2V#ӌ @mE,Enfʆ+9~hCW'pBWdЮXElC:rY3q_ăO: ;VѝYZ;|DbF'(QmD|᠋q069oaI&jm.>HzZDZpi_ײ:QYy wpѕXmU0α' x>DtV>MSox]_:@+lE᪙.5BIp~9Ix6ːO[++a8ig>-k%CSP\q9䋲B.'[C $ZU&%3ov (J}ol]C!s2{ƁZZon[F"jL}k?!fB8ڬͷz|ٗSͺc[Za5'«4r.}׋C-kZ:mPዺ/]1Zc3I/ OKBS5wZDOR)M4ovkC *Z<3 9+lC{cIЏjŊh*MO({x_x) W`ej՜vܙb`びz.%z\uѱg0WZgˣ0|2ط)_|3ǽ%͘`tuо_kF,KO™̸yK ^8?'1;W>D% W;Xϗ+lbhN\F8YAY׼/L"ʝ~t-`I-6 O@?KwU.ǩś:hU0׋bGUDVa-{'(auD7 uri72J8?aYP"0?rPIdP<3u#5d)n%ADO5 4 MR!A]F% xECsKhhTp/~14NuYT<θ@yw( 9B-]VzG,W|odla*.'2!e!+ zVJ>buISu̓q,$_X׃e^8I2>G^wZ:" fLestx׷֒"ʡ8ܫ/3G`j'Ew[@KjSѕ%Nj3 ETah.+cvxaW))]b2wn {9~*W@WIח ;{eǨkU)>I:^9%4v^MpJ;1$frS<($u])-re\o{NX"0Kt!fiK#{~oԘ K{#Ks&*P񲤝&essaÇ2&Yi!S,Ct9kDec쑺"<ܒpT Mm,^4&_~s!R3g6lL-5b^ 7 2=FJq0A6}UB0|ɟ_RO;i7~w R/kg;Xt5>_P9u>w|m]p Py"T҂6W8/8};XHGGk؅0G]؝CylS?׊DG Vih†a€L'0>7^oSsTBQyqȅ K]mr#6m?P޻%Q~um{5% )KiԐy18v4=S BpLOjpܔT!HVBbnE xxeESwgD?6{'~R8HW)`·52L F!s {M2۞L@`ӕi]fNqJcJ#2i%@\y#^Br<26́fҬ_LnZH:.(i/LvZ0FԼ6 tԾ򑒒}U۞j7X&?kn΅eJ`he'VJ-H{Hu:4ZY?I=F5>w+ -G-M~KdK\+RQQu9ahLFi2ܳWqkzmH ^Ȉ x:dYbRS!#q7'vTiDshdKox uB ,5l b8̢m)˟`=lq@IEGye'-&U|%:"|S&!]`&! hf?`4h^P56m 2teQbh|K>uh'8m3bv;Gz{+Vk~lAȼKo{)dOS 1J^+J' :{QDȃ7y]ܥwDZg$gfcPm!) њ'vX38$2:AP'o&[2 .!aJnp<,Iwfg\0 lQ\j%]¼Ra=^H7?=f?1+:'ZLІh~Z¶# n& t0!`#Ax9r}3-'j]#o3?%qe>vA"v/tmU341楶~/a24v9Niktlpq͡t-J*},|*'C=/Uـ2"pB6:yrUEtȓzUH\OnhapW8n_A20+Dd,|sc0q]'J]Iעcƿ=(?00gy!Iaa;90FWnKy baqX2p+U 0!7#ljF_ ՛U&aF)gLB70Vϓ`T#EAj?e(|P"C?/rF("Zh,PU=C9qI#?0/YIeh,qe._}`͐/i}Jw.6}uOIh]nO x9ۈ'!)k9412/TLQ7 Z |>!P[lI 08LD`ؐWq k\t W@荹zr}e"H˜L A= CG _AoPt! xث!=qi1,oރ"dD\/̞eX?ETHQ2rk~IC${ܟRGXhEHD4_KFW%xWޯu̻;r= Mzl.?}rıRv80^Nԑ?:/Reb9=L+=?vڊnxx9ąihQ:66[imP"ײ,>ut ],NzT1u;y/CY֏9c$*t6ۿ1>()Y$sʌXҘ?5NģizYZAfcUցZ:ӆrongϘ bR,.p䕟ԾA!ݵ6> Qnt p5 1IeQbgx}e =J(;â$@ݠ"/rhG5ԝGm>VvauUU>=aQg=>ܣv47 Ť!1!O~|GRy/Z\OQ"s5 C%gh9[RPf3B*&ȓʄ S/"0[ 1RA9u;5tS#|Wbtl);؛݌D7T2!}Obp MȎd)&Z @` Y^}X 6L]E*9ahVa_ޮ c!dI(c7JbV_')..!y1;<`63Ie$ski.ї), x'3>_C=Df@kv[:b0)J=KX.:6K1>+Jz^,'Pg[fQ,zNWr9E9Ρb, a5pgG4ف,Q^yKKzl韵KvVqWl)ݕ54iiJ'nƜ&QC2%g"C#㧤6f?]8I}@E:)B*ͤ >ˁ6td$^`Nѧ>.M0]=+95e eS.RO/F ]V ']Q%; ˇ-PRՌT.x9sv2m#rhU-ʂE|zPq81c;~J@uKt3'StBi9۩Bvt rb v|&% 6@E#ˇyh.p x muy[矀G!ܐ'/~IjcDј(h?1o* hS#w@JR]=HMNxC4XIǿ;MsN@'Cft6#S]HzyW3%8>_cH"YNI!˞;+Rr41 ~L5?P::`phn6OԏEa6:BS ÌeI4wP)b~> m倡mjUk?jtPW1M/ݤy^/\j]CuWE} `x&Xsdm[' Ƒ Q hVAwhZ&M:ΕN%gFopD_b"~Ϲ f>Z!D?2ʡ2ltj˰/P6ϔ+!/Y"9C;յy3kmS΢arFt31Q)]q l g~iM.(?@JqulŅYs^ؔ5pl,CY"-gH})ٞQ; a }6y$NcZC$= cRMbJ7"Тx]xm3ϑ:Hȗ>`Q}".gT [- pH6o2ڑ}POQvBs84 QDMĔyIP n>' @dGޚ~83j{@h x]ubo38SgVȡ+߸ %*tGLW*LXS9f߄f\4dKW*V~3Tuv&UrdWGU߻ !zEƫ8MUϘӮrԁ KnKI(pL hɀPSɽ66̖9;VHzP5\4{`3u+kjv|6\cD&Ccʬ{]6hQ9MDRȩ[ |H&_fALL75޵B q`KÌN|e~#(}{}S=W%6HmVY;@dȲ2*D\ &gC}r6o3C х o3q~svّI D>lO)+ZwV&EMCT1fRAC,07便f g.19З%`IV{̓&'WI*30(+W".*.li緍V)_DM(bd98I}iV q"לM N"dkظ/RŨ/H0ZOw3FڨDC&3W/ QN:.GKg.CPZcdpv Z%0i6v@S&| O\Pę]&h|qIp"d,Vu"]&Æ:┷mov#,‰ o3yv˙%<̻lc"ҬhTZ4[v[\āNmJX)DD!<.@2ٶ4inXDąTf~ 68iAA Û-R+]ssj)TTƐ oUг m19Ң,hkzJ؋_#qIY"ġ,eQ+rk%*BTDThcH;Ti u3QW(Iơ#w3y$/黼<4/KZCN-jD|Wk";$sWljO"Dry/ؔ>ޙx+y]-(+:W5yq,2I!)Rje"4.Z3N_-B#ljz'P^' ԬtZ˚x? `C픎(gvCg6*ԅJ>*=$~GqzR{7!}H KcbzHyxi|B?BcE2ZHߧ]VE[ :H\[K!|-N9{>'5W9َfr#ۖ|?-u.>@%wPjX6'p[&qW⤓g]Ҙg-%(۬+/S<31{+xHMTY-kc >aLf Jt7= P̕qnP=/V!Ϲ emp/dϘ|1jdK=4_<|yCU޵TD ===WqFWi9Lr9jlo;_X[Mm1t .b2jSp?Y["@-C$41:STo[<{V =⋕)=ajR} zٕq^nJ H˴FC&Nt Η˟%oLxh}>CY9D,n 8it@rZ\:5p$+? 0nd7 :59c}W5 6M GVQӧɤ±a  ? YC"E<+%Or拇 23<'r=,DކBPn Z2UZށB靿gI_y44i#O}#чmI#GG%x#^"<ʝZ7dRnx Jy &d,lhCޘ1ͤbV^^YaG͸;z27s)Bi[ OJU}VA[hԭuem.s~†o|&>ڴ8_ͬ;r a7 ol-{W;ΰ C 2GC`NNi+&ēn7rm)7ҏDr|9JDXӄ XFK(k jg<$Y 7AP տ}bDt8[gs|!q%s[Gg[Xp'`oR(e4jKُ"x }> @ׂ9^/ ߧc* k|z.yd|&:vs9=zy+m"2g<ć01ز>(ڸ mc/;AjMZK՟m9FWGPr18MEr0 ڈ3 _S u2[cRU6=D`]Fl^~i*a(i>d"0X9ԼL[QUʄYIj_o0GN] MxEsmgIu5LXęL7--Z֛E1ޝдEbdiRQlةXQ/ Yr:*9vz'^Tly{g}JW4$䑻6Wg@c*4$!#|64z7D:ANH( Hxw q^^&i" ^F=@V3A*IƕA KJcXH7.b( I "V,I[ꬠ-o_c饚3r`W&d-WL3ےKrK{)? Nvftv3Y8͐t\}u⟠|)X۽w.}E9q:2Kܷ'!p}^>O$TbEΥeIMx5>iO5Hp08ԭ22zX<__<\Zo⚬zo#?C>5s WѨL&w[;&m S 3j> 3WŞ\gp+:B'2њIUA6MGa>UưpDF@=Ư3[ҳt_ͩʬ_ dC—NcP>`nqtiHϱ̔.@ޥw,jf25bO2ND?sF/rJg(SK4Sbx8=WVf3 *ArY 3NHje:#mW~6ˋc f/.x;m^7[KΩ*l'># Lp"9/PΑgaTήiQ/&sB0=F!'tԪ9~BtP A,+63NLD/ƖehtdѨ-h_besM҃9LW+gTѡy©s;?VE#ܡM(!Dϲ~~CϥKw_py$k 0xe? ꓳoK䅼`Olsi֭RYdn GSKWeu5=Ta6v*w/^Aoj++)ŶdK0A[õcC PH(zQLQ}[|h6lu-rX1tJ p$s4CȢn(eeIMWO2D2ƕƛk ©.m%\ZT젠kt [{\^Xr6+glU`*wijk>!0ȏC+Үx*nI,͞VZdݵ?$蜅FX dB3> X>DT˫c$k #g>^X\\jfc=SsID@4ԮhlkVy9O"O?3!;H0(NNhgpe a}cp@)_rĚ䩴35ޤR`|AHhki;Yn&ۍo4VtCZixM;f! dtbfN-?ѕnD\HǓQ}yV._4iZjv#% > p-^QMtHP,wOĂf'wI[.pvEnS}¸IƖKG̴BE˹dF:uxȒx"GRY>5$k֯ߥZQ"q$Q@Ϟ\!]E{MfP|V@H }h`#%٢"`}ΉLDa,IQL~rҕRf˥n?O|X2 e6^@(4rp}Q*+x(j,3i.| B $=bܗbJ =ºέE8O_7)Rfs@_欪z Kh#H8QQBrѲZNQH ʀ8HhOVZdC{ODT:y[9|yc؄tsղ- ,7\ܴsgrL՝t[8vq' AsgܼoZ14Qs7W Ô5%~6і -7Á9Qe2#5Wŭgm{4ƙKڿYĨ$\ٿ^h[02&duXe }$BL=t4nH֎@"JC4fT Ỏa]a'57dh:cFk H ˗*^`+D}+u׳aЎ0ΥE.*kcxz}z݈fD:?RV؟qoBj7 SoAP!:–LɚB#fbiI@V~9Rc k}kMv(Hcg4 SCu3UA JW!o3i!0i~"`  W`̲,L.Ia+:ҏkV݊F#iYvƮ:9PX|c){0ӧw3 |GS uMf)Đs+䰸C.{:"s)W4NlE=K$y4Ϊ~F{OC,zPkƗ00.]Ë~~L\^G}HCr(kۀ9^,Q|$(AH_i$Y͜x²4Õ.reΞi %?MPFD[^\8%?>J`?ެ X OY ̓ `!*^A:KՊ8:_XόQydc8ӬF2K?,kň,,#Y-Z+!4vm+e] wkbԖi?i)ʾ/~L0ey`|zp qJ=K4#OdU_$Q1]@|E{cLfWHa\/IWl툰$2h=ӧtKS Ҷ[hu$B˓cGt`VH$Șn?FϠq̧oZP 4Q|boq6j7 *;rƫb)ո#3P7Έ$ bX@sV;5jyQ{NґBW@3]RxhR)4˨R?Jݦ}rw6|0`tNFՍ/IٓkA @똋ZȨ-5/oJ74;8gre騥xSS&8L>vTRٽ̈́oD;G#-;FonOd ec#`jؙx`3n}+>N lˁc7XOE@X >/.Cz ڡ|KvUVyԹdCP$l\\ݱH9բ?ͷ5+G P3@Jz{ԛG[_XgJ*TsVKQn^K&:MK此4,J𣎪ivH[go(*G'CpSޘ-?WݽztZc`JjX4 ~-!ÈOť,^ rK&KPĢzM$ұn@Vk s=lw-RD#fz _lO Xx?KoaIM )Fʋ(!ˋ $`kzu:m8-1[,BNs_ǖ0!Nx=,t_(Xd8PmSߞP]]LȰY-mO:ܠM>wEcE3 Psf>LJ{=?sCӹ!ђ$=y:;@[Qӏ:N5ϙ/zld o+HН7f) JM*9 8;`%!3qf@ߘzbޤ:L&XifXS3,Y0q+#'Lhq"PUb6Cz1}_e|b3E^ֺ6~݅#s&T|_٭'xEh8r [Pn\^L7X+hϵ|Kğ)jW urH |MK*,1rZ;lly2_ vT#n/T)J jz[}$NE#N*OmRԩv+BwuKGRHQ`{ C0fFUYHI+)!$ i@4y1R._j{%>;:C`kJPB<,H7蹹6A73!/ ʤ}CXo]4[/, > `hRbbY"Vj`bysI< ?}ۆQ,j\0C8#hYgzGxNg.7bQnsRƖYB%l"Ar9Uh:J@X*8j{EgIJWO/Yx}I[-yۗ].j? NtF~lFr*İ PB0tIlՌXa!G&KvdWs3Cf3u`—=)$WoY B%Hr{8bDtAQl fQ/.7&)gx*&'l]M:mm'x-د0EF;E+oyg_I{qvRդUϷ;I,HnMʎ*ax*Q!y>1(] V'GВל` aՒ?[]0(sU䖜}1P؝cypA>:e]=m  (ҏuSIL0a٧?0~x#Tkx}0'N'Cu*-bXV ~QY/8||H,̏ܶ-Y3!hڹ˗Hw^zQ߆ZA7MOCF!f+ډ|^/8; R/(0,2" D٧rnwr~ ,3 $Mbca+[FTA~5ܝ loؚۣϑ婵ݭWCn./\95."n +/$Q1wĻ]_ɑIa84ʜ2ۂgG3ءUb_#\*y4C9Q|:uů=l8@L4Y3wFXE`M2w|G iNf˺Z5:Je,J*!o5pVc'ą'I }FPmwɋ 9q-FpjS2tT1S#d;Ǎ&`w@Cl~@+}@&>q<)jӮʹԌL#SF߅t!#z?S s2CG&[ń"8l F-ˡYkcFTX/wYd,ҹvXgVNěE<)כ{nڙ9 ]ߪFc4tx̽p%8)gxgp}@5 4 \~Pq g'H 'Jo[=[l-8V^:[2v,^Xf;?Wo@)G0!^~o<:sD']FY͕G3d'G5D8͉dO/Q-?c1qeQ< ]UPh;^0[~7$O0I{3Q4Zf@1 4p zZ}mb}iv+z%fKg ݉,m^uOQI<A rwtCy,p';$R@>ڽ?&]NB|[#:$t}؉cRmj`'! )vM X$^%O[0d o.dhu|`7|=qCPWB0x& x]F2f-hU ayS/jX.Ƣ )ZrXa =V`s̹/Х5x~۞f:am bhW=nB^Urat iUN,K虸p.mW뫪>Qe,䦓 n%xmfDրtFBʉvlo^l`㔋oj OZZOLV8 L&U)Dp|Xf!O[/&=t9:dc)K HU 3iנ<:P{ţs?J2I1 +5٢\MĎ@-S*K: ;פQ^1 =Kn,prb#yuHɶ[d!aduy!bAg/lŘ;~P&u=Lʐw%MNq@yGV3,O"_ꘚ\* ayJ] عΒ cB#>ajæPkD(dKrL9yIcNe7(nRޑ*-.^%&"j% 70ǗIuH5=ȚO h)OYpr/t;a+qu:wUn 9`\HO,R0≞ZBdZmh,i,m7+$%S[sgײ]u}?yQ˦9XuPA bpI<0" 4 [ft|0{$~@K x3(3]r) c|\rOl ;!=K +-ӮYi aKw?3xONh.#FOHO7Z#@EU-h zuxX뮆q&͘)!FӞ#RKpM!?6Qh$B=ps.ɟ9! G2 .Lo=.^)Dz[FjqA\_ڋڳ{OW OSS]@)OrHHK_(h ;%h:]AʪO!sIH܆O]?ʙ&W[b_j0sGA<^{dRG+m ܨ۠5k#UhI;CB?͈iI9*I=ȱO+RPoܦs*;+\{e,IqnܬSH0zm%;^ݙJ{Q_EsgZJ⡪z/Rƫۇ*?@rT8MBZ@.:arrъ(RDE',:7 wMuD=lCUP˜TBԃ^kyL5mi ATD&;6C0RM^X&n*3"ҰG@}-Yn=\h=EU+^5[ 6-x4kgFG;m'T9)]ZDoh;]y䚩-X1ZM4|\Wox&Twa1j_lKo3Eh-8']%agǠP*t]Eق[d(P`QkFa%GP)/yYKdEXDq )  fqssYOц%KPO9pmG !leEAo\+2Pwp-Yr#h]^iU9Byj(ϵNk;V|KiYШ's̐ټ˱<q>)JX5}?CϏ54B⅐fУ{OO`"6fYBYHWO10T>RRǿ}K*˜#+- 7@ K<>{\X)Ǎнm}>2{Ԧ9`Zd}z& fr`̬k  AE~d>@ok|Hut KV_ PC-& rw {Z-}! ,iG+iJ=Ex0ոj`Ig']l)^Mu/&CQf;8D<ae8ܚ%YcSPYu U;z#?4 ]8% 2 L>wBv20E[D \2Be@ҐW@8k_6ľTJbc S y':޽4(A%ޯ:@g1^askd!ݐ9p9i:^j5QJ9YR #v[rݯ8}\MvN81"Flθ%8"!PdAh_a_S{?%OF*Fu py6-M7ٺ$3vәA"D(`KѵpTE. 28ڎ ӱG%©}է&~8Kc ;i_.PN'}4!Pf^M?)gkCSe h;-iIk ?G ʼ9?K)e>56#Ve0襥fJ%%~9 &kd blԌ+Xne:) zQg^vm9ϕkP#7wnSq۔);qMhO 7Ng+ :ϊy%Bҁ6)URV f&uBd(DԫxI?fڽos;K8WH%)kjGzʵMԹQP9h57 db]WiCgKXY"Q:-8/Q3q+n&P d$Fs̲[ 1V<>E,mk~+AN~9up_,]g>ҕ71'Qo{G|}X1>#tvj&z|ˁw'\ CO+x9ePΚDnZLEǏꆵCr*дMnLm: ⤳+^.(MbM?V{%bNS lضEW[Ѭ^Bu Xty阭3$C MT5R%xxZ &YiZ8YW1)~C-P-˿wAKHJ&OtGН4N@!8 jPZ剰vq)h@OIfhPTbiL+1d^Z_MNkX9k ~tߋф!ŸhX-Ӣ̏O ٘$A*GG T@Y]쓽{ <|+ vש+EcdHwΡG"ACp8-:É21҉`#"bE蓵.+E_j3)nP@7 SvfX^bSN1h3zt%qު8!dv"cwW wh|_׍uEnBUWHЁ"k Z}ަqhȦVkc^l8@z!>8=:} +훇G%TkoNQ3/GS-X'`~%eqg:f&Ƅf>U,NW'_D pȥlY)'1tE5U[de:%B/Am xFx9E8\Yr>;{uPμcW Xn8~ק:źM,Oo({ZjRԨ^ n9t7O}+R`w^_;׮ɣe/n3fHy`Lj;b$2NgHJ @8mNgVK:wDҡnC Uߴp_6p (gpYz9B9c"mjnegFޡ 4tجa/"]ih }H岩 Kԣ jĝeq䅱 C1c'KZ>^~T\o!.e!OVʉm-!+{u׾؇>a,rУ#00t]5eEpVnt:ͲɝR"W\-Q-yv-(8>U}iM& ]ɞC:OmH%X]LK(N|+pO aa\1/`ZSBcOo:N&8@ +?/g7.l@R)[ m.PYzӯQ5Ǖ^Lk$.zW*+1m Y}Ŷ=u,H+\ocޞ 5KP~3L@ͅgCmʭ%_;aujy*_MQ$P#"?L3Xq<=z&#Z% |4=)Y䰳E2BiŢIgj˰{^G ]m pA"D6 !vVZ+.ez-B$Pxse[Z^l=Ol\?F?_=%d"qvL ګ#lp8jTRi?]&P2[0ZѥHKI:GməfukM.e B!~8gb2`~ L U.1J,qשfmuSH u,8KKj@):~0b|x'(:u pwٶ5yPdo3Am۹JVxwfG4hU7pMsb%)I\^$0fpȂj H綀D(_{wB[r: #'g~6sryӜi*>`T9Tȸhw%xjnW|%Y &>v `S(ܘɉ.oePP70yB~:"8ykƸh[JQHr0D+6BT^}j'qnMoОW%|ihI~0&;ZАwRb4'=u|ӊ?8f 3ksmIk-O**T V(kףAlEp3fgׅI<ȖX[V5R>ؽ~#;St9.P:;<*^-b3U6ǼfI9˸0}бΩWF3B^$mq)ǟOOV>w&(DF8:I}A":΄Ǘ(^ڌC؛5m;h6Az`ibe  Q"ǐےylYDW^mV܈ 0 ُ\妭Etw]M4jg_#DR@сp">[NY"2Vxzr?!3En 6wGt%/ aܲہVoƺ8<}diM1߲:H2JbcMoM/  d2\ G/EE{nKQ3 p\w5ea5#UϊK,:sв2kj2v3=KڼoإGRs};]MO2 V5TWLˀMjo9K_Ej Ztz"^!Z avc4kpcƏˍS_Qz}&U̐:sOeyQ}!ŚSӃRa/b&\Uxh5"e+ pb*(X}5NtODldv}j(3]ڮPb)6P>U؅F:MEp:< sE/e7v"SDeӒRD 3 C}jJ#OHuU +F~NcP`;1pzullMe 꼭 l ˙RjLOLik?=ЦplZZ'ᥳaf j7V߰78 sXx9W XZ,`my6_o;Mw]4MW- 7Zftui@ _?6@eZqp/k_uYnvU8ASԿͬ%??U+0eYk_# !.`DڍbB"ެw-O^az}ؕn2Јtgn o[ta%'eS%hgjFy䢀dsLe|#ΛX~́؟Wc"W;MqD\<~k+>aςT=dLy&>.N{!jjasRl@t`&~͉o![z=`2zJRJtz[٘pr/FÃ}8<>gD-ۜ s9%DgVV25hC~+868)ѶH%B|}⑋=$s/h3U:.⭡7ƷH\`.Gm{ڟS=]{h\; $xr8sㄶ*VgW_/yJX&cw&GiU@V { ,KKlMާ96,r x(ЅZ+pgJO*O7"r>ۥXuW,m˪v "y\mT$s6]ؐ jfq7}'{v'/7' vCs A,v}*mNEbi"~'.^.f)@r[fɲ 8Ok),H؄g%3A|Uݘ 2DjK̼ g|'\VI;D:{%0kL+ @⪜Y~ךeә~ izW?X2[`bWUEx8{co+6{P4_$!Dz `h{شة?.< F!88@{&WFl[E!y]g\z7d\صSwuk27{Oh]nS9bHo9P;vmg^Bv kyȦd.!i&(O*C\7.˞zXPJ@5dA\:2u9{aH9zyt&2y˩5P(w @zB馃jxt>>!UUNGG|Qq16j! NP=R2/1}"0LY D m+6D^i(|}_x!}Qr5ՕwJ?n "z> ň%b.-wRyJ?I΢eGUW`9Q eI_C]BGSuA gMxN0q0-[jz:PølJjZj^Cj/f~WMu|"7;Leq$ҹo ~ݦq`#/o zl( |E=^7Yj|:uˑ݃oSgC$S*L4F RSmChwzT/I9Sz~95}ATԷeD^քp$Ñ7,IvGلRMR58 Wk;bf?s?2u%gCzqѱAVTee|^dYrϢ׼TdHܩDJꍍ;gf2OS['3N=xH6̸ KvKh?HILxy,k iVE672)#?/$M8,r>y;sCUڦvHPvz;?j{bbkq9VoJ .WXzJ?+bI!Vl+/>xv%ɋ nq :5gMp[nMQq"L?UL$N]psN9-hR&{b-u&z|-2N<,K[D檧IS*+vɗ ZNU#`,:nKQ*+օ&߱ʮu@CA3m(UZGlg ݯkGqxk ^=_ TӮv4$&s|>ip|EQeLv?(6I{ A{ca4׹-x{Y'[eN+JL5$qGMџӠ"L8Ớ,O6hYX#{!?B 2Xe*xGE_(GsȂ4Ì?5x(y$Y+dz">a w1msoI)ymH q?k \2Ṍ67QDI<ت5Hndh'Mh?b>'~d̡O M~h!s*v`TTH/W87D8Dsnq S6&SA[t-IvZ5w0ہ9\ )G>Sn E~Pmt`VNr"ġD~:To2VPszD.@mw&ofsM40zJ#6{ ?GKm4ou1&E fp':g%0ƞmgh iL䥃EkYU|` 1@s"_^40pH,^6o'Ԝ{0cXs{vwQ>2R_2)8#F\iJŋ[WT~j9eV&7ɍ\3 +po-UnbDk20lD+B'D±j_"hT)&D cMh OP'%!Z qq`^Wrno*b*~zY ;m&&y#8f{91c\j1Q$ #uͽ/ϯLSH{T6 BO*# ̪ ) `YSUR!0Fr3nck0y_;|feJ+%@{"Q 0 J㰼2:磹ƟZkOtsD'V5Oʼݎ2HJm6奤 w\®3BLl{OX XEPw+ ht޹$Nt >d56-TP: *G ;]{cĄ>+ 1\Md*ۡ]񯑁G;zfL>Ni׿s',^2]| Q9: T…d 0(R'/Уuz=j1ICU^3_MkDk9*Z5TH6j4DI+Xl @SGV@ڤRE*U.nUQ0tu 3aT%sLu0c4x.ɇ|&>*çk&#N2wEV7>8u  MlH;{9{'eA}x<5B[sLH5)> Me DH/#;v+*~ip>.|޳T]*#XWk`*hA$nIl499aԛY UwzIl^L2.@vh7pg,+zB0b(x ,_Sd(/P+8. oے/Pι{tP;EG#ŦpNVD˞avFѾsʷ 8~U 3$c͈jޑꞭ77]@g a|8 Ɛ2S:Zo=SޗUՊ:70@V ώD[Q#s5˔ YJxX W(c^SP7uY67ĴNel?d >>6/g$OYV??s|f ȯY]Ѯ ͫ+{[zxYy[dC )I[iA)KOR8 0$y{z4aZZ{p4jX.H eXhw&S2V+>0V]O|/ dJh L0ϘD p)EdOp0KSupS@jEw+GG66Pe y(=H8~[%Ŋ~ueFŪ &&l?_c ݓ=+@>K atK#n$gTL.[_h<%9I x abs><9$mF/jf" pr~[_h bSΫ/1s@lE!#&X 2sSZ֡dlȼ7cqB :1:|DFUM9&*K<_=WCRw-s?7|Kz7._ȉUh_io. eRl2P5^.T5_L+`HȦP ~*>.%^.iԣ$9AI  pǍiuPWOc$p q,@;19+x`j%Kj>t_gyQpW/CC Yuκky ,v)\UaY香N A]NIKU:|,S<2}~ C!zˈ P%0IPH 5M-C6,ҧi UK7ṿj"]~bw,(QC ӽ=$(KȐAEdA~=XA-&Qhn+n0|b]?P6>FW7QbU" N*`B9@@_a=o8j\5zIDn_HFǵ?tXk2eձ){JKT՗ޏ{nOZ%p4",.ȦVm%$oYp +e؍`J4&9Eyо7z)seQwMMZ]/vpm*Q-b`թL MVJl1ȔTY9'{^paԎ!Ci+KyF1Sʩm/xJP>Sˀ5w$iW.EO<>^򢾾5w F^5<`׆Osfb.$ &ZZY!ju Yh;@Y%ii-W ~,]> ΥtD1!:{l%Rih ]Zݿ~5땇heL]Y2%BQ;G)kVv4Azk'd+e>R'%D8MDFӵ/fY䮬x?;:wX;` I47foC^ =F%dS4dr3 [q}F^ 0$ejhuTXXy`&Iw,峺xvb>7%TfKҕ^36 Jˍ6hU_e'^jiST-/˶tv3gCm`}fĽo孏%gtMXlw|a5/^Zxہ%8X@e{QOx)fЋO9_dE=pL WG -2hXL\/. _ M.#_~دdѿ+N 6 cX:gT;N[&U?uOW>xmu>c|X &,,o:K6XEKd?&Zya_Q+Y`^3=lF y?. 470,knkH2c7 L;۪ /&'6yɅRFӽ]g[!}0ʬ#9CBGd`awT8,79W3^| %b3;U4C\4a9AFjY^j2v?)v@Ih eLUWuZf^>+O!9pUcuO;DYK45cj$@+0*/FJW T [; |4 OǡvD ~7 P2[@$>GM.ڗ߿}}Z;J5|r.-jp2^;flLx8UNgyRc` ?3[I37cO ccz8[4x{"^8d@zTZxec0ݖ>]%/g7,pm? NdrٰJhWE#T)ڨ{;'|٨ X]_~KKW/6##+igNj̥>gzkk>D"̴[џ~FJlxs%CtF&Y[kcj<-]g! bz´浑 @|}˰/N! rac{2A|}OA@'wߓ3BCv Bbn.uV-k눹߽O^SvnhWbw9F~fIg5`w奅t}e504Ђ:&Iؒm@VPrɨin *,Zd7dWQ^3ήM̈p;s!n~Dy%7q|V =y%Q!F⨖yCX-V].683R[L%mb]%~z$<3W?,$~.m. i1bPm)X4hQt8cLWf.y†n˺bjnj{@\LJs9!9?J@GNf ~ W o5[ni-9q]G;#4]QF#{.}`e53ey< Te ʂ9ŅE:-PItGN-8`3N U |w\SWo[un< ́O*vSnY]x"):W :y3z1GB$?D%Q:ݲ4YkӏsDKIK#ndˊbF NG4&gC>9¦O-z)eai_T2Y|gLpΔK"E9hA7mS30V_8zg4a~rV>\yҭJL׹zpҹoX [&z3kH(ZB Ut~Y}FN>߼#J8qAєTN pLe =6"o /Ɨ e\:Ybvh*SE'EQOK't5A>QшǏW^+t*YM`+v& mWX}>Ç^vc0[]FN0tJls͐, [ ZT~f *ۢY&WvR %ݲ1<@2=Lz+Z{O^|J'v[+w^8&$einGS{du=ml7t\هf&; b'Q&bhMI7U6vsks9@u&MhºyfK*05հ]FH%oK]d/d+u<紳1y]aگJ]x>agU2D.h~9ƶ[SErjS+ qB5"X$l0;g˱~hL)(ÖOK&:"X\v0bpxy %%D!T~v%L I&(~5,ե1B"R/`%eݕĨVs"fQ*F{%g/jUy`xC$duO1߾ON5qn~06*L11"ɠP7Sla Lx(%Y;/2ˣ3KU|ޝ{ Qo2.>s97qgcUyĜ2)W7428ZdmCѝַ2LoXiTy%+< iŘ)W$)8E2"9m̏DnPs|zMCn#Xۭ& $S7zԹ`kIZ! 4 0ڍ^d0_K's[M1 |y ;+_鎵O)df3rM-/vdXfXg|fV. ^j܂ j8\c‡Kf^pg,`ێDWWŻgy]$f. QGA/l1g#{NaJa/E"}yl_kaf _ce2v7Lʖh1fHtϺ4b .iN[u3Se+؁Af;)!KQoFTvڦ#薡n|㵆}(zI%U 00YP ƾ=3=eDGFړ \1ԥ|{)y&Vx< {=3yhTo"4fJbq=H%u {(Dr-5a1$ͬ^ٚPVR{\}y8[\o!cТNTz̨DӬ7R:g{m+h8U-u֨9{o DaI#@^9C&`ZECډki;tu۷ JFgQoi>w˃VG}[CHq484Ů9>, *^vI ]JcT\ !MpT}YL )IGmHw"Z| 5fXsT-ְ^ڧ7D?Lr+۵g5j C\,OJԳ5Was]0s5i> I"p^ scoN$E89 ~O*=AQb{ O>M~~JCBݗk?( (O^]"&l{"u /?>E"V6>2@vx:5xV$Ws#ﳾ1 '#vwJ\=zx&s D = {|/#6?] :.'B;<ٓovp}=I\N=٪Q-f{3Ipf ROWұSlH`y6Y; ]v|RfK6"S]"(۝-[`>cQ7GdzNJ u T-LG W.l@b3j5+3uba"1Q@P{A`aø{ĩ#JVߜ];VO/ yICwMIY'Lb5^"Y QZ.SoIy;_^ۅ`cƅBjGlYr_9VwMRhsg0vi).m9L$Q-jU']}sUl;~!Li .,B2_RNڻ Eo5rOL1Р7I3N-IETE<:VrQĆ=HVpcy 3IQK9J$3tφ,xAܨM)ߛ#M9Ohf*d(ˤ~q9/d\ZJJx]CW9d 1_sPyx#V! F|{XPZ-q޴atSeKt"El~^=Ѥ>3@fGuח !Us6QL+4hG_9jWY, Ѫ>ī(1 bBUqL7&"6毤,N3q\eR6.mWRYMjZ)ҲsX? )qc7oO>Q`Pdn8нR:~/1K`ȇwhYHV+e恒ZQD ] sgr ok,wL~6E. C%Lz`ia5* vf2E* %jRfV_m6/gi`aeQIYU؎O b]+1!,K;Ue=XU/Jo"b˜~ y(*K] ~w09]u6Dm*ƋT)8"Y< v!Q@Q0 ?!%vw]rĈ $]< (T"twv.{Cu[ G@6Fܧp7#b`WXuNoy4SWF 47$a*c 4p mJv#˳yvGS%F&sGN-61 Mi56Yb+eGIǹ~8G,y/l}e8?~ϣDqTeRdj18h pТŴcSg7ÞzG=j^i'6Ie{'&';j鶴J+^ʈumXB\3ΊFXrE'b#`f$h͊a9M8 0: dNE%Jr~r>H@ODbd?>]t DaqSGb37SX}YZ+v'_Ė"amùj%P%y2/e/clo[$tLGt_f}$5ꚡtk7 1߽Hf#3.A)&[*nc%ͫo>'y575 4'Ǿb_cK9A& ehW[ٻ\p \vwZiۦN6>d8ܺKi Va?W6L f́CˈuD^U++u?1E=} #M"9zi7š7jEYh7>RYP͞Ftm_h>nq\|U2s&A"bĶl(V$(8K qLa3mR9mg/)Į%m@U`0WVek8:h_[?Q' .Oq_iZ*u0ln(O7 BU]mAAyA} !MZ=q{cA8 %$3tɸ šЋX4qm G4ss|bo(ܬ[* lTWPk!=,h?^,P}c_eKo%umԩN01d` vHjw uCBC mkϬACKeÏEy]<.solJ!9PNIu^.pZuP!+kOn wڻcExhƊ^3V  ;I0iHU\M+v~#p*im/X!?_5*$x$1qbt t~pu5m5w(Eu8M _])շ;k R||#_6ހVS T#ywjbt\4.JΟ{yQIΥ<7D͠L!YY0Ԓe7\~D(ݲ*P--p#hUcU %ٶ)Ĭ=mسjO|q7k[i0j9*BJ'@ۉGGJgXU̿/Il {ZF3bo\e3'7ذL V|E?U7YFIBJ_IQ PÊqBZNPz[8İ<q ~As#mмwmTʽ(ާtT]›} QFMBs3Nޤی bSNg' ;}(bY iCc;&0 A~s :wW/ֱb7d%ۀ ˿G{`,5܋zJ?g7%G]&Wʧmvb?*ob)q[We0囝~E8]&TiZjR#?]z)P ߠ_W Jk<[D~P~POny3ϕ½,ocmN,0mOTw9:qH{X;dͨX=qe6PojHc~{ё4WL8N@ZlK"9'4g/+nAҷ\eB UZƬ^A;-R^e F)̒X2K*eᏻ +tx@?~z|d(hE2w3?h3Wڍ5i6,P*羚+ߥ]'-K(_E&=Ч˷AC]nUVmZKwkH308Zλi}H+9/°ZLZdTmVݡQ*thN&0\U OY1eZBcQuR'h`mtS +Ue<CӢϣ׋w]Xnybmb(J24n+jI45UR" vث 9m ! [ j BG ¨"㞷!x?[ų7F&fȺz'M]z#V OH4BƔ1n&U@5)[!!m%,Ǥ f"\c7"vlw@n1b̈Z2Cڧٟ>OF_ |c@,Z&B'Hdٝ1+ ZU+8a\ZFψ&Wդ:y$cfqwB}I}k HMneFB[R[Rc.N[ b 2alhHyHM]x3~WAbm8קef ͋2 csLZ:<+9Vz xԻ!̬ }CJTSR@ĐsbiO$I|Ac𕒅 7ZST$5N+8U&O (IEMù$Γϰf]g#1$\K>[>f Jj`lsЀz5O(㠦 #?S 7Mu\C"|׈=v>Zm2O,f}^KnZ?I5-[tvܤwC,t:\5+>D}Ψmԥ,(|o (DNѹ<8jM[,I讧T졝#t=S(Cr K\w-{[JF H%Ԩ`;4-H/'2!&N*- [AFo%`;ͻnLq4|{G;G +%njiOH4++GLe=Kj+!VJK0/!g"s =$\Zڜ]ETrD\٨kG0f1Ac':ڏy|ijÊ)jWo֙,tW<66a u|\Y7N(C̷|+Eڒdv8Spc@j(h2~fSD#A܅Yn@oa ]5u^i?xYn?3Y_rv][9i#I=؟I%ѯ 1(t;g&=@MlB*$X4܂E賯/WFK*bJ>J8i*jZsѤa h:*V'oÌmRkq6ha=pT%kCEݻVNwy> f*aTNn!#'ϲRr;k#{ 5?zmD OAzOPMqfu =F Q!xv؃CyL:NrOH g!͙#Py( )P{CPrNhȸowdj\сʆvMVM\7b$^~FxkbTw oBp.e n {s > 7y\e+~&hPp՞v P`Uzb)0sIY== Uw Wup{7'^[ vE6S> N|.Uh8փHfr!`{+P"Nqkv>j}b%TP݇C9[`OY+7qom/ 3k#^u+fZ- C=b / /IR o/obhD^^?|w[m]Qi*ujz_mZ(HRs rZk"9 Hz>8%bVdʾ=9,MY;6l@`mD'\-) Ua+t[ӎ`K;ʇ,9RoT.mTdjLU[ᰙeGZKC;5VAg\Gع *l@PKGFLI,!mjdgYZbb688da74259bf85034f4f4cc0e890827de29fb28215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 d0bbe230b8cfd9695d1a45234d426f1a7a02357e