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 |5v\, ] Prim_Dijkstra_Simple:threads=4elapsed=44.394cpu=126.880gc=3.4567zXZִF! 2]ŗXiɟH)0%o̷{&sM!>Լ<)aq @7-"#TEh V@s"Lޢ sڗGMT@` p;c\4\gPۖϮ}=1s<3-gfK󁣎 6{CpEdET5 cGUpwOxU$B O9miLy3jnU#"QAeҭѩ!#Ee xւ[wC#L%$[mTWNqn#ٿ'+*ou?>E :V3{X{!~ <OYUv- 7*4H c=f ڢZ;\Vp&iyt`>pwԧ9'4MɕM^Mޔ x>D2b }ɊExa,e lSt٦] MvV~߲ZKQ%t[Z6($ڏݿe+v偮.EKO-0PsiKO/*qM%zn=oC2\Ӝruٿ0-Wk8cjPuߎm钉#a^Ҩ"ԥA\^\~UzdG5կ{}[oE z8d9K,D{z,# ӜR1FelznkG@q<;_,x"F_Dm"U֒{ְ^&9og ͯE" 0,θ&k2$An\Xݟ`k[~ 774FX-`~9~jR0"._WVw#%|FVpjʍaZ)21wTxN$^N<[>l/6V! YFv+TƂ[.Uy]^;=P#s>0֌&2$DGƧ%t*gUZ#|7j0k w {N?4!YL}3wP$pvg̻/I 4k&RlӬwvDnL!ڮ 5Y䁀0 R D^@ʹ aAne(eGf Y=U{Oa(HߪDʴ6*u4 ڽrk; BE#q6¿A4[KULS|:ScN5MרR&1x3J6c0R YEMjTL8@;_Ar(p#{9j az L8{D &Wh`*z 'h-fV4btT#mDAR1S}(k ڊF/W{il(BbBR >D`b#VP<|7 w>2Tt5?wfQ;x}l̋i1/|zΎ;Ml`!jLd1 g5ΙJȎ,Z|lC%\4h'&{blf}0^?,IkG[JV2Q6Eo@Ra͵+{GQp Pf ۛ4h 8-R\]a_9c:\k*hTl+ NP/hRME}38 SZaW[c g~᳝@bi1p=WQ/Gp9^E6G=Q=lVa+e 慧A#ր Fϝaհ. `>KcLZ]=`6j |AΤ((fhcu=aV2r/ 3}*±2kL @n c1Zfve¼tz_iS_Y(e(fw9:^4Q9^WcOVkC"6@cڔq,Fܻߛ2r[nRg4{sMo_J1Ffn Y~CkZ z=xPBER l>S=u"fAVF)Kb}rgqF9їGJ<1} OIzKhӈ #y!X3'jɴ>E7fpASH$ Vw\n_MۋLͿ^ /-jƴ/6^?v`5\I!]>4LG)?}I?MjQJznD{ו)EanU9Y rpДu n\J㡕63OP@A ) Z4#t6n= Qo>#ܝrv:ԝ{!8kY%MC^s6\JT~Xi-G &囇RG!ԍ[&.rZCU~mmNVJn@'1b?;b]$ Lko_rIbbH$JbiD2bds !PFA$>[iTV׍lu8SЍ^yՃH4?:lIj{"-1|9'k#J$hCz,TUJbKf[ۧQu<)ȯQ`hYxjXMثQlQRjp˧aM!]/lI"tl[&si},y$$9ѫbtSGh~lKƅ}+`vHAlJRy:fp|-!)4 j 3gbڋfM3j24d$ĈI=4bgxW7n8t!"xkj|M$eӀԇAbr4`qV.veQ[{8kX ͲSZzU[$>R^'LN2Qg D 2tR-n9 Vu3m䵙 % %dЎ&>} T=րzSߎ|唼U `;ZJkg뒘 TɍPBKͥ[Ew(ϧymFQhf/&TI0.f͚_]]0ߵ%#&xΗŷO_^b!?6ph͹1MYEZr &'㜹.};Fo4,^3yrܜa_A lY׷Bu REАTa'Pc?wRv>9ʜt43uD47M%l^81"*wk\ip7 BT*dqfEIoxk]%DZZSs$^+cHU.M1' n:kNu![MA#eE?ێ6s^raU?u׋*țvɧX-//1ٱSTIcNL*$O$_,Mh3@%5EVR*Vc;DZޑg٢Wf:H7U،A_>)?a<\M7_2fZk5K?RDr$*~`bQ {t Pjèt6oJ~)5u>GUZʶJQlliSdMۆz+=9jP)_I 4#~΃_@(72r*HN(2٪ &UySmg6> M9mmd\,^5+!?Gr)(l[헕&j߇ o-A z +"e3s%Ё/FH7 z` ?$y˦fHlLpRj)݂Ț q]i6 cDX^ }e #K >s]߼x$W((K5#5aK̓K-&}xF`VuS~|p oS9z\pL T Ii,ϡ? xO?Ϩ/s|.3WǷIU_w[)wRXi@vldqw}bIůݕ欞G<+!LV/zĮLcLD 99x:Ep/{J*gahRXm'Pn]EV6L]m@T8ۦwHe󠼕E(j_l,sy5o"GˋJs>hB:*Iqqł㑫IT+mРp î巖1O XT+d)Z|(>)##ß|џ/葾쌦fm+WesVSy2rDz8y~^Nf\v+p:h٥yHX"EA\m\'0<Ȼ`Ķ8A'bR}=Dn0:!N--:PR=e9F؅t * ȇ6ڻ?tӫ]U p Twt, ?2b竃CCz,}ٔCFW;RGF#RsH:$,55;H5eFZrvjGQM2NцQ(=-4q$A=0$oF$ֳ.J )^?w*<&kd[F oWw36k.ؗtF!USo<M]KxK>AnOݣ8(E3*ؓjT?40 E+Fw| goW GsbiƴUW:2QlùB%JM+&>yknjxrtr31_sk(XdЉ|^'ת?n=:OcCit<\JOgg}U~#o HcS%Y BKyL[ |1wp[\A#V/m6) O)c@`hu Ū[|qhG@k*ɮQ*N< wWP^Z4kБC&!EZ"1L5v$#~CyR v9HbcsCxVapW!#l Taaܲ%[$C ^&q;zcE摱j [ęDA 闰v9syi k9Mo3JOdUF&CS,ZQ\rnDk2cm% M*<{! x U<t*5@t~ӵ~ο< vgb18ODZSfrH?(PLRh-W/>vd: 1(8J5qJg9SؑO2A6Wb iճ=k*>/>z$BQe% `߲.Ql>u"MT4eJ8,,܊ѫ2qkԓS1(<2B+u\f&kǪ6(eo ġ?* ؋S>ׯmBYZ:jiZGtϗ$S:ńp&]vmYP80X5nƃ AXng1e4};nE#;krqtc7OO~.P0ecL]ag t_=O_rTpc~2DbdķX꺴%Jc:ӑx x(fe lhss |׉v]\I1EGNe֜r啈MSjX I/Jbr7r˝ua`gKM7 gBa"RxzriI5 f7iЪԣiʾ%8Z Q<"r7߿ح&˄Ixڼnӏ>fE^g'>zwRL{*9%c<oT;*nGpX}K QFpK]}%[cL-^'4 < u-V/zDFe6՚:0`Q$b QSMUtؐ9+LP4Ć<AYVgwBVEN+,PƬ HM(MGD=?U CThY2mQ2V7 IO3]lF=u4<ԭZzF*+P&͵|%\; 6>O޸:p yֱ c{fyrG}|1l|8GzoYIob< V>4]TS!fDb2uhkO G[tӑa^*oI{muCاb;X xߌ̩QB2'*4[巩]G#d1x7yUd0+k¦݈Dey5&?~4a U:vnZ]tKjKI} ӢXo1#}~ | 4] -A6uhD]o1]* H/3^|/kmOsj$/}p;z-LO?AYrSa ܹF ( hd19}!;(rɘgdĹ턡@ޖƲ|Kkn70e c?\4 <`z>Oi\IX*Ҵ!|1gt/apIC_S)'L%'?鳗f)TE9VBF/8tګP*#(դ 'C 1 ˌ_֢۟פ=jӢ z{k_tkwY``)J,bϏwzMt4OgsURM'et"%!T?"BOEVKŧaK"rBJXS FyZkeUce)Llp0uau -Nϳ0P/k:߻/ȯ:}f@aO>G8Oe "F?^)sĉ7ޡSY8fc},1q"iB _[(1;o~\:Wx뚒IRQUTLR$mPu]J,^B7W3ndo;L}j|2( VI -cjvߥQlGWQ $K_YRp;N W](bsS*1?Xl tsR9Kuz&16iGBu hBNP)V/tT~q4 xYh:paת]ST"w">g-IMVЈ>3*q-@HfR/9q^2PXdĸ@|ґdR׉wfOZn^J@"-Bi#QdeWt#e#o/:( {18LkdMT*ѳA[Z)}잻.\BX+$W}O`~?n@6U:IHď~6ZqCPvɆm&^ 9>NA0.?mtb4$T9H !d`ޟZy A2Ɣ[;Z'c NԺ`4O&njga 苃Jv>s<= ym,3fԞ̭:֑"K!]Z7fꀺ";-\-[WmkQ:8_Gy{usxggA 9#8o]0kb,~ 9N Z-q3%<FP\/yvB #pqw_`=8)9o q٤hpFCYlZ#,H'ޫSO8 4c@u/N\>ur;QYOo#-%>5:n &N,Maפ/ݹ.95#MI:2fM*#MSkD;8 p] %# 6F=|xgqz:'ၢ̟Wfh[T TKf-N;I 乽phǛA bطGU(,bΒzh:GI?V>zFfȫ!mrƘ>L%>f4TBw?zTΖՎF-gw41~Ă\E[|[ Q+kƨNj/sΘ3wx{~%hj&w%-C1m72>F;C1ZS9#ab臋Y2 TXtsWELa m sQT18U_# !YMjlIDN=i_ ž'U-ӜHM8y۾1}=or8ܝ-P9*mK'fjXeze@L\UetB_ݗeΔ= LSK@bG {hˀٕ>ҢGVBgq NdؐH:J/]!4+Ҟݱ>ׇ-k>VӲxF+ǀ˶AaAj młVˉڄ+Z1^&al o M]FVzSa*=C}f/K+_2j!ɉƏwwږsa7a"1-Pb?~=rsFo~@ȢV_)i3{r'npuxA2VQ PI'А_X޽ݜ^m["+ Y06``%%Ke#Y[ci%9A*qܕ[B],\ܝlg|7+*+2Y5U_婡T|gzW$i]{eT)R`wrM?ќ>rՠ?a9ɈPFgQvrj?֬ dUqK'(H^ 41d#C˿nGQ'x2ǟosFGkE\!T,Yٱ9"f#*&ͶbGqwbV 1.;=OBRd֨Bp s5]Vhٝ v >,wwݍs1Z+;3DKW8cE:QgxjK;e0fa3` LD4V iuWJ;mL%O,sM"ȢKRMYPdnqu6tM56^ 9 !ܔ06i;y軅pA)a?j QR֢T4 1 @=%Ff] 8ͳd""QԒ}bGL|pս" _v>﫩KL5DS%r+ڷ\f^l4\ r`!뺅>߯B6gz҇B|b 0PFUR m-W,b4pi9R"r.nH4y|\8┳+ n!*黈A]3r;r9[~\_@Sc+.(N!d.t4Y`Fū\=[< ߡX_7u@M'U>'^+2;Mǎlib+VN쒩7儸0<תg:U0BݕdwH}7[?W'w-D7Z(L"J+ !k!\O%qGPԡ.i!lDmWbCu:(۲ILJQe}^r`>qa,I侱!E"SZ*?R!ʄ'? FUc [ֿ#S=6_ha2N m]aziE"2Ԏ6h΀ hY6^n*2L1>CtLi=JP@_;X9OVo5cB} YƗ :-|`1N%HЫsm-:Fgjk͔hmu#& XË"t5>Xv7.Ljt2.V&6mG잀:؍{l+TDpaMsbPL=M\ G_ٍуqrPDLD9z5*Ɣ܋yr$AX%n@a.Rي\y#fUÔ(a  `b{_0AJVX D$Eݥ`&IqҊ>rK#X :l|ak-cӼ*W+pDPb+PBZ>G慐goj 2;,T RYߐ~W{ o.1@d'tg|aɂ(K[ Oǯ:짦r; h]I=iT*~ h2WEHzDgiBBf}`у4W @چt|$?{xκ PZʨDukGF YtK88où.a"%=o(Tw KFq-<2T 0S/bj䐄UBLTu.agM!n\ EcoGG 3{ߣ2HzaP&0q19#%񠙋n>O9a.\жC_P۝ȞB"t}م0-S^R݁)"KIMaS]VMCբ‚hC+rS1/2W'։z^hdXdF·W$Rf4klѕyX`·:^v+#kpT(3 `Q:=%ש𩵜)D) tMKY HLsD .VF"?ǘ`P-B~%%_AcMU,@T>\ Lq4_ 5Ztɺ*4[ m{b&Y緔+mRϳgbڡނY}Pu޶Y'f)`kCeL8x].I}jCIwE%0)br~. xmq+@A앭!2jI8 D^?I^ƝELMo2-`E ck:Y]Urk0^W@]"Q`tFgtލvͤbe*8%UժKZh5lOQ>?ⵁhQOc1]ј>{4 釛 DSw4:p9f9}1{i\8xQ~v*=Od%br`vvZqpe;tptO㭺C'˧$34z6GuVٵ Nw@Ȫ1@G`.;쌢ZuB N]G -;L(͢TΜ9r=gВ?e8JE UL(4=Z|Tb *>2(4-enG"1UJ=:N?0s6"Ei2[06d 63p4|һoYMڵRIUc7r7E' = 6 Ta6vԄ0b2#cZEC g[FDuKF^5Vㇲ@_24ҐA:1;W :H2ű-˓],"qP*3 @WA$FN>gpsu}bs\5 &V~&wOr!9B|W<J-M] 틳$0yޏ^ P<@ZYOfRahiV*yf.a<]<%k{rvwodN<cwqi|d`!!SCQ=^cr d#%1@R{mLND b8o: {CJi187Xyp-6zeJ.$EF2:Ey%#KR冸LߍM4-Gij}xk~(K0TW+o) l;w;{+$}GPPEm?j8`Ґّdr]+fAF낢1O qun]v*cl`NL+ kd+m)Z#^Of)zU0pL7rk|dM\zSb$%moL3uO}pW'hc,W=!z.9#]R(ְw;֗x.L=_1a8|Z4,9s貟ftt2Mbo-3QexlLKB>5"lXkX~&Z'7PX2P%4 x?d/.R3'٘%.oT PT5xMŏ `:R.F-SQrj9:7SyƦS*#5+)=j]YzY;lm>d;f*L Wϡ5t)d%X^!9!gkp@N9sqM2 E%<:X_BKr(geǃ 7~H?I1cA~{Ie]R.h%@J:C+8kvnerW ;jsE623~71ʐI8@ Cv)ԓ3m nߏÏ;PdnN+!UGCМg55q̪)-z嬋QWn"]V;<<3-[.TʘyWCAչf`3ӲvW{ Ա.]4,?B9sjcи}7^7OփR07D -6~}0"+C{(#jh׏Si~Q-t#LA~Hs\_'o\ )Z":(x!z.)Gfy 7Ľ8Q|&1AבstA׹šUl9ch5 iv,{ }t hS1ҰrZUOQ.L?論ks%u\+ D_r(啮M Nݗpww1mY )LJ B}v=L ((" ~* CWmyr2}D\KBWl;څHc! \9Q]0lhjr~mN]e9nc4G`hWxap< uʼn(̧$BWRkD0V4{3͎1>c 1Ke`_f37M_w|~rq:I.?9>h9 ?<0oCY!<%TPT~LvHon}#;"J5AZXٲi ]VLv|)8?5)*K $R;tw؟w+YۧB-6+A!,_8.x,Jбٓ*ppq$ޖ/;U6(Q.;@)з!f0DtX[vdk~91${Y5N7?OKL+kUD1c sYҞx@PҼ YgRwYgjY]ݛÎùqmMe+>t@?tMJӀk[44Hsԕi_ 7V0 ʪpS@Fl48Z]K٣E>YxBWtm3&Ǭ.95II^jcAk1Ok0%T%Lw_;&R/fc>Ý{˘"dm:nSXp"XR0M=o[=X "!6f>fLPM~:\oB(0[ R \2m۴8̸K*gHQDWb> oDr@9z+_Up?{ 7f3U6W2K[F5,kGy ":0%w}VPqI+pPSȟЉ{ҪQkPm ^S5n g^>iU+mwxh-C@G"E_HD35~:Yv7]go5E+JeQxs|\F)ԇ!'Od,1WF;C W[}HqO֢R-J3哉|k0_neFEP4ZeMo,bRǼ)^}XS(wD*%At3dTWQ&cDzr%)0K5]xurK@j9!x1޾>ST[jz֍biíмw"48Q}wW\*%v> Bi Ipz2<FOuc8Q^(ucp ,/xX KGGY]X-wN>Ğ@yMZ\ssu^,WZ;3Tz3zh1lmG HX0M)շ֡@/|M}jP&RZa0Vw83 G;WլvI [mOzDlM;) r|l*#vcVT?n Jigmq ѽOyҫC62xЙJ[*ph阮6.d\];15K/W( "C\!{}!T r-WA 1j;p0[RXXGga??\Dek#'_J5b4:Uuľܾ')U $+MM{{:D>5/K:զcOn^c7'>]Xu4,aɾϘŇT!م~1f^¥ju1JA6zږ:w|(󓥗ލ6z0dzk%K,(a:eYq}eߊtT?Xaߘl0|xpwOq˳@mtG|KCyl5!k#4Q ?ӽ ps`_!V=m*nh:~tO3]wLA..ٰ OPF5d[;Q9g'T5}sX˕Y t"6ʨyOFU5CXS|LіA)K#o?V1@Q'o +̼IO3 uq,A>&.kɋ/0'W(aQ#-|2>P-ߪё]FiDp,P-2áyTk= 毯*X7$&< 3Cq- u>DN_ҵl:Sv%d72\k 1@^Cs}'X 2mo'~!dɁɤ1>h&"X‹Ug"p %T-™s0Z!$gsJEʋӁ9mA,q#{>7cEP?Ohd恫H|/y(2\jZqk3ujFRYc n1ET Z2$ӯv^T=CA,*7fs.'/7XէI38NT-uLVlBD(y=] ,A{΄ݛ) >!C#/{XmmvJYͽ'R!x*a y&g ,5gLǿ-31_m*zE 7*#ґvPF5mwV8ʼne!A܀dO (OE븟pkQDK^46_Px$99 +]L$O^O)yA,>$Q e,'lv"v-$9ΫdLY2O5P--mf{u͝*"S;(#)Jaӧv~8 nV5NTjgVZlsp+xO?:<0aD23tR ?Rjɬ[ L!rj.1r/0 QcEjX(7?kkc[TIb}PAe<]Xq4nNl T+9PS(;/ v{bژq1˧w .0xs֍qÏ":fײ_}&G )WRDTyϡJ;B5j՛M{`)dκ@|ۄ}@csMfdmNjڪ-+tOcٚ IGmDV@ÞkR|#=IM>~?P͘wŭOjtjIz?V7 ̝'Z)i%W=6!Ў>ytEF }~yW@ԽMvemA9MLwhb] 3sqmCLX2f0sMUg~gWp|'@%:FK'TF`> !4|X&;"Q0N6&;.[ڝ%qaDظ26ӿ N6&9Qح!Bh 4\FM?Q%R2ŸX,!Ih%>ixЙYw4%:EmG\ VTy1*onPQS-oL6)na&[oѢZd_>1+,?^~oH>O*SYMl<'>G Pj5~%'>SJ'Zz+uP'(rt"]7H'.صp^zQ}M1VKWB4H;|pXaMb4S4gqyq8 ֠Ę.24YjfkHTReKB@.L ܕKdU>ӷ3#Ե1,(~e|(R LYPh@E`J(-;g' c:+X#]=Ey?ޭi9}8ʄ cơxϨ_w8mnǭtbہFW(&7xiًV$א< .Fio6 c=ziy+2 jOs D D(AuVjͬX/=qHxؑJ+;đ!kqg(EV͎m)$%PKsAx&I-wl6:A2$Ĵ_)7 x>W<$ ,Pd6 @% Ily{waU,Ѧtk3S:Fe wV@g]٧$A*q;d=2 Τp&!Q\4K* 3s.헤v4fƺc'v.B-&]f,q5) m!`uQoGeL̄zL&:hEEjx Xn %!=ѹb':D3Qј4"TN6q%`b嫭pzk#x渘%uvJT)+ށͳKLfn4.V9&^Ԅ /QY( U,m2y%5w/s>~`j_ZR,jrUwyVY7 vl!`ƛ:,=F8 OXv9#$NdpCu+eg˿vpBTr>].jGl[cVm5OdV UFaY5CQ.|P. |m#zGX.hRu8]&C:䜐(ni19CF2ʼn6p~!́8WOqRx'YhM8X[0)p MEn˷#OAoufPU8(?ag{]nF8m=PGɆ;Nm:A9M :)? ]h¡}?ϘÁdLt7- V4}AFɞh*:R,@W`pGm!D?&M#vTJ Uf෗"C na `m|Ok:y3jrT:ED|vm,i=9-:s*d3/:xw 80OFjN~Xui|DfUBӌ!)o7>?c!Ӱ[͆Q^?ҤNigvkP7G=/[: FUVyw`ݲpLɻ[YW*G::=zy?t ް֍T2W6CJh!q$#>a G]( bO=zRT_]wsn? Xd JAMm@[֔<@V%/USN(F:od?Tn&[4Hed5a*ZQhbړyPS;KUB! htTwR-U^'tT)0ƺ\6_ƍ]թ Z)+=D:&SN# !D7^C rNڂcw}]EYo&r}TIu@*PlXk5Yuy{ϔѻ66SmDExzsgb}b+)[^o |2Ϣx!dvc B }(.YDTwNQ!ͼ챦n@](0}cJ=n 97/T>BvSjWV_;mUo*SMj;7ۃ'lc'v>fW[(K%l$ٲLz8`kJ5ejюDzZ$dA T ~XGoeN3;g^(vjuUd fۺ(s=G;Ra(imQܨn|xce+І"~MaruaM<泂.I##,Ni#[0&WEhH= EBwk3B]`dQTD!XDoC$7Ƹ0>fKRBE EՇvHzY9Ͷ+̦h\+zh%_wbVI[mu:'NQXudc_$irSˋ?t{G&R^?논m2 P\7qyZyw.ܐxQnυ'4٥۲ap4`.b3}vÆ.34v~l"Ne?ݓ&`bQ&"V]m PQ .lV/)ckUey^7 KEG/yH)Xfx-Ф..2Murd†vN~zòiGSu D !/WU.R/5wy:oPFjʖ[/Km pt^~,P->CPp/k#C,`u7ے2š._pQL=tXVh?1::0wJ(ڿڔ_rcZ=N[C7X J?sBXaw.6iv1C1*j?b7KjzB "+I_Tۄ]'Mgցi.q.cu|#9 +P!cg""5wܰ[_g:iDG)v*)yLC:@5[6Elg\/|!6E"qz:-5Tpst샳K4Ixs0Pǀ E%tN_'bV*`yyE bNnRf>`y3;}бlz RcBr6̏VτC.jd:t.z{nYCBG0p|ս?En3I.8wa*& ޅڰ-~O!d׋Y;W&&տA.XONUb%0K}ITa% H{-BBf |V]3P-0\` X])-WojyeC\d" an_tnvD~F@|'ޝ~'Sw=7Vx],k]WU={ bda- 5c+#Lu(1MngXY0ѡYx`\{;Gmq?hR'yH)k):<hi?J*5ܬEe(<BEJJ]G/E;%6GQ[NK:xBh.;E:K>@f@We-.hohȸ8LzOWWE>X^|)Q.+2ǔ1$g ;)6%ǻJOen2+rX\$حd{|rfI)u+i@b~g }Y!s⫊<&6, Ud2D6ǗP]#(5XDR}ы0q8YI4WIM/ևCÊP?9l7+c}UK+ܖı<&2TyBͦ5Tgd16c}v>AW{>wf5\x+ˍ.3ةN/o g $!1ݜYVir %>H(`KF^5"yn%fQ+ZT @>~NiTmFk5aq0H},L^vH'oMzC _ B7:iX7Vr_>pКj)9 N-%Lf=+u}rXtl-n'TMVrY]㿶1(>(J8S4e"A1$^\4X&)NE;񟫶s&g]̄q5xSJwjӀd* {8b}PLl\MtOmQRM7>jRkKnR暪h1+xjk>:;/OR7uu8] Q|t}Vﰆ/s2nWS|jčoR¯GLk٘"8=F璔&M7&~*GUfYsPC蛳,S.?”m9?c_Khl3TTŗ$ua] Z "ēlzn1mQ5V>1Kj ՗VblIOVω0enL +@t ~n1Vm &d-_?I BA%ofȢؠchpuY؏ga7bXO^ld-vX4qYGU&Aq. s0zLw1!t5bR 3=)I37%9KYtRM-b;ʲw2Ql#ÂJUuSqPLhi|(-y,U;mzmD^)&Jyhw TR,sQL-r}q-Jv+"+Xl2Sk%UQ12;ߙݐ_Tܱ9 B\{KɂXfcGq}+lypYcR<ƯewK#ŏ)O5ORD'rX_i)<' l |i.lG`8G j?HLbzUOu3v8RWܯT8-'yr߯}WK/̞[':}Fȶ7a9I*tc(*B韨-y 5ƿ'f^n{o =ȱ' 9-,>iF6I)gc4ȗJbM&*i%A@4=mw Z Ḽ(M =B~.ŨܖJî@?.謗q2ᄨi+ALz(#lpOa_vHƒ6H禮P_7{vlZLg[9&sJ>M.fq֬OԊDpzʺTui\ƣ'z{/#k0lFw{'#k!Fz5]v+i^.ZLx`:)hu)V=(4\ЩLϥ/|S"_xH6gxXt6jL~:n0}1EA/oZoXbGڏ-CXۏ- ~uf~?ٖ dY䧗\9葐{t +tOH\NT ׉+3'"chcUd@ =,PS  iGe%Zqak/^:QˉUXZHsbN3_8h9]]Tr8 *߱%rhAe\^KhQ`>MN,G_s(; DE.krG N6 0 *긬uu>\}J\\ (̳pMW_[TnkO1UpW1N@ڄ"B(0&6n4~Li_4x]V䔩~9+}er3y l՝FXџD5 0]ĺTƟ6)eJbjrU4eC P7J[U4Jb qHob5}IWԖ`-/(4n0O!xEXithmeaOj/# |͓o]g#d*:v;"!QW9Yp?`$k*"e@7{ɳʛR5( LAI-xy9妲ceMq '8/a'ufs rKow:˿ /<'*q֝ p`xɝ =ʹ TǺ @%+#msc?BIQL#ٔYm3U[Tb BdOpF V;6:SI'N \e%?Q5~0eܥI YHtbs ܱ$e{C~Hp;Y8a֒gnv8!E)χg{Z؀*qb<5zU8 v܄AnD:KI5 aBoNSM:-Y!jLhS8Qu7c3r(L9w!xh̐c*=s'Ʌrk}Zdj G*)OeZHm&yPMXeÓwQo^=(.e7ɷtADh2$z.pv-pvШQt]pBfH_ (yWϏ1ea> &3y ^ҰfʑCdF Xrlii>!KzLgPrU,R "|`< ;jƁ Aیɾ̣"!EKIգo5^BLYm9p:^݀1-]*&#Ą i~fX(V1i%F^nۮQ+ozE(q[uTү8;Vnң򧪼( U\bSjב푞D[Bԩ[BKA)!D5RSc s@4wo}^7y8FF2ZjeZlЌ@lKÄR5yV0Y,T~V|l2tBM"ޮ(7*.Sh =Ob==iH~ǽ#},g[@O.-9f3F?pi=_=^vs&ժy_F\¬=mXEK$yK frD2ɐ'+\R'9bױF"!͘D>^+QV@:\"9Olƾr,ɴ{gWYnd?);T~7j &s/cW -B7y6+V(l_JEݫko.m\^PMp$ܙ`v6$cy_8G7ʈNYYRBf=,< $W5 j{X*[j6\ψGrp,EGrA:]V/Zjo@bUW"t _ݓǼh7ivM8s(r7!22Uxcb1;^5a{n(fɪ΢"_jZo;?@"ҖcϠvI?I.$qwփ")qWF2:71CR=ido~BD;h_)BOo } bJ̐g ";-nMW'ӒpJJ{yto ^VXq+hK:ӻSd/PpN2M\%-fRʘkhrA [.P<0@b+Y"k x\+4،䘉R¤7Z= d 8|/2숟nCL;n9N˕EOY$5>`#(w&{@{M[YJ#`Vd@¶ ;n4䡒u_I.s]"cݥi:S:^\#IyU~379lkAnl'8lyhi{|MV7&!Ɛ=]E2fMyp[G3Fr4ﯙXyF2s7 5L(? lnLlP%;KJ҈ĖK5Lu';e >~nJ~z_ES^a2D${=zbQ@&dϖ -5mlsߔ27sOO >.͈ ix淳 #,2(hؐz4,P z3Ykh.f9.l \ˇxV0&o5ez`5S 4KѧjZp[Wׯg#j^)QGH!M!lp2+8c7hRzK.V! !t6k<;bcF4۠,mx)4o: qzb0L+Jpxa1D407x}7D=>6ܩ^y[ svrd '-Nd\j#!fl; cOa߃ij.qw+P[CaQ%3-\Z\"[A?UY C1:>V* x(4sˣ?шO=~fe * 7 |s ˖h+ }$(\~C-SϬNֿ πe~y k3ԔԪI{,TW+pX WLPsz0&*[ |t zS4#q!|>1ؒ 1kwΒS_=eND +QI|j=ycw6hu)L9~鲰:7yJ2 ~[g>$l>q6 R$Us"(y#8вkĭwUuͷǴ|.`px;zº[W:.Faa͂ yl$qœ%Ӭ hpf[Fa5'7hsNPqFDIR.-7)ŋ)[ VBJ 8̵qx35Cז<8#0H˔g@gq[zcԊUZ0JXX9UBt>i.CbI 7~ik?(>~AB57Ɲ"G~ah0R6YBAA+E7v]&an~kj# Ï+\PC8 N}7v/Uw'p{&?㤖KQ`?!e6 Qˎ'Qr:"l >|4EН:qιj/7p}v$4 y hY~4SmgI*1 ``|?eMCθAjBGh0F)nY;P14`kb*1!۷G'\r/<. zN>r%uB^{Y@SU?,z!cE̠a3t[#W0`(P8v+۟*mW+E.SY62x<h#JX {Eg_ D2{1%&!i&K;:D^q伓22"`'Ci):HQh.r(KyXk~9Ǜ,Ql.+.;M N6hx]%X|2A) GH,7V9 To"D9'3n{TT'Xٲz{G<\@G6oNF,=4w!c>F—hSPeFs*s*^Z17]:C.Z;Fr>1ɺ 3Ki&g@];9uӸBz&x-YC{l@ O] B]BA %s&CQ(OW>8 Xu$z. +k^aXxCx0ihCl}Du iVЪ|;Yc e-W=)z~@,}%Dbϻaza(Ț" ƿfKYqp Ue<Ɲ% Yb_tLW7'g "'ޙ,P!N$)PqsWr3l kܖ{@QB2v''}rid^4t{˘ԼG2)EXhzj ~`tYgq7E oɌQoCGhjbB\.:m9+z d., q\2sn ^2d?NT,NIz>(!~ŢZzMZ1/"@8T-ҴrFZeEܱj?e-Xea숦QOV4Zv r!֣X&0.!Rw&N6T?S9[OUo Z1Y$b+2>mq0;e>ow,RAn Z.%GN@W|~粏FV'i[xJ|j/vb'(!Mr#3pdYW9i | &a2O/ukWTRa?lޭL9=1ĞH }7o2 n/YaY7<WT(o%+p?fnLR@"_pQaT4oH8ZvOC}>%JH)K9!귙bCtgOt=&)`p-P8Qy+\zK[qcEOplu"˪zսAk\~r20'( T`ΞApp ?(BS҆ja С"&Km]#zD2-ư 9ڸXq1PW1vי'~DfbPyqm+ِRTT Af4xQF g):ӕ(1,65v5?Sڵ`zU7~nr$X 0t ߷]|i'b 8Gff~j*W6eR7fg{iw143z/:Ȯ赦JCUҸ]^q +{RLT8*~ tf<$O. &nYc<ۏ72B .q)-^B5J1{^0;Xx'_$AE𸠡7l2|8Wc,.z}Z VPNoPyp3R1߭S ߣ72/cibbN cpCџ'HYr|eϝ+M1 E/_"I#|1`.S6Q>oFHޠf`Kt ,)ox@9CIakQp7}p71h"Kpx 5cMa4!Yo H9Hg1(<`CлIp߃CދE^ @Ќ)z@HNi;ǁn36[jҪm:EY K` 8)s JSaH ۇFa⥹tԂ Qްa&u|c 4~7^z#& Jn9=y[bHT:^9QgKFVqkcU vNp."*dQ:T,<ޮBx]yqX]kj`X_`]V'rC_:1L{FиXFّV&Z-uԇ0js-C[v,_Ȥp5,J0VVY0423I|E?'vx\'ޡ2(ßas^[ %g'$ٔ TLD%y|BQ%/Ԇp &HVXE(5{ cnNm;EH+U5Apez H``fa+D &E/D brNCP(ʰSS]~WKKBEL8J~ӕAt{\)a)[wh\rCb9E[C.fT2H ^OXN/''+}%gEXj@Vhk$rxUf)_bd+q N |vX#In "lܱv4JBx[v i2Հi /K$I>CctSqcjaݩȁ{C;Q{q,2"qB\g%3J N}3V>% /.H&bۉ0lJ`\ %) ߲ }&/+}w8;"L9%S *늃[+ubLBf*H_zo/CX?a/c²(k|ehTDtJJ/zJ66yDr͔Ba7'A0 $dF^ґi}2JjwOoZw *pEwxH7]MgN_"Z*QI4塍Y@ #V(K'wyZm٪5񑯄|8.`뜺θ|3d ,(JᘟjLIP&@f=&(M Y曵˞GMQtn0Wm Kn&{wP{#o#IBRk1WPF&nS^r ۼں㧑A^ɪ'!Й|m ,p+7>{jm+:*6S{:{l5 fMbRu۽uo/CkO[6h8;`69h;$P DBMd~ Uj(h+^P=m E,hm5?ɷ{x a[K*ZyZTk..}zA%3̛QBIf%a {A]H׽x.-zM"Xݦivlb$#`l{TYϵqfO mztcLe~i_x KN)6^|v+ea6Ӧ/l1cNmVN9©vD2Mj}. )M嵘 vC(% D#sQlaU^vlj~Ifi`D'4wqM1_ǎ,qqPH^zXo(>_g/!V_$ ViguT9ԯ-5\թo/&z&@v/2&$RVgc  _.iL ;l 5-MR䝰Dy܈-c+EhN9מUJo  D/Z}wL5|ϙ1b"0)0;^OoF~!P!pn09B@&bY3L9Z#X(11kkK&E?ܣ#a`+|W$e?h?+$*Izy5bl@XwE#sO6[]B! W%_Hn!hn1-J4Ɵ`_47u !kSZfzˍCdCڶOmaZ"G"G758>SP0v򆎍J>;5Jqɣw,-C7+mV6/x ͆QyPˆ=~}0hR;kҡzH뫒X};ekMXmb˳H9>.dsboٷ`) ^#M`FM) 3EY72'ꄈ׫ǡ%9V ={?yx:,r*翆/_eA`ROIx>.kȾ,)hiU\,j&\O62t|E؍U{x{օ 얀0إ$RM⃸on۹a2HCe^QjEsH5~^Ĉ{tF*eWƽa{&5+?m֮%qmDkgHdw%a߽Xk}} c7[}k||6&g)~ x*O~Y"dn>hJ] X*4QmItf䢱+>A/3A[j)6C]n>cN6h؀$z-`{|X @jBXgjw4(Hw3Toy:|g~'BihVz/ G5䏺j aGkAY]6xV~\&0-i|$Cv,|ӷ#KZ{ u\}n:q>ĕ~HV}uSu?^ԫgf;2{o%hL0qnh(Q6Kgp ̱!eIxZ/3ɸq^mʨ`י lW-94iDW]@z݌cxJ iu$xXͨfQ2# hؑwM@cKtԐa>f"R !(ظ!OKC)u5df/rJ?Jb!#MTJD--O? C4P 40VA6|52sV+jT>;pOF_ Y"n#\V:QvfsT;I_;[ 'B`?T~}5,D qf(QӅ~}b7FgM0`7ϔ cc+~:~"U#Jz:K4\])y\lܡaBF22UȱO. [yaK0`gvwqV{v$o;8j,V5T1>4-;)^շ'Ɲ{&3:tot.G4t :2腃;Gy+y@ɨH,`3ZewbUȽ@/%%vҼsq pT(OGc l l_y_¶SxH׻iTy~[SaaGA>ou7s -0BV[|]%o=2Fy_bdwɃ%Z'nRZ塮 dm[~9Rf{>TߙIb,(?|\'m]Y TB!T,V#U1HD_r'RF!nVu6-m:^ughQuch! Z'R)g&D=@oz>M Ma?H>P.3hI+ 8_B1O~jHnя(`EU _J)aqbĴKmdEb~rc[m `'! ԻϰҖ|Zz]:C{v@87u ~F(tj9{6ͪ|7 \uR~XXl,:3GL,9uVx;nhmlE^uG7w [b11p~LwƂgCERb-2H8«| ?a4Kқ ^DXE5w05ĂH4_T_0&=U)<[Lup$9$FLaO~Rɡi([/^;<7x_iZ K=1\+= +ι% ;/I*`P!cXY9* hPH3j@9%q^GZ J0cj7jc3E n}M_:pChC30=ȿ ŽUxIp0Dv _`^nIF/_CwOs5 :f4YgЖ}K F;Hg=2_p6㔟]V3Oa]buE<ڟi 7G(q}4 6qǤNa–z)h'fQ$ӊЦmҟ8- #!D"=^t60:A%)G5{ HG:w]gL4.rs%.㳏ET*v!CHZ]\X?6YfGgl1EaZeznЫWy-F; %u'tw%{ 1\->Gh\pM߳R >QGP>ܹC)_`4 "@S4rqrî٢9g/U?vo5}ebF#|MuK6Q:q\{@ep{a["c4pf6F:1(Z\\I9OWQaey2O;D 0nTc VHnݏE&Lra?@+%8`8i @6%!A5y{WU˓ K8z,xM{n  Udl[F(5rAb\FܝiKK_PF"`t{/ӢݻlL+*UZԵke,k*eQx Ur=Q;yA}5nnZ" <#"7Fbw6:q~ڷumoPLrL"RqoeD]f_ B?2w13qM"Z0b_';-D@9_vLatutوmGӓLVBգGԛ Xjݎ O~X>]tG *v-R,sX~ o.=a5$w6=lL'<}pFc^C?pxV D+ G,G_/"Ģ LYyW C|9ױy[@<\s3yfc\Β8WJIPcyv–K̋Pyoo~|M(p*ivӚѿ3ж_$4z0Hcso_K u|C/u މzs*(>a8%V-h,ymȁ]綖ecD+P8N*=.'2Cn>3E?*5)j ٭aO@d[Y-lUqPl*M A+(<83 } kO&Z+Ʀ59m%B!b`Fe؃Q5ŭى_y[Ծ U5^! ġzd0'އkil*J+*aEXa2n6[O+r#Hx틸v43JI@){?Iد>:s+6>H!.]0Grtz*.z7S?tJ-9(1u_oſ)c m^sjf"_Y' Ȳ3a[^–"|XS$GS~p;`ˎQ*GIޡ/ րgƑ L폅Hh?C<cKrv?=<>-* G*ekw'f@9kRY܇T ,KVѫ&ipf'_rJ#+94 ]ڸn1!4 ՘\$ݩ5QATJ{KOqsnBMױc-jGkVwAp C Vr1'fSTʬzUF~*xb Q]&p*#e4avl@#A2~U*2$! I;V,3 =ƒ+[tbOqZ'Drw VY@Da%w`p< 8=K3n@\ j.Zcʇ{L Y<}2ir('~\3*ݨEp%:\@&aIh+txuyxgG*\ScPhԾ3zpC9,&3QJHW\PmCw7`j=O7a7!:;J]r瑆&#ŠNyMD,Q[3G{iccMEqXِiywo_k*|`\-HB ?@ЊN%f/&8?0~9gYZ7zXZִF! %]ŗXiɟ1˦r~KunύNN{pdfSSo[_X= [ƶ>uZ^Ekz|~\=+ᕑ}#EX^4+)uS7`$ItI@d߫JH[I;GՔ, ΢gc4f(7aix1A| ɑ@KTu$l;gbpG4Os2X(s5vw7Jd4%^.:oK1 HZWzɜLȿgZ$p& @C~Vn>.I}a_ʸ(EA 4߁CEJa~DP٧E qSP .Y7w(* @նeˡ]9v+e}@_`%^Wڍ e:$Eo*J{-bvnm`!=p5J2/EG( \W g ٘K02Xw9wI6~H(f%b~`n&lp(Uf6SUN> J6+FTVp.w;~UC+L̴Y[;,\0HEmYK75#2 JmFƦNɋm%w5ۗ#׬(+2݃?@hQ±j/B~nTũ@f!؞rӀ9vzTF"@{h!CJmss(]l& ׁGGkpbsFJi' 6!ibzx}Oӯ'5@3Cxg0A@F4 h@M\bw$fcҽBH0iJ\Ofǎ5Tl,H{': Gփ]O̤tCce p XquTz¡ܵvŻъӚːX8MwQGnwgC!髮R,;Xa 8wʵ]oLQ{vS! ]ç["CNv]&a7 !Yv)ΒԼ[싑E䨬bXyIסz ͡FENʹD`B&M;2*H+=eйn.eLYVg@\B8̂+9'(]g1PWY{DbmP*vFN .k~s]U3bs"72U/`ߌ t5r%&vup$L3l>pT{& ]VE] 4OPFQHbuU $9-NWӦs`I`fDy:WKZYޡF׸h2fuG6oM?WKc\{Bj ]tP읙/%9c( `}i}O,վ1՟d1=fKOG/|R_M)+3f %y&0eWrgM'Ǚ}~0qL2%d#V9 f5)y]i6¿c9w֞}U:4G K4WϑX *7la4'N]hNMY YD<*[h;G1[_ a0nmȇh&4ԟ $ZG޶ً ""*ZN:G 6bdHY՞6(gbIY7َܴ \1al41L12E* =M|`őPLS|^ ?8G j)t3ǵOpezwm&ʵ,qE. Ó5@a~ƉMdִ`f4ŇEΊ}K_hy8ƥ:&yͩ!._ c"Ӕ`dZ=^BbULVZN⑐p;ڴ̖!{7(qP˝WM3ոt~?dR,#mqn)'!f-͕&vQ½FO)I ib%{JDs*"b@N۟`RtkV'GQa!DYTG1slW_{8`zy+Jx͚ t_iˑ;CGb}֓vG}P.ў\N YСޡW+ҬUlKxowb*]To?2_rX7k| $I' }浱n :0ޫTJ) P]C/>1Qx,퉗[g!H@_7; Ox8׷#s\VH4jypr'rƤNnX^m o C *5EGp/C8ϤW ?UYt~Vq4-CaO\ {#rcDeE@"O.vDyiX c"; M *q . NZ+,!ͅ^+H"rW-3Z_iVU[3)sLz.1c5,Dn;!5YU)2WcY٤9&" ɽgYZ0a096d28e145046f84dd28ecd90bb30170678e419aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 c6bc555f5a52d9a63e0bb62b378023952faf3860