SQLite format 3@  . BBh77otableisabelle_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  O O5dD ]S HOL-Nominal-Examples:threads=2elapsed=558.608cpu=1006.848gc=96.704factor=1.807zXZִF! (,]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FHR`.~rx7wԣ(By$HlSYOX@;dT1?EYnAVRM.e x$~Z@Y8eVI4oHas@}Xj=m6\_A* kGiK7Oۂ٪Ц5X♍.y 0.t9ed8pl.+Q AQÄoHN< F_ZAĀNJ:نAF)e$*ʫ(r,WP>(CGFT\ {CIX.d7jd#5Z}oMo+D׊PnzK82U]PB;X#}G[8ݹ +kL@n2eG9b1̪2%)⵽Sz&ZQā4} ԟ)NLQh裌F0rlk՝R{eWMծZ63u K]@=pnK8Á{)"CT<_u믵', ) [J\1|{I "tU;X% ɘGh'}9JJB;kXKy²B-ӖG|4lXG{^|W߯g|8n1:iނPOė :&I2DZMVfE ݢ8ETĭ-уB MJVx՛a+q _X_ȃŕtai}1"]24u_V}pXRƙ>{fF\"[e H̶7F0UeC`rn!t !<hF} B+M#٠K׾ޮrdX-`[h|Ԯ%) ӸUFyQ2b%r$p!оgtt!"Jn(q؉ƒŃɕ^x QXXJ;84Wp1{ϼi\Kk*}S8/ztS ,;s84.5 r;+$[\zC剀}{N0mCV\sH8\AwltsFD(%K/$Z regJ)m33 ԧ ))9Y'_Lkk.^w:R[qeZܼחkr[FRG#nV_ 5 HOL-Nominal-ExamplessBY6'9f$Xy9 "Y߆?W aܖ y}{Fsw/>>q5싥&"ѫ)WIտaTX ef%taY ?,J n+!.bv>c Yo]?qqE1K`'0楜(t(m@kLl^B.LT4Ha;1"jxb;{ ^lI_Nsod6fpBo|بwz\ȗv4\&VÕECk_a{F, Twb0"(!g׾a_mء7]2=gfUuطRS;FKq{K'[|aςYV~ϩ8ۋqH A!ech_ir{i3v\zMBt1 !b GDX ĈЉU.wW% bٙާ\UL Dus(+@Sg۶Zy'S0s~7vgrD"e!vq AjQOQ8o*WS>ՐyAHUxwahgT{:>n|ED kzD@V{}:;Jݘd׮U80O؇'[[ph"s~٢j[[R=&[V:]ElCӻds-+ B/8%^,-,!HT.;h:"]՞mU}<ɗnYBS^R^ǡT]֮i@73ʧ9]ZP5n>qU#wѷG 4gGIe_b7 qNL:Ɂa_ Ea-7qb TN`sJ5'k QX媸v0 gQ?^=o;=c9i;w7M*Ȼ9OY+$ZQkdޱǀXmĆbHPQ }-4䏯{./&3(Ccv] VG. 9^Q&}|]H}q(M®o"7im޵p$ߢ4vaBRՆ=B=Q,>f/ٳ*qA mr#H̗w=&H!g [y"  -[@ׯv"Si29$*UBױksR8Yn#f"%{u>j ƳU~'F 1P l^ٷ$0rnhKW9Gtř hӓ!-_synG"hosN>ES EO{!'0ߴR^]k e{;7jSS8˟w$;efpfZTܴgs(?;`_Fϼ^Hw] Ptچc}OвM w;nnu^@jZ=l+J)IULk^b ߩ~L7 ?ݶdmpԈ/[8x'G3ls"F52WfߗVܦ\>G@ӎazzI&Ux[ڮ&h*R:a=ƦMh)A1=G~5a"Hir4Ϻ7PuӬMuu3_ OQ_UQx;*Pќ |:P@QgJ/ǜ(:Eڑ27h0k w@k=ĵ,PL;X0mxֺ:|Eo0E蔷}삵9Ͳ_ :vݍG bߦJ7L ,Vb[D%Ty@$c[(zBďDD^+e֢㮄o}{ve0eET[k 8zN>y7{yl%ryQ>ȱ9֯>4qMMI7DKp.պnQۏ gYR@)Wv<2*^cLd 䞱Wg/[(@Jࣿ`G"VVkҏ+1C |nHuת0CA-0ceyRj֕L\ULK5NmMRH/ hipTXE>P\[ k|lA<⵻߻'+W5jI5Ajh? \/1uMq'{F魖r6U;lTcH&gr f'&,S-I93TI f{Hp_,T\q%lAP\8)z,y 2;ap(umU?ir:=P}G]ȹ KIL1 K##h21AwDvwܽYt vO K51{5";oO0,t6ɤ}`5nセCOԓkE[WʁyW1c.P4/K)j` ۡLþ()'l+},1͖((5K( #&iW@"1=o'(FF1F/"'UnI=mhV̓zy)6 NP,N5r7^ZTꠂ(aݶPG/^$SJD; ^DJ#KKP}8CSrs~,"m-8_]Ōi ]{y `y]mɶzk (2_a%_l:< 5y)F>Ւ6hiSG-ۥ,@G%Gj ̵TRIw+`۾`npH]k@ӵĄO>Z"m5,. w >tG5 v Z񱬤YWh>Π2Ew.]j ]vE  mG$ "v$@}H ݜ&NdX‹MKiM% f.Ev!F+=CTW# '-rz 3-%=~L }"@ʼnΜ$&̞ Ŗbop]AGٞsrv QQTS0ܢp\zͳ|j=Ci"Bڵ@O:}RveCϹ&LiYN}gj[ ƿ`խ hQ#j3pZ51@!>&+:}NɁ^vT,6Fzu=?G)-l@z+J/8\9'TuѠ3Ӡj?wEJK~1<29VYo{dH_ S-Vz $vڤ|~mސPSDS+F&&&QDhacBzJOo[/[z 8E F&kmR{ rLKrZPе-yrMS 8wfKtT+Gyr"Q h&l)lrTL>) j]״73W5Q]ZX2x..b֘>8J" GWgr&A՘'HMA:w]?U%;ul3ik ^P았aiu^9Ͳ쎞Vzقe>=6 H"D$~#g2Kx8> +J4R$&詃fFw `Z>DaxqlD:1vQi/L-PR۝7 ac.*61Hft`FiGn \+qcQZn ;r<>[?8$/ ff8Id,/Z}O"h4v'qOL> EV~岴(Rr&rEu8fr!0sL%~ (C U7,MS~oZoegjBhY,ua:ə4nV:Y|i.XjK8B] N >zcd̗L +5K2pR*INaJt~TSP@v31O҂-Wlץo9W_:zxa-.@)ɖqUl=@+o$,$h_̲`atsH H~djTF :*?ިﶌ/.3蒍-"gNS 8goɜN,+ |gA;wF}57}ITR6W"LP0*{r㵿]ZT oˮtFn1fQY]*b)E~* >b[̔6!ysu7oʂP鑭f+Bՠ_AШz GUD/k}ߵQHD5R58/J"[.[`jN+ISGh0T4IQhޠmP# 4υjXGlLkS}\>-]B«ao3ruI!+~o3_ҕk^ (PeX sH74?Z5Ԯ,;-SE;/D^:Z{@lG\Q:{%SjqMF S K|(*;^.fUU̽l"|FSW@HL=㖡7Kh=͔t_$Q=мE 51+Oʞal s@K6ZV"C_;#rO\GGQX&u4 j 7W.6gYZ7zXZִF! b]ŗXiɟ1ʹ l93攀Lx3 iA )$xp=isл ;0Uu-46HN<l*Z+?W7?z}Iqg0IQr¨ \1:c~ꈏ” 8qR_SRlbW&Ii _ υ 7ع>Ӗ#* Y_\hvr"6Y6m?1Wɧ6Ф+"'蟉1"fmD+*DuޡiYDӚƯ %g5`y{`m1!2rW` m%OdzjW:?s%KIiibIz8c8ӾxoϜ^#d WGLa6WS!^<W''6hk}RD`2c$>kJPbHϘQ"mt"M7iUEGfZHϧm ggYZ7zXZִF! ;w\]ŗXi%;c` sH:rt.{9/D[@濚Ka[Ta%zΠ3;KY@;JO_J[-zb)HƂ56-{YaLV֘(>zGmg{eĆ"Ͷ.N,|2Kxʈ鋙1o 'w^si05UFA pvauz)sic&9=I2S=?Y#@2v n L>r\d!vatar{Y€v(c!4ވ cEo4=<'C{zy4y\-ur~ÿW#nWWz&]dh=$|lH ȽB5?s&c b` Byk_8Vzէ^z] X76+ =b϶O! .lW3& Zپ$$0 {v .5ϭG% 6f.7 4EX̠kک aTE/"BE5q"nNlGoh&knȳY/:pLAѓHXûHXS]4Z d*H\EGrmZ? q*)xJ<^@)"NTܨ"=xQʀ@ej [9M0y*^͓K}7?0c2.[IOB'bk$U:JwcZ48LU* ÈUi֙ 9)١H?ʈ@Z.C3̺o~*5zJTLebo7NL|_ocp B&) B]T4{0Dɛmߤ(gwS(/6Ft %pgZŔcP/lϔ`ž2CNZN>cq=marߓ)@FQvX1޵+ nB (su"cj ό96#ՁL~":z qnޚ)?d<, - "re yõÑ^n{E;o*eqzlg~L'*&h꠴*ݟ/H3vMLi8تEdqgXv"&Ul ,Bo*.@~1l\'sд2 t6;ٴQp!!F{g0./pl{yi2!q4:TM(j jCg{3ѱZCFc9gNWcW](^&QJ7@ A?\g;-уr @&-?'k"4AY67 Rს GG'Ң}E(^Ws}`k![:3&Mx&)^th@KiO`s6w.'1%!Ũ7Y7`9gUdy:jh>v'!\0pg›qFs*h6j 8.#@c&0ƈ7D *;>*.9vie9g KonTdCK=H%kvO jLqWNzE$By^նm\/״Re-+kPyFL$'I3#~^ P]x(c̵`Ϻz7hݞqtצO|I6Wf"<25fN7&ͫ簜s[D&#!Ōte a-^7m"O2ժIlE(Dr!hp;/| fCDm%-:)sk⁏2rGPX/ 4O EPsySW4nDnWn *t_uaڒ!%Ro(ڐKLN\ iy,pZu#G NӝS уS% _NKveڕ=گSȉoڠv]d==zD =i !ݘ7RL5N>Lag/ 'GyÆڟTz+ZMF 挭j2ٮ?^R!_3iM1 #4%2wǁ̷ N2[43@$ opK҈wU> -6.x̷BƢ=WxŁH:].X۩'ۙ86R>RH4K^>qLT5c{$]4Ƕb$.P&;`Bܫ| `[8i 5S)li¶9`0j$y ٩vM Hwtr!i;pv;[Ru$@ >uߊO-7|FR@+@]mAZ6}mb h)OmH op1 IANϞACxP:O 1} m6{fnL''];om`mR~D J4wEt9,!4/` OQѪijk Ue@SSueLB.aH+BR쮿F_KPe̎v!Xj`齁Oc@hO;tah"B(c7W. 'L+VX޿00 pP*SOhf q HagtG5 )pUA7 `e[HƺoG\~ [, n#dr K3g;jA \0w;f@h n֪b=ا]/&h!'eX0~;B/$Oxj^32EGuu^OҌh0|[<G7;2-Iʢ6h!Gg7=5T>. _ O:wوc0dž]Du2Hɽ]_Ñte1#*@FQ8pl !ݓVHov섌% ]v;t{|4[2dN. 7~a0n^QU缴Y_aUDC QֲlZB*l/dm٧/2 KQ,8ּKqohR~ ~*lZR]l:ՁmZq!b0@bo&8Z'M-W8d:N4(qwCxtN [aA?Y 9;* Sxscd[uٱ--)Fdݐɾq\H]\5c XgMd%bpfFJJ?wQ*(StByv(YWtFKsny HD򽁣̤(g\m}P/7lmzD̥I9`vw ?X}B*dx$) L!_G0@ԣlۣo(b$#WRtD$9Pxzjh'mI1~QNC7֢ðE]^4QJ:/.d ~t2ayH0'm]|ӔL#࿥wd)d\DBZIhBO6ɋͬZbD"\j4(!H08Dfb)T-:}⨅+^"Q%*ņ(&kzl0ƶ!ػ;ew wC5ku=r2 m}ʛrIDX=Ђ|9U#IjhTyUWPsк0WHBu9xw](R,W jG ΒV}6YAF{˟@n(2?MJ 2vȭ?(vdJ  77GF^u<?L݆P>Qf:|eNE=%@gqd5#CcLX`Mq ;eWf-eb`e5Ł sc&hԑͮ_Vu7Q),v+`g[<ϳD$%đsr'ըa"AA `4K?E~dtGM}ϞaUQ0 M4=_PP:|A0IC˘"˜VXv3,|R31r!ťI534C"7;XcD~8>+#BD5P'WIVԉƦyd ~䂲lhm$g@dPyf5:'ﱦgTR@NbyOg:'瘏#Ƭ~gm6(5'z]g4_09*@&an^:CQ=/&4DQ; wozr %@a$h{L#Iɰ_ze3 R4)\oce?lHߔV&T^lmu@%"c*O"3ԗ66"].l'GL\ rs@u̎ͧ <(J]+A=?v2ؔ:2ԧ0f  rn3'~v+K䈓[dwl?[OHZce Ŷ dy,dc 29ĭ1X%/q6Le > %oOt2^DW.`4ILg5B|܄RKaҎɅ8!*)_QQ9N0+meBQw#t]# )kA@=3;/aҕ hͱP 3m9(""u-ԉ5R).)iR=Nmx^h4rGO%`\p*]ZO oR5<ڧ |ăVxۿj?&yGO#r˨ ~Wp?d\-\{cL#,g8AY68V!]F0T)cH'mq$Ϻz[sMFi' kJE_CBZO8[Chi3ZY+ZS3=hS{kklYu$zdF7 % ROeqݵ%*;N=ѝ`LTho;;iKR&fpgЪb#\%>d|N]b`ltH$>գmٱTHM<111 ^pmH)}=<2{&]6>t@².ĎtNvj>|r=ޙ菵 iXtMvu)Q624i,Wj8yh:Ǡh<'eh=jI&+{A=GtwS5u_dsfC'V ysf-\u)Ra2v f2Cӄ[ڴlUJ mUT5H?v٘vW\p9 x-{(!`q$Aɿ`HAY/{S%2i6~I[YX0t WWbT `e:QЭy3tXuJJlP^kzld;_RwyFZFS> CFgedQ: XBө$X%R hmBH,,yt(ƽ{aW_~x#;bk.G\8jP?\_N}EűMŞ6)ٯ&y'k;-@{Ï1(_HwucMSSÁJQjɱtDϵ"Y}~Gf(m_ }lKAX‰6"]>^2ӌaseUgbg9!< ;LV)E Ua*¯ "ernmԁOyR/x4wɷ} ,ΕW_~,LhDp6gpHU*XnH%ğGo(-3 0@TnP҅+">#W0x )HLh WY-bS̅p3,ZH!tiR(O{ ˞)v.3%ȋuڃ/r>Wc_ *Dfy#:^p2/}6aDeJm <k%)Xޛ?r6,(214~[!=x0>̶cb}蝑W7'ƵTm9fiF7,)A3TT촲>eXRa_GU|rp%e{DǰtlU ( (,1ytdQjj|{WJDS3󪤕~;yR+m&; !s)tחɩg&>y]i;%{ :kn#,Wn-D7yПص JI[%>U~-\NA׬l. tQ ( 熬nӔ*OeTl ϼBM[I~8:[ѡe \ɅOXdm;LIvPx,ymZ 2@̛&#p ¾Qԙ);Bb)v^܌Q?؞}[U#sjS:w \pp+ .`]3(xn3qe {WnLbADz`4ݼ A' -p9 iC5 B3Ded_v4i|XwYZdvhĘRV]EN]]Ngb+p;TV\Mw8i|  sѻE=;ɤs&Vw[3]f,?[+W# |xgqb4c##'){%t2rhn/^D+TAuNNw"O= $ xBpl]LߵB~g145PW0ϲ7_b*f iZ=ANj&\N~yZJ|Wh_,7t1jftĬ> տ5oD.'Iѻk.k Oz'%E=HrKĚ7T2cv{.`Ms: oZ;%=D"2)D:Gg,(@*'?&}_*rrkN cX+,L0ݤ9fGĘ(b0r]w'Kx)¹.a-de`cMz5tC(\k)H=+[=ÎAb#Le'褝PmwZ[HbqX :[h{WJ-kfL0Eo^V`ʵOY\*xτj긿u.T}S!hiOcaqhqSyf(] iɧ@ ;+# Mb|F_u@b|Wӗ1 ų"_/%~ݬ*g߹r~h{JqFg\2m%'Ľi%FyO$uVWbϒX:gh쩲c!>U$d~K,shZm"qGeNp`+֬si-j3w\/_g P8@GxONG:]𯅂Ugf#E&f Uj-oo26PJ ɱ;(wȸ\]Ф!`e 7daDlkt`v"(^m 먷 $pwN#7"dӆq<۬~6]|LƜr+XrO9r|gE"^Ij߿_(;%ݿD1Lulrh2f\S "I .J b|)-N#u2خxS uѵu7ވElR=%xWO#C5B/=tH{&q(>p k?ܞPC1jt+Ǯ02^2}3̶W<#oZVtW|Hset#) =UPmdղ($#uBUk6f-瘗/)QUv i>ePM/2vŷ'ٗ!a *t2XqX>kLFD]Jgq515"tnZ|D#I\ q-DH*' "[${2A}RU9ӷ+{ eV<蠑3f`;ʑš272 h{Ik9.L5_Ə_WrL>#ЦŨ+97})`aOtrYvs~(3OdӿǐreC&S|Z> d*$ț~&`! 04{X[LJ+Y)wna^XGmٯͷa6̥|Gr*r~U/ڕǡZ'3(Y|>=qU(79`+/N^+8p y:Ouo7,[c1!YEd߼~9ѹ2qkb QQ{J9! ]uP/ѫ0/XH?n07'[}-bK9Lj| SsCc#7I$щ?j{~G0:5M̦hwmޙ^ Zٻw&`/|tW_SSwE1ʉ-wVy 勔Wܔ\ApZMgsG5nk~:ńMiEc~e){-i*h#d~IJ]G8<&^ bK';!臐km.6]w$5p$h-o+t'އtt- szTzvV.֝bS7Aؙ}գ۫b m\B 8)2fNNp@>\?\  \- 9jƺz_9l<:Y?l#~>sIJ2kShE{˷mglAYT}I6eq,tzf߈܅#\Z3[@EdǛ=j#ŏl% 0SК3u<*5?FUFBOXHG+`_*^,(L!G8GOPott !.9QT;G(->RX>fsJ V/`c"H9j]QגJQs?4 ͊1%eE2XNn[6$~%6['( =]r5ӈ|A>~qp涂hܸOa:(ʅ n:'E C5%M< cn=eoBz"1 #[mνGeDǖ?nR4a(BӘ 'W Ԋm0a^جP6zn=XPBbXL *۰F45N˗h&M& 5amJ=׭vOaTevbDSH@47b\w<2HI_jUhg/gFڇ*Uz>tACBC/VH֖l8v!B( ;>4f!d{սlתa;ʼJ3ԯ> LkO2(ꮹ'"{[ˁ? ~1:dP8tNRGGD+r*֠+'IzW 9t5ͮ RrZknh+rGeV>N>KUd̆*PDkNLK(wc SnaXgZ0 4:~ 4x;ʡz"hy(FAϽt i#LĴinEJ4N쌟Gi E/@t\{5!ٝZtsӑ;[ַ_;8p@%C蹦#lg؛4 ʎ)ac$.mq?N!iBMP~ArCߤ$ *640wMܖߙB6 6(iOr2kvb_ K*=ՇmtɟU/|0j6L+#|8>ʛˠ'؆Hv[z2A5qvw2pTwz ^jwmH0倶iⳖ%ys'CF/ UA- 2RwIDG XY Jq[U `!M[  Pj!'46qS+,zn@-i_m08U:O*d3p-$đ9W.}}LJi =ƒ*"]_L4er-]@gN) H#69,1KMtW11ܒ Ÿ6%z=E 6[b-3CtKK!@*6}47^%I@'8e I^ ͘:ܫn,6FJ;lw ^p8iz]}Sv#H5D=vgJ1ӿٝj(6-c[-$xHXLŹrB+ު&0^gEr:(q䏯UHP<Ρ`B`kax1l9tv7~]P/P"KM˰E?- !>S_,%%|%b>LR;Z(pZϴr7*12:#f$u ,D2?&/oGZ)y9>V[Z]uX`d'56E}b>ֹz2Eh> n.ig,r&=]lV j{[`ӊ|6w z+ @G09\7EDU\>We~Fܿ34YckpW5f\(HݟmѶ;W >As*YF~ |k$\'< ^/ޚG1=B-z8tן~UrLQ4]5҉ ~o]$ݢ4yX 5$yw)3{^<8u P,SDxmZ)ؓb(p(@8>yOWR{bFs_8rLU{['hjmEHncκD^s0c޻ùYF\Y47D>2+Ar!a"}lF HCCTE5j38`vFS2]q@)1 @u(ٓ\K4Qi{O)Iaӫ]3q'4:,[$apT ͭphh[.b aAP X{8;H$>ܫڸ(NZo{iP]8xv5k55R/ZtQ]oZT'oJMZ_r,~H[$lI ǂSVDs;ڸGT[uDȜUJPG܌+2՗[ [4(?s˕~}$"~Rca*ʁx;KK {[LocD9!0649{N:W5h,ଲ1)7cHKE_јcKl 9,%' SzzaXwme*Y++X͠-/)CU5@)]AvYZߗk&Le6% lU^i?tꆑ!-T鷆KH8\N:FMy\E^D|= 3">4DaDvDZ]<*LRCEF1ػ["fA7,'apͶDI@kzN !kaΚWJӉM00(p1sg.{jGɦe񍏮G@W PA ܭON f23]0ъ6l{Z@q#ќwG;;/%aM@`Cy~wO{_!aZ1kFjD3׸/;Jyka/JMj޷r0.]"F~gٳTG9#Oʃ|U;[H[0/LV?7*ʑ4`K$NiiH!9%-R&>quWXh|ntfC~)wtL@`(y2٪JnT_qXWGS] o7Tqܜ8!T, p^bFi@m1dYՏw'"</dHP)mGgFdдpcO*v(_N .Q50MɟpG2.%ms( ]o:R+e0xƒ:em↑_@ ]ms7s<4y/o@k|u7wŢ.R]5PPi[ִpBCt_U}qX20Ap/|LFso~*eX_qYcs#8ɱs}Ώsہq(l;YiGWr]SjC0q6 mVc#'7E~ J?,k3{M:"]U Գ}\ D;79 jO;ن_ 5N>!I ]+HkKaoQE; ^J]3 -<݆]<0CLȉQ .Vɶl/,}4ì`V/m*Hѥ#ZԽ2csX᳂dC[s&6**ROn(A"hږ7ߞý z!!?WpdwV:|Ou%ll!B~+إg 'ZDMH0ꓞ# ȕdr+wqJ ż(@# =OHg֕zSξ#²]0:ŔvN{KP(=V&.`#NdȂs |hyJ016tf#+(lY)= EVrVg" yMZ_M@xz-Ũ@zp>߂o:@ J{?ekCoQօCcgE~-bL(_י1WbĠ`c? yx@u3D V9=c֗?I\ŷSCwu1@zuӕϐ6yc<⾆Zi`J(ueRE}W.H/)#M/h) _J: \[=0s,]Kuq2^KlČJ8^0aSv?V"RT* y"LFyu?-F"룫lF K07lSq:٘SZn<ѻ0ë!|ߵ,I̩!]+(jR{b7Xk13-|7˟B>UMPqdNW^]NlKcf$IT͐z䒰8>g丐{,NW+2(SAu]<|ťEzν{:oyŏ9,ҏ"ot$fMeVmγ[1*|:8l"iײ0`V̑ohrR?"`n¸|ϕm(4[ɟ^C T=0uS+GqZ>Et)]~+S3g/y1_ DĀKWsAtzAKrtٻ{d e+eKy d -]\of}}KDx-b*XPɣPp eg{-D}T9pyQd}{smD\#= D0\nT@6z#_U4F]HV1x* &K_$FFt^6_h/M˿ѣS.'6 1 |7ab^YW7&y@ &-+C}E03h9+@*b g%dzPp FI vZTv?+{$I nPŽb!eG2t ~ɔfHGH;NiŘ:YR$|MB3]S"xLgY]W* 6׮~70H$4n Gwɤ>F4)o Xji ѵOn&5)CfDZ$V^kkyNd@% `ci~'"'N=?їЙ$ָ&ynJ mpF'bb+icZ)M5fp+|4yA8tvWd_%A.>Q8VY,+{䬱N߯x K1aTG|%FU }<1;Rqt\2bqO8LU. +#KIyW #AkSitD;wQ]3HbZ#݁;y;N]6Q$h+"k1G o,2!rFqU>Ŝ5[yGJj&9]}LY7s }lO,jZy `ߔ TQ%ƪ;N\HC,);Ҧ>h  уΘR:<!m2T\<uCCSÂqK-EI|KibվІ5<˼J!'̐Lw &(U0iGh-ڕT1 NNLr![ő-CS^Xpb[Śc=>ð~V\w42XT;/YT"Cm@%׸.aMۀZ՚0ca!?}X4; Iei=Tԁt2?A߂ ?` mcHu#S0h>Y־zggK>ڇ_*߸AV v ѣ8`NXն@g9);mqCp`~:Z43h P I~IL#(29*1>,3)'i6kF _Rls֜Ԫ1fņT^(_[1GmbZ Gc2V{Fq5KjW\8`~,Jg9t?o f:%&G.{njHhUswlMdsj^N)-8˥1ƲŹ-,\fǰVnVH$| "j?x) 8cO2kB!hqy%?e8z 3+1|(/PIcQGC :*ٖʱm͊S7`m{+ /›OM닝>\ o1SZP_2fϙ&/zJ$IY(!21@@ xYDa .^ș+z)Lw]h*4R`hkHUۗr0rFdi  dvaN(sŸk?~.2JroJz755U#MVgz0Eq)WsIz tmGk >ҫB@SH&ݎV)0 98S+ uƾi%B7:3Z鶓98Z,R9obxA գ͔>0m`J;Nso_.S`EL+`>^#FhzxwZ@mwJ)yPJcbRiTQ$ž(8EE%Oo‘u&kqoշX[;ri^=F0-nõSU{Y=lG Xc-gaMt$ƂD[ԛ:+TXR &ɺtm=2S.)"gyBV:uBJ'Ir N?̩> q)ۂM#>eɇI5h֬H$y 1[b'e{S &"00Uemfj`z@%E]N_R:FO|c`{/ *0 tA0X)U*\')!k6Uqaݤcâ~bꞲp^%?,n-恊49k=#W|"Nʓ]Ricv08&+gUU7]:Pz{?&R3БSmboc 4juWj"b{rY+AYǖ3hN333d,ʇm@!xOhjEy[&.Za.AZ@ܽ "mOb@{4j.'+M&!vd^Sѣ#~r@s֕v@s4^"Er%;4MRuRP'c)7Nث}~N?NΕ nه= [ͦTУ垦) PWTMqGx^[־n駓]yw_kFva/ 8]bdOXT1Q/|Vi(]Ky˜Mzﶞ~]PjΡe}h2G0ˋajo>O4eshhN'IlȚwf^ƪ)愧"XA}?( #ɂ;\\;¼S31˭_ &Zڇ vxAzVhշAԳWO(ˁI\6MaDn ˔ gq/GL}[$ZK~HO?>T|;؃" ~muzk ~`z&%[GFG7_Ɨ+c3~~iB@\A)*ҳzv͌Bq4kNfIJƖc 9Ĵٗ> %?TH>7E$N,z>L  |C 쵫=Q A͕AzB2μ79/>Pf#(( \O߳c߈["KqtE.J8Rc1^t<VLT<űx2_cJKt#F&ȬVK"uդ4'={0{,ڢd3h?1 tPXN٧$, Fc GS_ )*C]nԫHppn+2uTVT1͞.$t,),+ FlT8;7%ٿȊ&z]GJk\|.:yP6egD5vyw%SNAG3}v@k-̔g$|wÈO¹OM:6bpaS#=b1@~:LZ-So)HwA/ny|9s_3F]Kk&+$oU49dɧ8Ϭ>jҊtJA"GBl8*Nӑq2(:`gƙJPO.&g)-0\?Vl"{Pae $~~.ga/p3Hȑ_nq8{I92"':5=tH_`3 /zz8!J!]֑{Ch=o1^NC3/g#I7*/5Q~.n;'bѶC/Bx`ɁA`v{4L2ly܄E8Ừ&˱FsP|H+x9Tد55dVS`P8LUkU3Q#;&xzf.傏12}{8槥A'l+vuGO C/BB\c}5<6e쥐'_u{XMy"Rv2bQ:$p>c{a&b!'xڤ,RYMnOb3Ô)ZW DXT#)[3588p~=|_mauЊb wn\=ib&k;0&-3${މMz} XR gw8?-uǧAs]vUqڴ y0"bZ=ʏ&G]4K*Q7Xs_l7HZ'R}_xl P5;lBG{).:k~<8 l4'W@;\j18#9SB.xrո`#gH$OUV!ՂC.-$xN?g`޷@빣p-_G;Dq@#@)4/g#qY E-v$2bx !wKW.+Qdb`EՆ2>"_A4p`s׺N?#)Hp(%Q!)jM$=5 6 v3%Ƃ,mLgw/3= 4h#>kՖ*95@`3wnn{}|,J|ηQ|]b]zxARΘv];E=G?a3.EQb7?i _4y}ֈg>1-fbBzvNeRB5# [ƞЩӠh,נ߷Ǿr"BQ{+"ƻjbH=*}C[ 8 L"#4robͅ. H= mT7QvoC\?/)D~R:(Ub[ rhm&,?@%Fe̪Y8爉 wr׳nd=VG2d^xT+N KE RNHW&Qkw:sb =1*I9u>&IʕUVV.# cKe?!f ("B OsưiΏU <<ӃOqԁe PbkrUďjOhۜLoäNm?&L#>(ov\uZ@O4dp(1'{aV9%H4Y5x,ўҔtPn::,'[jhPI#j!‰ zm헲TLB;k.$wшCKs^R1gP(XDR풪ݚ;+r֘$ZG{IK[ hxqʮH"ю~ h& ˜Ig6KVYZm=Bšh Ґ3(LȬM`5.v~ݖjEw iܘFJnL*kt)8GVflytHHAW ӈ%>z\.-{O|Oz Se'~q(QO~ڸ2M3e*2F1mp֟~Z^gnh[l~*IզӖ${6CL.8 PG߅ErgkUBt)8ѳdRD Ӎ}1w2BU3>{1d[qoXۊCՇ:0d?bs&Z#Vo Vo-zz"`&f$*H+[id`ee%GsMs/j\8YaI_5NpVX ?劏$ e&:t=t`5m`Am]t"f2_YEo@GުzMhry<:֬ P}XӸ &z K(wǫZ#WUʩq̵!tVؼW @c+(7wofZ?P2ֻf wI>"šhKC$U9OǃGBI( 6 pYfˏIbҧEQ6֧I{/^1@yމ0X+ۤAc=r>Uȴ3ҫ Ŵp?vpHKu8ǹeJn}AAKٔe"fXiS) c9ܜA@.S=O;c u-=laȻ\%9gCHmtj)SF9&rT9p=#6_ B/h-m5pLY|D@:ah@d1`d ј iR } ʠ@t?XÊV}_?FVѷu-%:޹e#ȅ_cԳ˸wEBT43WY|2٠Ɓm#45 ~p}F^u Bݵ`#TLUj]Z,~pqzXj ׻uiHGShC[AVsɸDO\U%5>+rgOL(p-23K6~GsIII!MjM&`6㴌.1x˚V{6PG@2ͽ*p,yg:q+W'?i](TyU K4=+e(==f)]N,%e y fۗpxN+i>߿f P^t>A,30]zx ~:pHO( o œvBn[=_0)ig}i*3Zc`2OH't$ MgvZ@Ouʁ3Ʈϰ*s*DDŽ:@n>->X׏2">V }V+$S.fCv lU" NxP\4Kk]3P߈(E*K5GM5FHI1?$vYƮՋ,$|wNx}꒒o۱ F9 ZʑRvUەY mSz(4Gh0PMѼzHWh=3Leja# q7k=*ln;ayY/H}Wqg{jf|77%Uѹ;pN K4_x|rS^Ev5tKn8yz8C/HOK]&ITfY tXWqf3PN 8^P4,tٹR9!D1$`` ]d u XﲲWy ER;Yti3#LTjFN~Yab7k$ߣQ̏35 s礇sTH_K]tR6)PlG}~U8轩3"-UAhP7`xR5cdBU=`FR8[]Gvfli8FD ;`\P%Qp@CZY.'V$HAW )o|z 5~~;TN%F#'6D@Ñ)aт.gfj\ua%-EC,-Yצ)>e6 `GnU<Щ BjYPs2o]-tJE(Ԙ+s2d\1x kgڠߚRUt 8I%3̍,042Ps+D'='U.&H /Ы'O X)}G_iф%}9w>I)gG*):],5@HY(.z-ؗ^F:IK^vï6[YF\C_՘n>8dGe[^7 ϰ`AL=Unxiɾ8%UW=ԇEKHds+T=_c'z~n;L䋑@*TBsX'719>{f͂GJh "aN07 Si_>/d{SƲ&[ײaK_DQ88I$B)CmS,-GX(S~2b e 5hul5ąKZ]SFz)U#FnOzS/mQGQwF& 8-k?~|NG'[ jS~izwow@(J$ OM|dϒwՍZio^ڡihwn]ѳE Z!Y_ml_n^xg :AkmPGu^E L(첔F$O­2D&PqgYZfd85186bbe92ef193818c392ddf6ea5dc9527685047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 2be5e4ce7199151c36f9b47936619b28917fea16 bf6f7f22502dc25873d91891e982ad0a8e86f4ed