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 aa_; \4 ]/ HOL-Quickcheck_Examples:threads=6elapsed=76.725cpu=193.936gc=7.348factor=2.537zXZִF! to]ŗXiɟH)0%ofA(5"o͘>*8sP-;{,"'7a` wvuUֽ[Ϫh2'9JG0豬}#jPՐ 01>[aRm0︱ qݦ0-x;%Л:/) rLGSM=3.M?kz CKD=ΞS!"/ԶlN-ܖUEZ原_w!;Pd>7{lӬsx,0e➞u|e&q-doJFS'(N˩Kkk;ii^ՊՋuLɡ^[?eyIݝ\?]EC jǞZۮ~6%& bpxs#F2 BuWk̈9Oyl.w~ti8R\뚱R#ZAӍDdi)kVP ˃.$ uP)bn~.Z!lZvh&k4iT;?ͣe:hKm B_DR7mhC" `sh.Q}NQ_rZn8H6+;E vҽ4khK `IʿSEط5Q2Sl"61`;@[86ca^Ģb:q: xuXsdɱ.9̮+?@gXdY:8Fߧl"ɞcMxKHi_czڱ/i;>v[ͩKBQ,9ĞmթJ\E(RN%B7rei [piGu/գL1]F&|j@>-H 4Ө[2?Pw!G蓘IYEc-VT޳>tb i (e+f" ݏD]ΛdX0>*A8N 0r۵|xfq[ҡ9<1^t.uŰSmJ}~($nF1΢Vb^%{!).KUC=\ZzzJK2[EQ1Yjw@܌갱1aDS>iQ:"vf.7h8`O|c $>U 4zԲ 2X2qkvnL{k6Lѣ~s ; HOL-Quickcheck_Examples  qOZGSE YʲD?ɲ<URm|3*Gx{EO87M~硚y',s\Mk[  ̃c.׼96&O+p}fiz*цU5"G?Ascgȅc$!#[!D{RϺrS #,{oFe"nm=PbPMw픟 Ƶ w%`?9;Mv{$fe\LS|j8s T*bñ:Y9Y \8n{}* 0rR(RӘY[F)8dmy&[[CMd<TW=I! ,֬3Eht "2 @nMiU|x8VcU0IYiq, -͵4@-_sJn+cȚB+l=&5v@>޸ o\]kPL-&_uDLpsy-crMmr#ж@l*!Mz^$SpЈ^0ٕ>@"mTR&Z'u%Xuh}s{;-vՌ_uD @Q!\zE$#8sr#0Z~'[{j\WJW.Q[T7\̡ˏmϱIE[Da +P~Ր$g<ШM+dҲ+7a \z`e3w?s<4Uo/aA޿ED.SoMlDev)f5R]ӄw]; H_L76XP$X)!]$ -"17z&rpH^̇xk`TDR>%(۲ץmHaKsԃL` 5<(F`` >Sk}rR-UQ4Z&5P-^iPʪ 6MTh QFAŬIZڧSƷժEW\ U8|WA+0qB'Zn`yO8ZǭbN^{& <#g9:Gh 8c$D{' /&&i_Bo8chC:Ni8V9T)$L~#k0zNwudgZmP|w祫)K#(h|9y a!bx]6?8z7fow B[Ԅde?~[hE'A×eUWPefTE3Ǒrhr5 Tٴ-n {!FwLE9xL\"6a}iۼ{-1 *s}kEk1 e~-Q+ J}sjriWN|"F=l@qˬ4pr>c4w |W)8!n w6TU iB_0:W-F| wm؈,`6k92V+J鎾L":,zFmdԗa̘ۚz6ͭIlfizi.2{$lmd>(rw3Ɩ_ri_/ 9Smʤpu`d׌UQb4&;_L僩ZZE}ݴw*1E: uX氲1bNfEՎ`E4 '1 P1<ԣV;6A5*ϟSeEHD;G?훪(7C>28v?`w=1@l>}J}AݩWK1NG8fˆA#v"*IF-#IrKm"MſBtBjVejN +RRB':m4 5Jy;"Vق~YH#c,$PdEb K0{B La>YB]@e͵^GJ P )$o Kf/8 OahS4wg+QehQeiS{%8?K|B&-=^tQZI:V2h30TEz=m޶|#{Ȫ *m{dc򣱠Fa pkq4p\1?@HU7,]`C]HNVetiͤAOeZd3/VmU]vj,uF%K( uOSO6!T^A&NUf ~{M!vHK p);ANF 7/ZfbQlߛXIE>0Iw.p X|oAДUfެn *aySrj9=jW_N)5#?e *ײGXBJ/ehTD|~D'!:?)ڰHzִ/s<)VGrpߺG!5$34٤֙{5㏏_ 3g*~;Wݹ萋ܜ L"cgHYaΝ߅obSqp 岥ۥ93ՑӔbJ}-зC {%sSoel;܁BmcYH1- pVabҐHv4= :QmzX=l@.V>͏ (j+? wP_H =Xq|YωѲ͚V%DNmWO&J%Y/MU&+qOȳP&! hk Wl8g$__)(쳑"roEI-!:S. *hA lOjrlZ5IF:._luDLZut{o}T!2RTz&9ISSBYt spv{|X0)/"P+s[p|oz8bTA7p5Z+p)q\dmU30vO>}I媧 ~^WG4pRKIuh>QZn(Tw:P h UEW&h[(Lsbܿ~aT7N<9|T&h7!6L[@`^12K%㚨s?*wQOz*ne-И W&\Ham02_ q'a_y{fʑ*;ZƘl̖5U+0׷|Q3pV>x,06őfF hR,E-;ZCTC?j9*TSoXb8CӍe Kiyc* |E#l_Di5-=Jի {)㫾sKFuzdW7_ZS' iuuMࡑ+$Z^ͮN(S~;w2dn$:x,:B\jaUs`iLRij2휁ԄɈ߁n6ypӘt .T An&ÿ(gJ &;\ 񞺹:ޱ6(4 c[wƣOJ9. 9zhT(r,fe8}w4<[ygq 0,E}źې)'MY @؋^wO4)J7ӭf~[ - Lblھj7 7Ʉi-撖nY//xtBRVw4uh (#tѠqǕCɗ 7k K&+ 1Cv/ XlR{ǝz we^/CwtnF=E M;I +Y]M}|Y`[z9yY;Sl*%I+Cr/> A+#f^j _wn0߹Lu zkn,<@zQFxu*ȅymH@km139?2d Rbd=Pɚ"VoaU VV#]Y1fb3<.ώEJ6?K߀B:|R#/yR_ q2|z= 5,޳-"t3BzhWUF((Ȁ/Q. UzӘaw fBCuEbL:Q^s}moC5$Q(9 K4)%tԮ޺6"B#{P`'y5{ȘWN/֠nv̇D}lIؾ!9ĦhjqH#8[hD,6ftrH;0$hqUduXp`㓹!ʬrǿҍs0YS1b}pi mh*3W"!q$c~1|& *dZIe [M '!ld3=y:_ bÛZcM<:0e!I}m'$Ed˵6BT&ńN^3۶2A_^R]i!>Ӹnx)/Οo= .wG;֯`.!}7PMK+vf3)s̼A7ƿpl 6,`92Bb@*1RٳIָ $9$_V&XӃ`7Ini+@B8.@^9~993:Q-GTAmz^fCK`Xf5O_ɬv@SwS),YiF:dqIL#8 _r0xvx:~5$fT-]:ר=`/|e8fnv\sx,0Du|1 ʇLhJqOMW%uL}tq8&nLkl2Vȝ UaO.SKLMwId5,. g~pM&d-7ub!peO.$Ĕs#ؼZnp| `B \W{jBy7bPsR (w?] y8{=~1oL~py+5pZB|4ܣ VFUJBeO'o~W̥`)7zic\Od%^G!dU=SYo X\u')h[n*`Y}F?BJlZN>% 1XM"ʇ+4ge甡wNpV|ц9BuL+_C|:]v@kXZٻZ%<:[I7c8¥va~ w. +AQ!;js o!t:+#v(ˆ?f탏 8T%"<;t>gxiET!Aܤ&3NK#߂X ΙQٙznz*SW˹]~s8{ށjZD9k RXVkRrG@;.CقmNgI+V"->ʍ^fIxh%1p^Ia_`LNL=٢6tѪMMhã.-b+cNٞs\x ֤'rXi][Q m :G"b63ڎb[PG9ϛ'xнIiڿtbiKh$† .5p;1-{b$8^@0 Q0fnr(:ḃ7D\Ѷ>5 ]{8 \P?(>ʕqBaCuI]z7V]q *Lw_:x܉U.^߳uq יe~W\q5ޜs]&?Ǥ?'"?1}|Ky(uQTkh+4z-9R Ae3@ƕd{&7ZDžW[V3>/?4w&ߥeq達Ѻt{ t~yT[}0i;?>h}qύdT݌E|<@@#q3.¦QcUa]6 .7ypuK `f5n<֐:zB|~yJ6/ӂcJ$"aQ?.;$F X8o;ZdtTRj\uDCƿUb \fkz-4ǂ-.%#=EQ(2b 2Dfi@y{sL¤ W}o^ c `gQ%Kҿ]j jVFoHe!r@ٟC= "Di-]{y']0;,Py1ehG %<*&JHt5TMDzʉvurLtj0]4c~A%`mכWZ^ŎR gIi5dBX$},Y :ZBlz x`.\ ,yD³Kcn7rWb["_9}3h>?OZgV"rg-6{kL{:l^YO ׼zvŧ09aFB_ ?Yy,,9bRbJ*v+x];g . r>[2Ai}&Ts>`1D]\'Fʧι=-1uann7 [{xu4<`^[H"vf&(ZHDNFL,,s+9zm꙼ͪ,F?N}+!wGb+RD h1^`Kx;rWET dvX6Dhj?vHghUoȦP@[o cmbkЀ 'ڲp{@?<pqb,Ųq^9LbEn퓡)Q'"heӗWz{r$5JcBd3o:dV1SpCuzF؊lT!,N ܇|T*(!VE@v",+wTͺ2YwRU+Ps`ŹoI e~Pɷt4S`<CaeH"ik5|{T>2jYѼJ F]a~T'#e;v~ۃY7 H] =nZ&oLy6yu5.8zh^p)"$~d]zAu!QGj?+$9"PΘT2@ޯ\(Iu~ VQ-N4WK+Ҋg)@`.Z ?XГs-* 5[$y =P:I~gp ό %>xPuI>ؒfV|c*ba<>4YW}|Q/7j>p <.̈́G~ R&0GHZ3f9Ly +ŀ~{A$Udl:0Q0ګ? &mV,I|eUejN<z2qrKNxR:ɘ1Q~-X+ ÿ #m^J|WfCasqp Wm0)DLp\6ڋw4(Dx9|z=T0|B?0o5I(|0%ߗ҅` @]PC!VpMɽ 7[;d3Zo3I\Z+њ38NYw%p UBMJ % n$~к~mwfF%-U\g5hX[e* o +,SB,įg3K#CҴJqG7nb?o$)zE"-zutzefGhg5 8 6r n SD_U6wtctXBƽgc޽@KeW)^N)(*cyE0Q7U`>ޙUGF%T^wkv.D.ؕvMtCi$v1 l?Fl8>Q=sr^WpCAX+b 9hu+62q}w5QM/5);gx<6&$Yܱ=W=vdђ7x‰@6&t5J<]z<w~Z#nZ@XYPc@ j9>SQe3˲}~cV G >CLJO&Ih٫d vO b>$Էb"#_`觊s')0΁8@Z5r^ Z 69`֣A@Reedpl;5붡k-^}SquʙKz+ E}ty%P1krS{{2 wƒ}|cJyc2Nb(.R.[XyRW|7\&P&{)I[QUn~ܡ0C8we],4+=-֕ZN̓K24 aT =uEᖲ? Jm;K~`Y}gr I-(߾{H8G+`; J͛ R'H? ZhbqKfh`koFpx/ K]zYf[]CXH\aj-B@TV.ZiX/U4:8mXXW8S2SQإY$:enR#PMvϭ.Л@.S !AjhLm 낟El{1wI'%w8&<^9"]O'$qϤTG&0iz ?]-Xƺ`ȇ*xʞ`+'~ 5Q`ILr 椓[ayQ TY+iFJ< փlK]RAC.7 QA{088Vyvݓ_ڕl$3:k,sv6eNmx&/[B^bl8?<*m*,yX8#\5TGX_w o}ڀ?&CCj&0eP{|5ڪsm@Qm5UԚO+y,Ty X/Q@{7]EeRyi&2Oԛ2`Bb0(6~]YyKAG4gQeשadRkC"C +qM2C.D/7$nBP ց[õv7Wc$sCԮ.@]ԙP7m{H7aіn9uKi=>Q5Ν٭ԷU'<Ti|+6Iˆs3?OZϧԹCI;,lMM]m.W6^aaCPHXu?~mȜLJEǏ%kP52.A" t̴2?~;+0|鳶l> e!_X[[Lᗝ|w,r  YR. \J9Im6x׮ElP{ xnqFʳTo$d+ rd]ϴJJvauI<//a^H7Pr]@ 2/vl Nqk˜V7*/B~a7Zg/C/"a"RF\]*v},[߲<7&,i0 9POBH^T@mAѺ@kEC[)Nv=NFpz\?{+-`5JZL:ħŀgR86wE<Zbi9tY[퓝TaW*Ϊv @m5) 4*bI9XDug>?gЍM+E <q#j/bW~nF}l^(jKT82ģ̮p|#HtCО%wYO&P(cۣݿVYY!$l57 ^ ­Z KkI=_Wk^G_X~QtZg2?~@y"\[/JؠF9l 3b?Q\gO.~IL.*`isE{G(ҖGnY*`ԍy6 iZO};E-*Mٹdmm+#$Z\u, 12tOdz+~amt{ )v*{J/1,Un)@wVtB}8"8w/g>l5~'=^A*ݼp?w5YY/GYA^L !IĘi%&5;˶o xg;g۞C3̆7&)͠$GMStp׮聪e9k5 gMqǻd8aa+)Յ'ǎK-fJDrg4B=~pa)J[Id۱ (/?gIΉ ؂ReB&ÐF{,RJvhx˛ėAk;4Go|7:)qi'vk3Y]Rq׺%&õ0>EYl#7F۶Cj&MO`XZ1_?&V\|Lǫ (sy!M)_h!iT.D ~?ruXh`G\Pe,j9zw5^ T&k A&I>kľ1KYvcP$[Wb~{[2ߛWyOD Xib2(5MU 倱ceolm g$M{I:tyȝֺcA:tP C# ɋ8@ \QV!1acezwUci֗-+Z6ե@>N=or;E(+KX7߻=\t{\ĉF)MuAa^ǷᰝdV VZ 9܎k?ԨoWpɃ VBk9L}z:1nɨ gxꖶϠ夙2;T)8U&/0r&a?ޒcxҁOJTDƂDm8e#^6VpLiC1M}\@ŔVA lNcMmU&o I I> f:6/ 2 Mʡ1#˝pbu'W!G@=K%R.͠;w1ѹT_wO=HWT>"KQShzQrIQp[y-NЙ VGh0|qEU!+nmŤktzF1beeyܢgӠ/C djc!٘;ÔvQ[G[``2 'eh7ع0y)nYB?@QǡK6H[s󕍩#{R% խb ` cE:$_!"W62 R:q"| K(mi݅Bk'$dVcސ8>n1V ~hVhA%JOß4Rylm*$cYlz5 vGpt`ԅi=lƢ}I{e_JT/O!3l]:PILO`#]y{;*1 `n~ /I* :"P9$D*…}̙ɯaNyKQFdMrT-&t2VdU!Lz3J>q@Pj_(wZ"8i¹F[s;Dpԍʻ@G xC69?d& ާc <'OzqMrW]jl#< բF,5M֗v/Q\I28'Sa lZR4{1f\'LL\juEgt*K6V5 |tGE\Ϝa> .klRp[cOsL'zX= aXBtɼ2K8=U}sNyǾْS:p,$40.+=\Ip 9u<Or2]~aKLJUEQAJj*բ*EM55$ )A / ~B"ֻ4b'˫Ł{.(,^pR"넥<.l)I^_dysFO&Ybf͑f+o@Dcڞ;v 1`٦\sr*^45]Q^;!ܟޘ% w`޾W r!ٷ[qYz 75L9"-酙ir%4L{7YUhl:ďas<aT)jW<|A %t -{BiP0IF#m9$OmEDwTg MtN 霏 pO&~X:(M('J b(OM%8&y-tdv]pȺ"@ѱ OuN ,G]nx:A#V"X"U+r1[tgx#%6 3 0XԱ+,`F* KZ9t ǏOD9n{s<6Pbf`H}p4*D%`cG.Ze`fi_i)a UB;2Elp:Y^g:[ɼ 5ItJ#ќњ91`*pmp^+*DU6T /ILN% ( Rs_uqbY9u~Dђ$㎠8woN.}R($[>KacxfM-NC`Gdyۛ+ĵ_ӳ4c1w"(IĝJ=4F ؾ(lD~}Z2s睪\EOdXQƨ ?ıS|Pݭ^S Pg3B* s8Rk3Ϥ 䈶$x_X{$g/4E|Z)'a/ WT!ۓ*%^.ZɪA$K {H*%8$DL*$mLB2ؐbXkGP0>[ h4&.iXh(y$ךGQ+<5&;.1R_UO]XCvGd.}[4LWsz`#>'\WƘ7"! ^Kr(a<|hسMֲ"ӨGiHϐVy'#AUnl8!K2>tI.a"U ϻ|esn㧫ˀWfrw3^B+3 ܸ$ez4{~"{@EŻAalG3"уQdq|igX2]t+|Ézp9ŷJNnwYQ+E<cnYub+9*oɔzQ˗GU^xNr:<Lt.[PAS\dtO[]Cv٘Stk;0|c~a6LIGiJmc8mdaxQQR }e r_u"32OT3@9<٢PD\5 Jx)l"ixyi0$ؾɣ X.r=ň`ddIi]bA%+nd|"NVC u(Pgy+õzG -dU]$rTY?UN=qR)0-9,g0Ts5plwkditو~`CA27srxQs#(bX";-KϤf96F o&>e! [ŚQxtvǸnu7. Fi_Wlgۀɹ#I-9~r>eIS!!%Sݖ)`DwmTyJ6a=I=[!&=2γrܱx0Ot;Ys R#0CvN=ľ?ZL8qnf@ZE\=f0~ Fr-[oM4^ An\5$/\.#ml;&呞oWxb!Ê^}e * U41[f`rB(R#zKz62@L H+l"W>(y=lg.k+R4%X.QϜ?_)<1A!=]rՊn4/5.cZa ܝ S6-lpvG?[CFӺ pw*)`჎󇇋; ZI E\ u~8[NpHZv,xϧVb b~3>RmijD-껣D":3PAxSBR&$6 C9J z*^h9 [9x-V.ªlHZP߿{i.ǔ[e `*@θó+49]?FIP(jHb݅/$  x> -9 3A:5G]cE`y7m/1ˬ, nsm."09̌&qo󜆟]u"~'G@Žr[g,{a'F5!GGcȺ|qz-oR_=IZ4Ɨ:bOA׃,Bf^&F )p'"e6+·UʗihQZo ,8=*1̒7x5t@㽒f:$9mğH} @2_gW8Tc3K2nXHmţi]<*K@qnK{_38JX-=:2YQ/hy@[WϴA%(<ݩJ/eJjx= tn)P r)7ܐQaAsul)CmFIL󪰔~ [T~P sbMN G38bB%jpb0=7B/x;Ii0n.$Şu)rm\WeTvw|5%H:խ +_tz 4gdW^fSot)@chU'8.l閶pIА:\ ;OiY|Ѱ/t˱aI'&|:G9 , HK`TXe(t8i(K S汴xJA" *CBmYSwjp#nof@`4+Oiiƽi[PɤJj m87q$О@]Y_%Lj{(eW/e3(.LnJl!Iz gHB߽\*#7+Sk\S]w@[j!)ή dJN :8t/.\~< 7 cd, :9Qޯ"VfmrΩS~0uP;(NtS lx. r11T] f Q+Iv筢V露Ŕ?Dd y tX5\!. dĉUdhVɧs D'$;&f$艕ŻGRBk4 ;*Ri3v{a9: [7n I̯y 0u^dR9q.Z94nr;^ 1ya8s  #_E4xջ:7 ܓoޞv- ʹ'ZbbՌܭ%a1(k@:?Yz%nrd/A*,?}Q3ZՏBRߜxZ̙Gv!tI(B59PSSGeЋۜg"?XNprmOMZAA3a7A(5i!r%9t.>bbȼRTQ1'=^uyTP שS]Fm/?o ;tfzfrEJVF # Ą,,{QsܯmG'ᕥ Q< x5p^$5!@qCmG<+]x@u%~扊pIIx(+s8u(W<=D1F=ɅG@94ɟl㍙W:JQ{H*+Bj IVK]j @?`" ø)=ӗE;"TŚوP6LM ld։Ziy!rɣ~|Sr0q="M{F1M F3q6ȡi1}/y/WuU.d Vͽ呢k^Ms 7cȑvaH-#S+Iglϧ:EkX]YTkOSfv;U,Mw?qg2*X(3|L|wģ"?mu|:+\n'FL,#nVM8x:C''B ﶧ&xR[ҽ$Dm^G092lki)l&SKi()$fybPb{gO-W@X>{{>z=dC\RCq^m|&lk@.x,Ȅ Hc %;EeGyR&$BC5ROZTYխ3E^8݌.xzZҦ&эoh& A:Lp bM>ڦfX~8ac]Em^v*ib7/,'Q i̙vJP\$KC-6+Hn'Y@%m} Hwx)?\';YJ!@!O~|ϕ {yV}׫Gaou90k@EڈglUTr3\ŧu(Ժ2{v<uY D+s ؾ:w?cltgQA@DPi l,̏sEՌД_!ۀf[Pǒځ0vz ۨo)L$iYQ|T}k&w~Q.抠KL :h#]fg7 & -[ޡQH<($ 'נXi֦ǓhsxĨNշd}g,rYtν %jscVz̒ Qud \*Aٹ Ha@ԎQ:+51VFL,P [8wKhStH'QUD0ZȘWed _" /Z\*{ t5ځf +mQ60lmqI̒[( ˺Q :e 4Sejwɥ=~-|=0s6ljEE-Q, N\dUd{D:ۨѮcB$Dֵ=RJUxfQ ޑj漚=GB,s0k]e2:_#{wda=Bw19v#zhf+/~UMhWxsbKCAsEfq͓~}U $%N}C'|[3Ҳ'i.|(gˇ=sS&}LlUAX\t Sz7o{^MiA%3λ:0)Dg&hVIUpYJSp.Q$t"O» y 5[I!鄆>V" J!VN(l;e )o>m!Ša̡`]p{z~ԡl!0XIo_{/Ԑ<)5S"uqp5rx U]X`e5M}m9;q`tˆu1K s #fj_%CW:WXb ,hJ9% HɹI#F/|*E;9>ވ[o3Dn>Vt'vuhx+VS/yz%"wA{)Cj$(?g(uMͰY Q</۪box&KwCKH{_)n`i2ѩqԇl,`;DmFx//1Wk8dIf:y6_Иq +'5N FȬyVR 7o +sݑ^XzmFkkSEɔsEIӖ?Od1 m-9$PyW+=^8lΗ7bK4s:y뻈 Өe{y5ٗKQ7R]7SⅦp:}K=P P!'{O[cD qBJ]B 2욚iBt.pY8iuxL" *i*JbLfEVd;/!Z%gpwS?n݊;J!d4HW=[  }¹\,f0|Iq<_„d'lb@/jKaZZzn;[0ow $av+DrATD-&J@<·EDLS{$Vk&7W^fsۄHhle/>hUEGkre`s^l4\ҡP yډdSS?mߞ\e` ;{Ca󆦳%\w dj=0;ϨMOgn<+;.?\Ɛ;=IDG"ҠTg ;9P!BO~ĘAr%:S1a@O cn0Vi,bߠ*Mn+׵b(a@_%tƎTNi13'wg?mg/Q8(ϣu(( VC7=3M39m0|oh 7\113Y]>"Δ!#?LaEl{gt9| :Xvm`oш6\Fr@R.۠oĮ9VU_+sIr-D7!׹@O[,cI⚝OT :&U~scAj&(|e[bw{qzxWvVTePڴ)(a +Qrx] mY:z+ ,#V^bݬ(qk(IC [ϽNQ=6C0n'' T4ݡYs/e9zX& ݡwQM*skl yH2[.#Z 7BJ"xE#4֣1Iz,K3 d52EHD"2o3_{ⴈP|X`K$=ka{&{ bJvW5  Cl?-_o1Nw0bN]3d-n+@9n&!cEO{0GJ*D܋ߒ23ɖjaS" kF?r(xLhJqUE;76ZiJs~ ʌ{~(g.=1vɆgBv<Nn'Ć .v/7;"&m֑v-p=-7Xک{rNrY#]`0ɘ'܉??z,j w 8ٳp#.ل9F!,R`g1MxWSaYZ&eFA\㺋:P ʜQ%Ćң]FL{~cSϚҝ{>$sgsHmY&1 : I2MZ٣3?Lֳe(^ُcƣAGi.64 \x@WfXF\ظ~_fj 42@5dzDI0=iI;VCG_bC[Lb2c/fXHj+W4nS ^ݍ2aHoS+$g.i N'w Jc=#X^yοW2 7Y9ȧ9Q(JS*ɀ(lkb [d;K"-q*VH8A>/97: ^H`O7V/7ܺ"mBCNxHϽU/e*~_S%A,FVW};ϜyvmhP%E\B(K!CGg0Ff_BK_) C`zPͳ~OB0~/oenҏI{͇Y fEE&7/?Oa{}Ab=kYu-"ؐʊPbF;*|\} 7o:fm1Û}VYyfuGa@WL}EFn"sZ=rAI mIpbtjC}MCJOZ|{/wipCqUM Y)=%^(y^aK,,{bO /`Q4絞̘ !VHьRYz *S <k$U|=WGWot7\CxF!I :h}v;{ @ 7}&x_8q\ ?E Azi% Jd4Rˡ֌6<]!^B7Ȓk˿= @?g `KF{lZFuaur`ŞÎt5bkC3=*`'\:[uOpkL @!4Bw(figtԲ V6+y~7\cŭ #4tnz^8 }Y7"9h׉<o竫u+m7==Po[W]qF(`KvWhfGli ؼ˼&iC!,-sEyĹ9a>-,[<"ɲ)dgZ:h4Glv,sfW&zR3qwA{mhoU4 KLs+) "HeI']hkY_ũ t+*h~$gB8,$)US|$MHT ^"V wٟ^{5xps΃%J"#4p w!q,""?8PgmjnP(v| [4n'6&Do:ȐpofF1c}~|#]ݪ @[d˦Ա&ڨS:&N BguͶ\LtAQUs^XwSP@L4u`)eEzs`Wر*b_x0KNu")$ QaB𜟥ø8r&U '++t X(D^鳏6?*i$yup)֮44r#ac̷\<ø7(K^2sbi+"9&aPY5=uySg8HA9ߧ:!Y\Juu[eР˄yɭ~_D@>@b]x7g:Q1׏ۋ2LZ>=ebكZ_=ǎUnC, <=gs>DDO  xZw }L ,tI+_0a2Rz[ӞX 䆌|{'+0HCC4Þz (0A`KJNb΄Y剌!OG;ODTl%ڞhV"_ڍtuVO+l3.Z\D.?. Xp1߶Q:EFFp4>,G2-TedڪcfLUu2-Q21EKr? _WɏIfn5ӜQ(xIؼ8mu[3dԣ nbA<-|hǮ}'9*m#z=YuOIJaQ~RqmS,u-UGO($D` _dz>AYDl2ۙiK!1`&7^;EZP1΀pը&s`NG9C2R178 |UY19 Ƿ*6♘ H8"y}[:8$i@{\)wq lR ÿ$)3V]IQ% IbBCűZ "*D]fa~QT"ebg2O.7yT=봤rꮒ΅"ljxANk_uW)p-VZ͚ð?h)]w b;u᤽ {2(ţ (t͘>>+m=c8|*GpwAɬz)P^UުAO"s~j%j}."r%Kq*KB,x BBsM -)vm=n2+M wf}:WeL[rNilcLipm%(ٽD:w%/_Ppi fu&|!t# #np %*.\*s|Itzۚ}JkLjQ:H@CJX2(( %Gi#bP96< lAgvW >ƇNKnÌfP_s쮫Yur6 Yb"e]g\bQ#dl$p].uTR#LvYas3jn汗l1"N-p/Zu 'p* Yx0CN<)%~U׭"^^v:iԻ5>ü;y[_'XjCBab!*]-X^){=-1(y8Ft+x L.0]?+F(j!)~jQ >|eMtGhul޾.;mtI$ -S+0=T*<ɩ 4df9ZQy/Bx?7t6nEm 6{@fәn,hT=f 悶|T{H^yyf큄&DQ΅'M'HEBsPߎ=K_n†*i5{;d}ޕQ1,ph''*:g~alVNV,hȬ Noԗ&x8ЍKqczVW~hɍ2kSZ< rh*iI_e'?Rn|t7F2ez4!Dz<,4k6v-Đr4T t`0fձ/-+cG?80R1jƫN$V^ Q, ^X/+GhS$ќȽGYEW}*_be2f%bꬫıj+Gz@ΒھkNM3Ŋ 6A)Uu?H.P?S"_-Pn8JΏ#l51 Dh> CYgW?DRq}8I\Am*H4bM6uS8bWOM}œ.#դ€t^LF?7"ٍh7ݐPTW|YyHhƦPkK'h :8@N#~̾d73 Y.v&u';mgD&%j*2ƚ9wm/,_=}d~ZI"D cx{}fe&xGi P-䖉+j4bT3y]NGTWA{Ht]`.4}(NJBj-#x A=@9EqbGZoj5*O}7Y[!*OL>+dkm+7"|/W5VJqkJɍCd(`3| $o{~E,JYe iNv Z7p?Y‌_1 @AWʾ<_ov.ToþSӾoP7cl G]ff6H,})|Qָ+`a{>0<.U FPGDR;yT㾝m6?!muF3_`0h)hgxW*-8: YD >)4QjA5mX.S_i?J聸6t+@'A5 Q=+G1M`x9crb8zSJTm9p_X/;6"_=S >iOa[7Sr;j «:8c\`W>OإNc9_)ff_Fߪ? q6N@ SoyyS_No[Damj* AX{vhחlg]xDu˯T0Aս?_ yьV>NeE`M =8HY#EZn4v}r OGJ6 l_)]`C u?*, {#bQPG}8=a-8^\/xL6ΓQU[EZ<}`5$"J$k7opѫb i|uɿx,gC:}D)EÑ8 d? F+b jY`o2'+Sqg!$(L\@# |hǭx'2kE ;*Eo*ԠoT|!좭kN Dj¯ieN$Uǻ%Zn~Ծe0]Z|x~R^n  '&yv6%؏+,;*VDțbY,dю)Bij| E?IQczTk yD-&wߝ;SxO6eNoPʽ! ^jm ^e 7‘^.-}QED:x6uiY".Q(wAQ-\Y?w>O:6`, [,SЖ$#25^)DvMI5o/WAT,kPma?tHU(Ci^K:O&tEǜ),ƶ+:RU?'5Jga yvrryiZ >0wf l.n{(臠8 A,(iw=~`ilфfAWoƒeJOơqUJ.-5XМӍY .s[Rb,jZL\H ͼ" @#դZgL1Rߏ!h ZƥF(ːo%8|fVOZקjPKK"^5P"nֺH*@<p$V¬u C!akwFrs>S[ '}KZ &cf;Ξ\{&OUzKu*H|_O[m19c61Awki!֨2B!/\á-[RIt_N1Y\`2fd] tCb:1V g[O1%bsTi0N$#t2x+ZG$xe}ܘVloS޿-Jy6ԈOp MzlDGqvSwxL&%7xd^end# 34ߨe O|aj? r.'Cylt7VKhWw W&{*iOxO9"s#3WP| }ZŮ IFWnc/{w]`FZ0ʅQܯ솒Cla̞K<ɰ" |U#d5n]]NUDD:l)%gS84jd4q Dk=Р[_If8D b*a Հ;Z}-[^qʑ(ijt䱴½6uc>`;5ج;X" DExvxGSMAb'(DR)aڥʪ2j%7 ~ԛ# b ÅZd)@~B8T^z vLc?*m__x#j/ :3{4aLɍֵJH#3LBQٳy ԦPz/1Q, YYzBPٻhӧ'R҇YC. B~ޮƚ'N@bPhArh|YBT4\ufN;Aەj1 y׵aKWFP3mƽP|^~(:-D׊_X9hWɏNmqn7OÐ3IEOP5-k,aG'"*]e_viHZ N.u ۙ䷣&j`*9~fw|4++(LaL 5 z0}n8wB}hBW?ݒ69/\Pvn>ޢ*ԅbF fxoث=(藊#b0 GbSH=)x*e0Ԭ}f`Rj';QzIͻ%߮8g-q@kq6H v=_h}ejB> b+doŒcw# aaY4RQh 9O &Z uCL; Weɻ:lJYgv]I'tnd'G48ƿ[RM6awJK^ߞ5sZ* ʏNT{Z|mb9Q~Oz;C7[SH)҆|[W|4re̞vҜϗؖzʇV5ѥ,Cc,|8wńZhqn'YzwnZj㷐3D!snߑH8掦|u[\ho$D*/H-ݙ mYBtQ0C&ѕ玁H(1nKp*a¶0$ `7R7CLƤ Bmp/eNXHaXD\/Z 8#1CUf~^\,|Ţ(#IVENM 58l9 CxF3fzI|D(uJ{: 4X$puEhڃ6Luu=xeʻ`hg^b ύbNqy w8>g+؎hL`A`2EsG7:DqdvB< G =6V2,:B s1I~26w67$aG`/暹4V\]m!O \\@aaϪw/\9%.e 骃dxʫu'zg8epAQ{wzdO5cL !q+ 2;2tuc'b% ` \LA2?m }H!VyğӢ$2Cܰe@eoxzYiYanS{ jS:ӬEد X2.RO2f!Y\2IS,dVH[K.kzWʼF2 nφcr-k)6X*'eI:=:&oGd R$\^Y`Z2[}u_)IpB6BגZѿT󘮪 ) m4ѳrA?yR<, *v- *Lj\*^& l~O5o]i[ߜ$4F/2)4.ĺ""OzP<; {7ViD^<~~/_p;ݎ dAWbő  &I 4YB-1ivRxQIm^>[_E>#Gѻu{²mCjA]s^Jնpj´ Nkp@ ga:h&#~+`\3\됗n4*@򛑶<8?\ôׂ`&%OD7H2مbؠNTd5bDϲu;rJj !C`'LG_;*%w/ӑ'&۽L2pU3QrI0CCgxҁk a̺ ՗ٗe8 HzZ^].Dt/Nf5( Y#@!`P=!tftEnՌnZpnlF}E3?,F)mtarFy&IfŚvM&"T!79yT&/RAc$FQٚ3 @#֕?8ъƴ3&d LS'UGa qjgez~_c´N&i|r o!vc`Qsq,[ IpOe ۸t<=&*?lȰlusZ 3kȀځT] m_Li\펦 {S']oIď7JmSSap#=ɦ4g2;1;a c $fZ"O*DųǾOwKs{$.1rrcs|BmI6C`;p&5 ؽ Lɿ#Z>N Dna~BE5J;z?#rRvEe>znrOc 6 =ZXP)E4v:,crّS3hK~zzsCz}#׸n=ot'MSLNk2$&_a`&B)UטOXw@wܐ9(|Щw"S>T呷9_H'P91S(^L#htUBN  Kn$iP!|@<{PF IG Mlވ@5%\NORҤI)u=ާjI>avATl  ~o&D[B8h~1W%??6u_̚d\@(%Rן+iظu[?k` 9yV^ o:n6i-1 jLsBf! ^Qܖk{ _xq%S<ޓHydV]{ ymno)K=΄/! g(I pu #v鞁w-6t|ټKZ/󱬄,X C環[/*n63Q4Nf,YqqvcA[]ͳ.桶&cu@XBi21]EMU[؁ҖO]P&@vg*֦[B.ǔ2%J.%̒ѕSNYfS $A;!9@!`:#71ESKr#i'GX-_ cf%:Mwz`ޱU1;z oyˆ4.P9>s7΍ze?$%$JpV#Cd< [ dAM> dF>9wY|w]Xb>п J,Th U6ƣSAglOaT~{=Y k/+ZŌMZ{85VZ};y3?K8'qc3aQw eqY_Bb*aZv[i"$p >h!#]{ 7&|=) Cb"xa aj@eal}z5z:w9爮QMg8Ag&e<k=OQ,Ăx(ʐ@# !,{Yy<^*Tg":'w_I-(!n6 u75z J+mxbec@01R5D&PB!^p~BJpk[U;{c 3`1F#{yGrPUڌC-v~˼5^Qj(&tG 9جA"H.E-`Q`'Z ؉;9*jD ~Ag5"t\]ymw~{M j˅)́O{ȶf?{P6Dj4^Eg>*!(>yV[&x{!l25CAްl'J6/]P]b( R {VX3xhx$,rql >[=+Mi렆EbJH5#F*F+ ^T DLM?N<V`TXxQS7 z<~-0:Hh,r V \ N镳8,vڀ{o-%>s 싺|r-.U lfp x"xG>1/֠("2ܦL,2@\d]RJ%Wmk8 g@X 4sr'I{BrBۭIa!Oe%3J%q=ma@KE@u}S5 d3b )m7KLbHh7j nv\7镩?٥h㈻|S'vA&x? w[Nu".M?:s+0[Hv#nt+50LZOOK!ѓ䦓>h߻0 _EO "^[wBKy7"/תn{z'㳷XgXp&OK٢bsn4Fv2 vnrP(hwdKU񽈗t=xQȲwFGl!vo{G >lb^/DI[j U 65 |}Ni5V ; h+.EHg7ͮO2qv]CYAؓ ΍R;@=ra ZO!S5TK#FW.2Yp9E]YX2`hzt8މC6)7_C^ ޙ|~&0n,V!0Q-hl-;g[b+uggz/`Ȑ{Iz-kq,iUGC]؇-t6:> < VYF&mP{lM`ɩMvx5sEص8ۡ2 eEUEvx=S$Zj h{e+by 寎8T* Y:USiȠv)FSpLx5-1HF(`( 4AuXw(: KG>$Ht/WBlW6qbK!cL=Ӗ1z_v)Q,mGR/ 9o ^?!]XEWD6~Vy- DqSh^~N۴S4>`z1w,[_g3{GQDp ƃU h70B8ye5-Gf?b< ՃX,nHcIǠjp^*?ɫRjYeg Je]'B3&ȻilcևI:1i}A2:[fv,[j2')ГF^1ojQ"rR)5] Yev+VJRtD=pq4ζ_>Ƭ+eub68йcNW,&Mh," 9t*+Ķ`>Xp+T﮸g/)#vmm]vR76UN,&[Fԋ4ᖣwD0V90O0N5yX cu324JJ/orxxV&dѤX{r_1iu!t xkMQ=ZG9[ir Ƽl[AQWAc]Ux@ʤ?,/Vvy+؄H_5eǦsu#% 2UO:L-/Fۖ q57ZH[4oy{QSiBŌTCZh1ǥPuݐhUmeėl4!j#j"wH)|vZ hB MOo+~ZؗZ"!j8.R.E0SګX2Z8:Q'"ec~!uT kv6{ r檖'jBZ73G ;@ :ͬeT&/A:B4MY^ȓK{'̀uॉ1ٻ|4,i 4Db2BcTMMEV7 T/"E9+<3L =});dDI(5Ŵ>P$rO_3=;Mq"d8hYh6bꥈE:3Ir\=44.gF]n0;b C-;/ :MVmF`g&Q D +1Ec{xnZJ1 vTq{s>7"՘($+h)n/K0̺J3Qm"4|(TH:Pi++#G=cæH(I~*ͥKL~BŠi|׉gIϰ\F$6E$9C"? UbǒM93ւMy t ZLYa]$ǒ~} h=>Cθp%RQu xp5}yU5J}0YB14$ynC]'o/S)` T7/3O.xk[=#PO&@'J.L4cPݭr 3)Ѥki u.QXI;^U#A8_qOnٶbhlqq[$мғt49V0H !tEAtdI^qgm좞JSwJݿxPEẔv)~YB[]xdXǙ~Ndh7(0CDRCqPT!o &{-w dQWw[ғ L1hn4z J;UBzhEyu?7\Sݳ4;Tiѷ3}d9Y;; LR t_&f_ ͋yhCC oZƱƜ h[!2ݗ*`͝'~I66$V p ŽSYEo]/vJP}6JǢx)&`l(\7b|'M30\œtw{^H~.ԁI-"'11jL PA?& g"0q ֢a])67BgYZ7zXZִF! &]ŗXiɟ1˦r+ bVj mGe 6P{S~5(j֐7h +*.H?"ti{R,zyG.j-w"a6g&*jMf󌕯)73VfWjZv ĭڗ 4цT1BhyuehJ^&7*Dtc^xl1 Ӑ0£±`F?Л}KSSY=l=yKx LLNmDg&/Ʌ2XS@V|'k!LK /H3"~X6IE`T_)]DA| O3y,mpTlv cC4ŻKpnΘ]ˋs2swD7(JM^  /ʱgYZ7zXZִF! ]ŗXi%L!Uޔmm}˧h0>Z^B1%5;bNח\r5vPCHJcp;BuFR;lC$ފghrbQf ^'uXQr[ q*{&лZ=&s\jã +*BHQoa;xP]d0ų70g^Cs|\D|⺚5d[V$] ]}'T=PI*O0F}A0 Utq7y7yÙdӱ^N%ET13Mpw?蹩慠YdҊxG Ҡ┨U9G&YЗ"|Ex:&2"\V!t `i\Qx?adS~NKADՅOEt9[a%=ҚB"zh՞|08eQEɭI mFH[+xj; Y9=2%FYQV+5TIbضO̐6#EۅĜo&@M:͡6feM(b!5v Xg`*!{3+iHk,Ѱ VA,do{>GKYSzGjp?%5aMkĬ%ug7Yi\ u,՞K%g U\z]::[!D6+ &.xw5ƶÁz;xR<0i Xn(|NOJŽˮjbeK\L h#Q3G)Іe՗U?q[fbb@rɌԌD8Urk?"hfsc%7:xT_a0ET4v0SS©.`b.}bYU/a1, C1T^r$=!xVN.n]EkBAj$=KJip%JU"Wp(_cit[@;%ƍ  c@`A\qztA&P$PN(nA6^}w`Xv;a ]z30]}n]# %ܑzI7iOڧED}C3 i;_(K1A=:(6k8z8+b.Ҁ[WN=O_p\nA JLrwC x:߷rg_Njl.ooz r 0a" wINO?v ڂeIW0Pm.X=@:9"{D)jΆFMlq#m=zթ$V^1 1Gc݋a#8&cp8'*FJ8=ITq:Q"lNmٱ"AU99#ǴBBs_mA0!E8"CUh៳qPHO)Kd熘W3+jPĜ1IZ.]ZLH<}FmkĈ_k | HeXyNv=&Ck VXs֕:1Qc| @u\ XMp., D0Em4אz8YCg]= m=E[ =rNJHjU},C?`z E?ߪU,'"MS]^t9iië8ǰ{kb rpͶL0xYNwܽd1<° 㰄>O.!yN|G"eX-`|) Ǭbŕj I-tQ{V^a?Հ<^W0>5wTiB\C5Ű#\bM JZ9EzMXNrŁTfwMj2A,Ƕ4?+_m.{͝  7CXYbrqOD# ֻ=6a`|~ILTb!gVe>60Xئs/E|1.Α@beXLD_r. t_EM#DGVh{ך9I>Cj0_ulƪRWUSVx&Y~Q`AqRf U8}Wʟ1p[0-J7| ;`'8kQ9F,oFE)ﹽ|/lNڻj,}[C ۦR<@4@}Z +:AFPS|0eٛON|QVVbvQ :3cCHCBäpFn 99v8?ݼ-ζ$wOA@:C$,zۆCE6`WmJnC5-NFj`6Fɒ]ay9ގ< GhW?6/h戢&a@fRE}.Y8+SB* 0BBbxN{򓍺MAG2"$dkC'cp..[԰M uMqm:$|G(O$P0cۘ`/xE\9Z3JY Pwg 3B^/l^4a B]ל˹X.79ΊZ@JEƋX-4ênOh]t0z<8\x:d,&P˾}$hY.|c*CB# J|Lqiرnoﯹn'{`@ĭ3uq["P~HJ&t EeKLGc‘n^ф%fbxDDZMC/o 7=j]^mڊF'NY Η YT|*9}T#mѶVmYs;z TJd|LF02nBu]pf5)@@U'%֧?D9mhEkO{< TN!; m>fјi^阇K˙׫ n=N @՝J#3RxͲFpEzK,q# ? UQ_TaSW6d.~nw 3 Xdhl|4!E6MuʺD:ZKW$=zE6ne![i+TBsi%J @z6~ɠf\,M.zFP&Ol${`H} yhލNsFr_Zmehhu9|ReJJ)v. uyYvau%j:!C;O4E'+%#hr ǹDAڝa#tA'NԀ0GMWbf]J>0- As"֙AU(7kM6 =J̣ĵ/pTŇHr MXĺS_)xgB?etg31u>Q׬CQ)EM#`p}f?O+8KzT:F޼.uoxsq:E6Ut._ўPF,6@ݖGP{!?ԝ-a8P,Tbtӹ[):ɧsb#ȉJcK k ?Y+{ Hμj?"~ pJtGXCJ4&qs#YB 6A[d7ANwJ^K 5t]3cv̇b?B,s,V i240fl@y g( ԨKQ?v,z44tj:HYA=.r^DJPZ:QD,HKmG}]Ґ1&Z " +MZB +A}gC,ۮGy9 5+w N>a;c$"C jj`r]{3_$6pi4ЭͼϹZ5=݇S2 X s93RKyϾQs2H7Fgul$RA#Y;+IZ?KΝ;%_8:@ږ-&~#6a>Lb0Tġ<=Qo` uϐ+R\A .\a0i a5Q<ʌX8dQ'ʹl 8/OvcFu#W&{v"+g0ACd-=:ݼ tbiGzH1_HScoL8l/Dg @Q"R8*v0k$