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 5t, ]S HOL-Nominal-Examples:threads=4elapsed=532.313cpu=1869.824gc=185.480factor=3.517zXZִF! z/C]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$AԬᯖU.}D}2{JF-Y"R!7EĿ9 vd?oZ8b'WMjʤRobʝ;`#f!fO[owu^{eAxD2:_܊_E?6]PA8E&C\GkYVȸP+j6T]ϥ1\/iR$1]p= 5f<`͟Y35/n㑓QB۲+)aLJ(*{ YG [[qK!s*_ pBJox%@Ayp%g#m]%NO_!z(~"U2 ֵR6Òy5*k.D5rfۀaFN]) EmbFVcz/\. !cuC`;]'\ȎTԳF:'׺QCI`N1i !L&}p9$r\F$^[*P"_iOkph|*CxR=NgpE@y҇b%.5"AgҘ̜(Emvi4QMI>qsN1d .M/tk@Qpf9xOJNȹ FϹA+SqトzN <C1 3S?= o $now%CIX57^Qw/Bum9^qٽqYk/Rz=IPqӓ*w8@b{+۪g=VDTՂ8NWG4_TLq8qv]LS1& BRj%!hZWъw- P[EIBwpDw j.I[ŗ@W=?{T |:!n}ռ}fVmCFˇ0݃1eKL]h<+ȜihK- r:|Ұf*jmk}D֖U{% po+Yy`~\I\GȋTL0ȶ-XF&DԿ3q^l_<7_~HzD|+4XNMVvaw1=j6qbiEv" шW} 'pje21e6ma zd̳Vwđ8naI 2;pyTFsTI~5fhZGhR;zXDחŒ WSGt|-`B(Ư {*&UB=7lzn_2S{v0}%R8}E]y'sZo>&kӒM֓yZv|hdqi;?*e9+"q1W269XoԔ bUDZF AȟNC8ٟީJZ*4oy"fU%aSJW|  52Hq8y_M2ͯqĶ ,RT3p.7:;X B 38pum[lKO&t dnP(F(C&u_qˣ.+i̔JMdõ啐H`%sϠX}gM3Î"=FH9+BSIEnN" "%䐓QL:,rMDRZc9jcW[% wu81=XƇʊ6_].Jd3 

T)$#09kzm-FNY)LK+}OʎM ]^#za V/b;A4\)l(-uq&rM빣ӜW4!Mq>[37 M6?A*/!2{&lT6BVGʓ S?c=riޞ1nTey2MX9E{Uٶ&|)Y,zŭj|f18z ή0dx| +.r;Ч8FFusm.7oqĘ<c@ٗ4TRVK~WW%ѡ@c f8pFPF5fޗʲN ڡځdHJin&k/( 1Mn0œ]Iu+흉ccUaUcL+tqM\fF^QBs}Bp>b֏yҴ0'BNqMODMN&j,qF@cPoB7Sq,u ?J7đ8WCq/ڐhRo4JdHd$NBԕpz)rY‡_7jfΔ6c|,~H! %Lc(.`%c.MiHabʤHNتt5 H\D>0~K ϛ],ܪLWb,X ݅pn.EMPaA3Fƈo=QB5:,o1 5AvцhO٬QqCW $zx 5 HOL-Nominal-Examples  eu2l"e%lVmNK1^4L+(w`M5۲I=DyS<&*jvxS㰻zlyF^{{Hn!/ᙤinW%M7'lmD`zM98tҀOj~j OҲ U 0Go;[KOYJ`v#TkuG(XlvqyJp#~8.qIS?v'\*Gw>טnO'^EФ)I`-m(2!_H=E)Urn'x$ 0瘘+s ([jL$74I;|S) ZFuHvDu̧(Mּ!kģXwtb O) zpHZ:A'5f*M\=שQwB̾4(h7lVilPֲאVI<\2T︌z 4]mͶ%Е|u %amp?4+h)H?ѷظPP3j\?u{>1~]  +짢x`X'vLUVFytٜ =Oqe vqZ #;yHp"h Tp|+I/Ϗ|x_\MTh6|rXBuC{Eqk{\s<_OM\@ɾ͹5{G$9eM]W#TZlvyEoyZؔWB"dB&cJxR&B, !m灧KĪ-LC !b:?%Ar=}X QxEUQҾ8vInƋ hT4Felf*M)5 S΂HiM'tgIAAaճ KZuۖ+['UG$URPMu̢)*kjx|v[哊ɗ3xRb(ML7B.{ XV%&̑Zn*6kmڛ`\'%d (pq\~%[שmwL:d~X& VJ.LP1Z =~j*\vJUr!2Q.&y=~(k!3(]NM K],PՊ Ī^%=p:+m}C~ŸBjlguWY b|_&Pl l[Ymone p`xcn2$T?lLY մ[8" śލIO, ؞N/~T ڞW^N<1ۅ+nGw3P8(G\fȠWb CPNE3U$,d|4 ^Pi;T2 ~2*ȔH{u:E Qŏor~=ժP,򟵝޳Q|jb&w}S]x;=Q=;^?R\{&B}DI}WjMDЊI5╛U#lQnq*5 o`X/)I*F4tD7 p_ML[Gg&D_8TwS]}dHhQ9B ^x3+TgO}&A,*#b3zK{dAk5tk`U dy.K1dd[G?ة\sK+ylb|h@, wo$ZG#!'1m:9p|ۋ'[/o3t72]iMW1&^XNyIqMp[ԖW,}b{}&;dnN@e="2;=DbD+-uԓ%꫺Hخ_JAȗP)!+|4&1ƙH,B9[SFZvA }7f~k(18̔⸲+tu~"Bx뷉Zaʈ_r9+<ܢsdt=ՐQ+QQÀ (ՎPB4%vb&zUr B Gfj2L#vFlJLs~m:Dx6&Ejc৒$_cS>jtّ/L YD ӻd/JhV~Jɨ22- _*l v@DhY?q! Fyemv\52R`khE$`FU}-q.𣕃9pK+C9fJJ?T޹v){HfNL00c |l*U0SM'䦟H(:,V #{'剔hɢy.֞(3INE[+Oʙ=)=EYpa4YVv0D/:ste]7ժj|)7Q_( p":R//&xevӹUP(E9 B+p|̞]&g*l@r_-TS tqOeaQ Vg5uYa0rl'=6k~Dirbc/?? tWS߈48vhrl쿽 yba)X7!%v?] \3Nv{9rFo͇qTX1Hs뿩E(Kc7\wߨX,ރxfP^q>A F.nCͿq4nWlgvڂv+W!&m}@IO_ do ᆏPMTNOJMn\$;<j /$T)%o`P<l~5 ZK;U82P+޵J>̯22"< XkG!-V֬>Vx 8\2+<6LnYEM]hy&% |4I{êa haF+c%Y `(5Z d ql<TZkIX!K$zeNm]&XB59L$6N>0}Q D}*کA8RЎJ+d<"7|%%8ͩ癬`㖩PqAU4>;-M$<#OA`b efilmt2\`YcǼg #U:aƇ3n{Wl~djhIӚ͚;Czmk)fS2Zyc' qb"f~ 7U9Y76WNǾl.w(6M|f]/熌6ЭV+ѕQ#΍ƽDucdV~uߨOF,DMoq 6Ě7΄cj|8.\edߏ ?1Zm&97[JgoKAVVZ|iMP "/6WU e T8ӄ t^=tG܅fKӎWH_I[s7k #x!p@݀AAʒ)1iP-kFٮʅf%劬hרҊv? "3<|:r۱czBz=I]T*?~4W0 7SR<.=_oѥ-!l;ĪwVA/1΋`E\yH7ɛ;M ‰nw.GZ1wJ$.,-THE1cCE!1C0I;eܳSŁ BmbZGl@Yx,Kڝfy3C{i{VA砎JT7\gplXLZ3nְ{f^#Ot'r0ݹ&N@ %ֈ.>0Qi}a,붯'CJy. 6/&4W K90H.@H(Ǿ=RQ:B샞";M9R@NO)!A'{ XIy{0NeS^K40\1c_XkȐ*¦n5QEyO_Q;a3z*X"՜zƂm(c yG~g|*Ai؆D{_Dc1Q4{aR3s&Ioz1t鈏Qa򎿶9`tٽaT{ Q!>8+pPZ4wkN-rEڙr-97`4'z !CBe3v,q*i(7Vw1"  kTɛKn24yk;NtGP7X Yk}qÍ KF;U jw&t!UP5nտ{RiI?aWn"_Lu,˘5-[v%nDoUoWZX2؊-r4?5$; S,ߍ/k-+;HvtC֋ @@^ }I+G_AZ4.~QT$3р X2ܓ.ʿc/R5'/kW@<2{beR1esbw2g7cx5Nŧ+KUGC'&k};OS%e-L͊ct|PF3D\`>x:pۡ4V:&eaLm#3/oCu8=Y.,^>ԇ6$Cz 0ʭA$r!-k@/?bDT}O^x5n{; 7zv SO PΡIk]:%nSl垕~n=t;66:f#mFBލZ#%ȳң.kBi+\"2h|Lsb@Bq'3,s_:F!e6)Rugg P$T$yzModE6Q3D2"MWq+=F*"i#ˁmrDr,Z ?ũ!qtƌEA)zЛtfR͠\[xO%a+#I [G_grWnO͈b΍[ HvwDkq3h›Z[;KO ѽ|I/< ܽ{8RG1;Lw_VI3#Ḿn|4Y=|yEwȱTMk[GAIAN%l8#7t .{j/ѭ~TL* \kinaѣ9zLAƾ"Ɍ޾!Zمvl8G@@ev,Ys[u]- b*{ :\kq #Aisx@+JRxxj9N[%pڶKVDF&j w4LC,J-ѠDaX |BoްMKcY|s"ϾGԯ˛\/aZh=e4wf  +[=.^P2՞pq/MBK:6V LBU,l'z.n !r~2[ aV&Inf4#nbT83؎m? M~߿b%PJL-=y@}bǪ+x,Fh ,nj/Tܵ 0n6&U%'G4MO>/<Dit',CNInN֏bEur}fU?ydu?Pד(AɆұ&,aL.'Qxƕ'N9iLJ=A2*^ߢBzLxs-ƜRbR7UyX:ͶDWw\A?MOy i.AnOiQ^Zܹ:CJA@4OrxPpFUr٭t2"Qȯ+cn`iKGu©EQ /ؕVA?pr4.[q=g>gBǀALX?4H9%]^8m,v4 kxTբ& 3R0=]}B)м;*pdR?I{;UKy|DÄg, O?'_YvPJ?P& JΎHEc|qQOpc"q7zs4>?e3լo@t~a{ ֒Ƽ=%(Z`>CɈpZjlSPmRfV.(oSdGm˒SJV!lڋ?P[duX}6Pۗ6^mH\F4bO5d$<|bH!.>Z>au6Cev U,z/ɦQ. I|Q6Rśz{]dxnz*Iܮ|EAv?fD$(x 58UZIU6W NVKDtW@ْl+Uei2=ṽS/р ?=fG5͊D}VS䱿܅SG<7>i5B@Y)l/[6珈k:pANfIR'(MHRxh]"&JTQˋ= [hڃ@8Rg$x a u n Quֈ˼іi1zygLkMe/ 7Bf8麞OE$Rpxuhhy-@wAPdTsG!IUdDᲫ*EyYf\j=Zx*Fq{qx$ΉRQ>s Ybq9FT$qt?Ԧ/PӴɺaȈ1MzgԄO&8“f p0v}->y @eIfG\aO]lԌE}4TDsx#d<ڗ83[^3]m[Ld,!L_b2-cb&/1vI^GIb'nS JYHne5S:Ǜ|}%6r>Qof%Am]!9Lr:Nk*&rQ7fKك)^n:tKq>m?-W D>[aȪo#m; FyCυ&hUh U )}CC ; ;Χ1ҷ 26v %P H֊ ~Bnڜ~F83ak2;|5+i$_qL5Uϟ'Ci j%@W0Ly{c5W-}Iy(36Ԑh(Z8"ud5vDu`>DB[\ϖơku àߞL?JU}tr")j{_7!kTk0mq1M_"94 Re 7tt#}xIQ_U6ƻtlRQc_GT 'ۃ%9 qKKiPk []ڔTh2YV4|Qp'jU)cEM~wr]bTB|Gi[.-|^XVWnL+p# 6ؚ4瓿N̘௰N8ۍ1Δ+5y}>ppuk>(SpQᐦ*cmNoMVK~h}`8AkMip'< -M7{N#Dq\e6ѷH\8>mCWd\.̥Ӫtd64``\}jJ!L{JS8V7Yf̦l !+C9c ;1|@lkɠV\ ѧ4%-=;("7#|*W|j hL @̺EDvջz6 Ll3WO/{ΙtÓ̶Ňf|YO?axX/Wge5.y|s ,eOD(Eɋݎɶ{~T]n{4w%'=#ͼƖ[k!tsS Ȟ9|o=z{=c?z"ĵ x6_ [bkq߉#-F~yy  R?w: 9ǸMY+_}XYw'YBJCy5 7?U4g%وi{=pOB4^%GtVf#t{;SV=/HxSr84oz>dՒBJn\pzᝓTKIzcHssrBEUe6yW}> !Ky^ҝ)e(C]5~uZLN$ ?;ֽ|~N|.o:'O|Ɋ}dAD P71&kWjjJf8Ck5ɒmLNLGn^xWAhyV|iUvvOa?*upd~+KR&-X +$b"24wJ˙MI%} $L `IĦee]'ul>=Nk^PڄD9g1Mcͫ݉,+SM_@ 3Ν](,PM3M,b3%oY^r])UQ5˂ J˘'j^ [lJFr( V%[֬;ͩd]'͖0i vinWοAr齁+-U݊UYRu`+XF8GyKZcLG$^"2yIV>ym6P*/Kv܂SsƷ:\ E'wCnSb&1\?1%ԡovR=2 tOFB4[V rmv5St /*hs;&(dn|Cw{PJ7i8ɑ D)g̚"5GKH5W Dt?vlo}} RtelQh7bKp5=ց0cSy03IuIX=98]Nx-i|V+ (gXXx?3RzD;p`_ x>!fy'A] 5\݌JΞlcL 37.f8,fn{~">4ϛ@FsgVDegׇ^oCP vNhj;RDJfٛł]#,{Q].<>>#&?=g5rd:ĺ -񘋡/t`\g,Kϙt<. U/5B NY Z̞Ɣ"$KCt0%Zz^E{Q39 F|n܃* E줡KgQ߯U^ '._  iHt$D'7ZŎlWԷl8/=77*-Q/z +~ivZC8* h1ےÕ3 ٠3 T1"1#QT -DyŶȕ@k+\HE/Aǯ[,z8V[Q,C o{Xvbv1qs"9C㦵,6 ,f_ӡu6\탬FMQ!mϝm5:%d;V?@gSBAA'PX.]RŒ<5Z4s"ʶ9ֿKs`s>JxۜM&{pl-jfJAc%m}/2qg)p { qCēN{n<.Fd/x0tZ:)2hy$D&>3*,FcTx:ՕBENT>zHp2i EOc3aE&.?c n9s` Mɻ?/=&5p*11ݬe pL-pxhJx5P%夶6F}',aJ"Tҳxڽ'@hB@._OX0I#v!~q5( ؠU DB&^RMlV҆ٓ gi :fʤ-=&ucH^gLqfIR_nyNa"S|![bwiYb6O6K`u1Ͱv+k|)]U6h)tW7la3I~A6y +E$@y+gƆi*:d3DjVIHƪ3psQp90cKl¸aEJBވ]̳0$_3&2BC'SqUWOmA%x6Z;{#8*Q*]\dh<7 품ɄbVt9g~~*K7W F[λu$n?Щ]~ h5*3~1]ӥgF6j>pMibĦ3Y@ ػ> 1跸d}~$t+EJG;{ I|>S #9eJ15:ozRZGj0 `ƐL(M9EW;7T:m׵$ձ-Iמ4,W5ZUR^pգ"5=χy:uIhgWp귐ZaAF2~UFkkY`<)lB I.z#ȡ+W%Ѣ:fƬݽwṿ3ƭxCP,/C%HA^iDSHH^(Z- V/9ĽStܯND.MoT;fgqSέQvҞĻ(x#3ګQR><+î^4: "Sz1%Vo=\V=JOy6'Pte4r`d(wtpV<%|&!+нLwQL윢 Au,P:/xUYNs/6~'(zz t#ӳ';$eq(bERkt5՝M"ɎC/f579K>|9>a~4RBիa^ ,۶@%mDydF Ļs({sQ+|n54Tb>,V&E!6GU ƿL{a^ތAl)f#f>K8/uilS^tW-HK'n/=B\[Kq^V Xt0!î]7t:J 0f+$:5As6-ŐiɈ6 1+_mr1'~7*RD~Tj{PvfJW^3P #37Io2BEz\ؗVvF$/<% 5C S͘!-xcyn mjH6ANVTw**p>:VMhr̈ YFW -ʕH/wŭe.`*a}\>C iE9M;[ϯWS`"*D#ʄC T@?r_|o@?7)qh<¹DB\ F䲝"I.ks2݊F5j}ڄEFrĽGzSRJ5$Uiq0J?n}o**2,ȡ@ZA4ppM\c e&9 m(x}Kԛ)uF q -݁[bAε|>`-dwdTF9ۅnz nhzI;+(^x_hGemZSٱ& O^ _2ϣ]EX E1ABX*KsG{r6g^CrAj#$I }[)+Źw'MW+BO.;Fk[$ ̯ařߥ8bkG1,sTh&5&+#Uʦ]'cok3nf4:-^VB+kw k&@?y{nA?$V MbS!`ePpUɌ.2^Qa?~.BPY 7$IRQ ?º)辠#0"+?$#x Pl~~ILjP,(v(LףYȷP9Ix7쭺DV^fˡLH{5;%P;ƛ[td[|]/O}'_ϵa1 c7Nȸ-`cL5Oc 㚴-Cf+ ]XZ4p7; =OjIIllѨW{[D:kAF}`ϊ/dFo|f݉w.Glx>_z iWj```PU:p\msgP8XzFU?b;<mC4B[xS%ȓ[^hWZ)ƥPT5xWY o.bԾ#EEA?c0_8~&L ]P)E'45/n 54<4T1kIi&?pj edBLI){]PR4Hq6Za.ݟQır-NSF?Hj wCh *DmzG~Z#bY]_󼪡\sO6gA v d,"8 Nr|F[oAsss ,o {5éc~ ٌe4 b A}'/w3o`?H/3@RdTfqg;+GB.t~ܐ6TTWUEh<1m%q5"+|ǰ;E׼F"[0;XdRiwcrH5DfPfB{:Cr˙[D;^ &˗H!˝lG .=lM4iJs]j-SMkһ^tĀkWs~0#W/"**0\7o鑵EPbIC f#l'D,Ngp<pTИ0M zcT$a/l EWӂ ! 4fy~DL2$ I$} ։ƍXCCc"d4'Hd,`ʃ_f )(䑰pF.-8oj|km9b `TIx0b$(uÍƿ@oɿFs 3W@G=~ 4휻T&?\LY",&Α=qy&ecoߡE(jI"I|m%So <4=` O/$v&?3yh~gMaZc.A8q:u Â'ksq&7?+2c|Z>.6Rdӛs+k\+@`d^ÜUfbRg!dbU\1Ct6mu 9od_^V9NVp [ nJ Qeսc >5WȤrL-Vmwisxj_(褢R=Lm- hvw-eٞցY =%L#-lc}& HCCi?o+4 dj5qC_FRsRzONܸ%8$e7^GAcu=).= K@GH%Xu D:[Rbxz$-!TS.*DA b@]jg3]GaIa!3#:lZg jʶ>|0d8y=u? 1ӵlfC=I؎k+#2ُg9T@i-ףwFS@vbHDb8~ѱz s>KxCMGL*R 7ٶRvH·e|f#ϧ4yNu[ґaKFc W0.Cw!04z_O0$"iwg ƿ1=96 Onn}ms|TLPdݧ A+;OL0nKH6kkko(70p0?VhP^e1yу|nF>N,W)V4;}0xžmS?pQ{ZG)jt*Њd<7da+Jbc )bHЏhuO%$e-G\A~^w["ʼs GiQh#k!ȻmA7/;ІOh>hF.cv̽~L(/# B nUyB= Z_>X!*ɸ@U`U滞rfԹ//I-Zcl/-_[p<Q]XE[ַQ"Tz#q[B)Uvt 4Ї{۱yJ< Dxq4Q)U=h=xTB> g(/1=U=]E~ 7SZ=cv-0e>_Ha6Жzg!6@1͠7%U 6?X@eekrrtGueNe<ϫg~uFo)W;8N֌#FΥtHaK#ɷ-%QYOP:s4aϸ c|Lj2&V\(5uϞx"=a0O ώ|ֶ?=vsWGjCŽ|῾>uk^^S M 1ƫ<11; 5{CHL5~zM4[Pб|U$q&?_,`Qw0j9것+ATjbx4f5qKYdn!T)1@yj  :F'֢a ANnj&v~NJ#EEhLK.H a2T<(\wkFR"o4؎t@4vi1IvQ[Z([0k#.l H<X}~xf6bSɶh_%V h!Tl,waŴq޻Ϥ@mi8o$Lu,~i5gg`g4o &DItDFHC#T$۽3a褪dyLZIHJ%tB]! y D~p %.XezۢF6&L&Hf-SϻN}Y(ᅡ3jڐ.W>\*cw4x ["a|z ~=g?TNlz>y'ʺrr-'#&Y6vB؉ 0;Zs8PZ]60{#1;$qeI`m90Lk,; Pv?|eԬMdn*jU>.$DYpx ϊ0k|0 _"<9 F̗KjSZLdl1"v;J hC )%Rb}nd]EcvR sF7 <' !ʃG VhMtG QQmB?)X;U3$, ~ln6klMeQ`5NFz̃φ}|w;#0"*߶O0M;R֣Y#cv`D@Ǩ,bZ*/jeK~i58d ** 2=_X.@9J^kaYLqm241b^5wF#AzJ&'(">bDb u0$UTm _^h!HBi5fT:JLE'Zoۧb|A 4_@2ٌ(px;7~b2 LKW۞ S*ѕze.?ӖX;"leԎƔT*o?(|J-MMa\d N=?/IYu.}̤OOd-<6-SF3rmN,9V;'z8Cs +2B \LL<`cFB:Mv3z,h9M]7tNhBF3[E_&L9QvD PxBqKqf'Hn9UJ=[h11`z(_c}O~ū71 /RX 0Lg)$<7i&,cu)p'_g,){oصֻ?Sk8B~JG0l1 ďZ-q#@E@>~L;fNHbp6q #(RMBr(f[FJ"jDנ+MÎ~ޢb&Y\/No-VHr 6Asޟ#b5iryQV̄KI,nړ粊ҷXBUcp)N,'C' zؖZG.\Vb D+JmA ]⦟.WR$[J#|o nA c"Zl4}t5݇:v5ڴAs9eIxs瀈;e3 x|.C2H o48i}L~ML5#7d_p}#=G,8&>E\E1^Rrж$ʜ%@8ę~ ^I(c4XR榁օ|XL51 )'F);9wWn 1>Qr@am6wWb-r2_|0b$l]V9&DjcJdflI3̚pMCn9Tjg#^M, @cR82n::pFՈg tj/xj'rG׹{X)[p9С$&ng~lZW#ZQL۫bh2B~ݫjUPt϶hqzkMY) 3MdCe*Aas*($+< tC)ۖj_Oͦ+?#EbZܧ;MOQ%K|q>Uj3E M׶wK`*eX. ;*O2ֽ$@MRXǟjq@LKΓi?g1o9/~qgIgG9eҸ2(afo"TaSF3wnDhSG<[e[=Ӛ ?{ _.5lt zqنb6Ìt[ )zgx("(iKF;aV$fz8k7|eXcVҡdৡw-&+jUc ڑbM<οew>ԮQbGnX093El*g2>G Q0 0iUjSJ ^1O>Ab>T߃ bsJ F0?$A}5փw 2aNT0Vv@8ƇjeC j ?7yԫʜ?alSxEU?P DS "͎ϕ 3hbJjP0BCdG)a= CQ-P[Ҍ@ٵGH9"ȷUA?Ww )~&RyC#]˽Qp R+쪠J v5b*A{~LQo/4f ݲݙ! nm5xn5YzI՜vC4ԒM7=-~BUcan-2@!1X'OSȿkfYWzPcE畧~iskwM*G\%}hZssO_m{[kSξz ddeїLv[cBUsMOQT$UA q[=rcD.yIzOd/Zl@<'8O2;LUMIA)[+eO3]Êu(x5rT^WyFԃX)/D{s$nBS*Q B]Dp&s~JEy,PEhhg Q=gE.9s S:psv}UmR"|<&%$GDφK\剤hNFSLU {0*XF-`fi$Bv֑~_AyeoR*ױ0R,(89mG r @/B3'Tzy5$Nͨo4 { y\=^kǑ!Z5F{aCUJBcp2BD]] R]w~8AZ1DI0:Uf7Jn0A_,b!\ lG-"c=UO',xƋ^ hh %]1K-Ro' KQ;S v0߉ˉK %wI E^ŽlR~ w (##ZBpmE[N:i-gN#᫥6I ]YMZԵu,/ ~JncQFr;uaJC__h]zmDoL׭S98B,;L3=MǙ׾ pBL^n|}I,U>82ډCr.FeO62Fs!^Qy-o$[9FZ86`+AU&,{J']QtS])ϫ|LI|܉w\dz[`EZ?tzkBC; ̃ݓvr#2TsnL42/"^vG8t OqnpKSv tTqX>AD=$ir4귤׫(J:hI?HLi=+&Yƍ@ߵI_лB:pS'%Zhyj,˒B, YxRŧ5 ,Jp}m;?5=% ٷ|Ub:M#zXj쩀5tZ?afY]@*ׅ0 7Cұpz nO"h )=)+-AgģMIp-`]u/}Pz'pʣ`tN"W. Nof5u/o ?< qo|%9ົV Vf$uM*my!+FFߝ>/gyxbj[]_wI1uRP szA1(MM{4]QB{F油bZ9b\m & |e3.Ӹ}_sVBeP/z|"#]^Ǹݵ'Xub[v9럳ƺεd6ܷymE?WJs:f!%Z9|f/hʔUĵ;KrnGvbF~=4LI%գbCWUuӟa(˹+IU>S;Sv[ ^.X.,LY/ oѯa v0{*"GB<*eamzWo l=`;<4.ÉnGau3E"6{٦(y*w;kh~]S>Y=IBC`hyT M2 ~yTTGtu2X?MKq`MΛb؆"kJ2-vZ6J4l0k/KӞPзK)Uqb,}R\uS<<  4: D%,Lֻ+<ɐlv={dtu <2@u3xv4:Jw|{XF{ Y[&"-m~q>wˈ%1h곟*x量 0Cv9 SHnY"s,wM C{tӵ]]8,K&u@ haѲ;EN#cAmV*kBCOy3zހQ^+5T՛NSz"~yXv`%elx~EP9~Me90|7׼H8C@ A {*VAf iR_p0%TM1+>)k&*<'_tiΣh}?jGfp!#U\W бa'Rq'Kd i=u`=q$pы(=N)A?*,K>L3UfHɍ  akv龜Ҙ5yOC;eF$Y ߂M-V^Iyǵ>;` kNJm 95*MwwŮynR1Ɂtu_VũGSavX[F"b|h,0 : uXHe/\́?B*G`1bdP 6/}R cWYn'I\l?7x+}k ,'Ѱ JHeS}W0i'^~9=08tg[G͖p=9bs[5Ycϫww DLaz_\-ehOsolv r0K{G[C J纋|y` ׃= _F&M+]_7J'~J["/Z oKi*WK[s"\SSy5p@QccP \ϙT1dha4?VV0&rKA `Rp\=m ɅW2]3@Qqt(0VAHsάyp${2 rg> I(u&4`]$v{6]5^2(hȇ\~W518{*ci) IwfCT.V,n`9 B=ͪ`:٨?tLX7 y"3'Ef'T\X}1o\i͔'- -"VNiPV;z$EvHzP6(ُg #G]5ZhZ)䲕a'L Aȸh 4ː.onm謇Uk[2Udݮrk=g1%uz玮H'nUh;8q )p<\;AxVjm̠ܠ:_&kW 0}G:5.*W=  TZx#]p`p-1Yn0RRd`d%(Ay1P!{DLͣ'Cd~d'&$4|J ~X4DVToyd{R[UK҅~3eY3vc&LlbvxϾD(Ym? y#Vh3OwX^tn @C'A9Wk|]($q5ein#/26B dr\NsOfl,4nDr$7(dY*׸Ɣ/ `֡Jlz$db *{!ٵ^pqC8[i룊Lv7Ydٜ m3^+Z)4:|H)weNf{;{?PhoGz,jx{'N?5h'1-z +P ܘkYQ:^-y˖{)ܿ!#n"۾8n@;[gpc#^s6nEY}Pj1@qVq/=l92ߜq|V3CRqieظlJHn/.'oA!2k2P2%g X'B0=SrNPz.+z.SLވɘ>t?+` [zN1^1v~G ~4`J,{Ws- 6㙨Yp _y؛Dg$Uw#!,̣zAe9>DKeDf`ԥz؜7 Åeǟ0%pl-Xy\!qI5$&#*g.LcL,dv4 rQaY3#݁=Z'E:xm^(הXϴkkDf:),G|TMTbkAS'MBwc!׌O 'y>M xkdޔ`p"m_iaܲNaTT^Kx\3< ~ ۣOh>Cϯ/Ty$`]Ǖ?{4leɪTVczÄn)Ƨ`&ۜjX+/4m )HaOնI! ksE+ih\aFU>*q ~|'V 9VY'*M94Ē+D$ T p Һ$ lJkQu_ܞ8ӣ,Şb-Dg%UrIpQGƨ' CxM=r6+acinIotɶ &e9'I/~1}*NOgN@|dA< ía6W4?"qq kQo6BLs W*/˛m{W,qw-wԛPWxrD"t*W_BO(gJ0{Un+e5AX`)lGY_ [1ɢb ?9;mL6D&j,pLCO"ۈ8~ 7g> HVWM~3|Ol-#MchMOJr?hƃ< &֏{1GBRLOl ) gZ#^_H\ԓƁs-%2wOYKI~Q| ~d?rKa)HX'['TW*kg0q+59] yxb`!,4UdU*9BOp(JmbbןbDTX@+ն3 lgըhx֋CKKj3EhG>,48LZ vgӵNLIfbȽ<U^R)ܳ/M=:?#U ko{ELeY I"ve Y/7?=+>T0ȼ y!tJM%w.r5vASXs;h:W`MW ȯd|R4ܫחc:Hnfg)ڜ\e.sM,'` tY R1Sp|,+䡗~@F((d3ӯZnܻɷ`C ,|ٖfDt FO%X. r4$>hot="ltd0{{.5ˏɅfl)t7@x U,$lP>7{?z8/UTeR\n 1~Z^ճ(\А6x#?s D97cr8&Z`*!f$S2o|XY_I O*3nLULWàM Tw]bXkZil<}ˋ'#9q'5g=+cnWZx^9Ǎة z L+?M~{!wwCl6gd_/f2Ks $Tkj+N⒫vJM6?j] (s;u!nZ&^[/6WɠÇMl tg@."ȎiѸIZyތ>%1d3wt$ EL\?UkG g+&5-`XF~u08q,"5.FU% 0Re?Ѥf`R3~5yJk-:҉?ksoW,zLMm5D,?T5Jb=|duDŽRk|@iYngp}'cM$"Mh?թI %'I]2߫a>k4x@;5:Unտ?A@Ӷ ;Ϧ=wJQef, A-6;[&Tfm]B+MjjN1H[q$.\V6!tA"#wu>(8.ScQ!j&'7ک<Хfb̨0*ՐGGmؼ~0rצ %V&EH8wpl5YԝX,7cNmRfm̌ڿCFb}^*hܻ?2[ 2+ l>\IPOsqA!,VE:՛S6qW;:K>G&3[(XkBnh{?1uL4"jW~:0v]ȊP&֛u_UةB'[O Hϔܚغ`=#,n$#KыLP^[8Sv1U$"͚M|BMz1~AF [%=' aX:=5Pem;tu!07rKƶaAbb iK'9iFƙ$vK*-'BQ¨0L$J%`;a^D7$F8K5IѬtDD=K`v͸ Ʒ0Bo ߡ$6fM8Q{uغ v%V˺#C,;GJǂAwtLO1 HLptn..0"a9xbwq3ձNBuK-6y^5ICF8r m: HnW*PW_ ]rP (~!"cXoy[uUY鑇?٧O alLͯ6Zȼ_Kq;=;=u_һ p"y1 |W- @dUrzCpIX9,`@&U~.9QXל+ Xf1zFk^)Ծl"(U54Ap3 ,T;̦ɝ$nJ,_$~y'%6tucw]z0Crco԰!q7p8;2yxB9"HX'?pCOzQũ\>S(s X"<.ťU1ʘe,*)1H=0,?/#CkHV! +q4JHo ݿ.^w9]̴,ƣvD-ڄNJ.9 Ųynv|YSm]^xK1.QwĤwךk&!&U~Piĸ4pdt)ۗjU}며Y+aMAMZOz/S e0فQWKE=+$FX#X``ˬ5+YGEr糎%o 1PGvk zK!kz%Jd`ҶAǖo!(8wt f9؏u{w*vS`>op2(?뜒rU_aNp1I/I;ȩ?S7leI?H/P\4|#~۞|%#D^={ᄨUU`XΉ/vT\OJ8_T;Oˍ!$GVd<dM*4C(?QHN쉵&r en:=g3Db#ԗ:ٰJR0V}[aW-(hwo1(YϬ` 7DjbߢIav&1dͫ ߬$>uW.0:Q^m".]. B;}*v4v@[ߑ N6J .wbkM)xh*Bٓ` h=ºS Oj5D-u~Z͟:~B'-N8D fbr <| iO|O !|;`Ȫ,#cll/#2jvSqĖ&|v 6CWP8kgI4(U J̿ܔS0E>fB(wōY Sԕ]^~G"N֊pI+d{ah:$bU/-~+}ݬq9HS'%A𰍶='32vtelZgg51u0^hlGI{O>c_$LkϦ=>Hq)t+XY\qf)m(kӪ=(@"ޝLZ]1(;˜ѾFȵ]xIb?oB4-(d{$aJҖ]ȏ=[UQ^i04}h>:EZZ1-EIAOk+v+܇ W!,n!{RDE'X`L36\HXKI5zĦ 352f eFʬ@`ox/%y@`7J&\h5+h匘GA57X >Ku}hk"/W5YkE8R N+R b7N@ćхP¼=Gf =iOvv@^fl V0k[hUu?S7/,L^{/n/ik}VX[aT';8"m[<\D&< Y1,Vp_f+ gPmH `{Cn-3_{d%&~xh=3:isϲpm%zo ȩ3 \$[uf%bL<)c_sYW+VPԛF3e=۝QxƷ떔 0}W'd2},RXom1(Z . -c$ŠŖ6M|+3BUB(ŘjeFdiM #k2rÛ+NhLtg ɘGK圏0'^#anGVBmDBy9Srq&_fxDh&lgw&IL۷+Ȫs60F*!ZR2.*Ŕ@iO5ةk@IiĤ!lk|>Jqڞj}tEOkX슛o3Kc6a`uI󀁓_LsR+h0 띈/jEd#n?pW=t[Ջ-|n^C]CV=m216ЭVe(s3а[:Q0E+}uq-)`6Ösf5wihK1ɿ)7͛z#AyƢҊKjs3RZ _a+GW]mQ-[QSm;*ɋ$bxq̘#&r{M^ Yg]OPdӽΓGNoT*zpɫ3m;UIl2xIyzNPк!^bUx,H)ן¾* I=\ -J1]ⵕ1s+{C`~vXfWZr{A2/` v _;p3 iw"aOUM;hs^_H28S,?M/!+ׄ',sF,`5u{Ȁ8qKgO-`cjEӨ$D"H>FP/U us?,l^ ,5g'TSL~3 f4v sr30.JI;>E{jG|CY7ƅpz8/ m!K|$míg8|8pawu8 XjYBͪϣp|^ &\(LC`&ՙ+xnr˽Y>*^Lj:$__NIyWnMj;pl ,Md!˛s9!/:8Xs*>=&r] 'D:(" n P&@5x` $~Ws  ` 7>@?ITް+H rc(@Aw~ $vn`J s*r%&Tiں_kl[b{^rk |x1%S~Os\%N2A3{{7?QTT~4o9?ge_}<1x{I/ 􈃂x}-橼戶g^s-N]<eD0Ãn8 h2 m 'j5,TRlYܮ2h-B mH} dE:[> Y$ TXa1VZfroLoo;J2M@ "D.RI \m@?9W{C6Ϗ۵J-/oO%-c1 XK3g~>dcׇ&aLN|`wȲk}e^k0TJGF yc<hE+jv֩HeIvߍc3 ~z7DPNUwɥ3f& ,#&#n${u͘*U쇧x4Oo4jtJ p_ e 2+g|04X-ʰ=l |,"wzjmH`7\S@zZ\{hW朗%OUܞJvO]^o2tS7.\oPDMBV3`^o&uh]=Ǝ?a(A=*;V'M"O{}Lfx=Xxԁ>|s3\1s^IZL' wuT-N ėn5gs?^s7F3,܃r_~d*BҤB܆;m=: va d1/xN3Cj5_ebTEtmo?"oCpk(ŖqUt_:f?@Sݏ(+ Z`Hԁgk[4YJB4n 5@/Χu:;.1|3Vd A=/7;(yRtq&+L|EྼyKrgGC#΄LC5lGc鱽] BЙd[>" M5+'q[G% AN1vHt= YHQ^VK+~Ʋ*n&Vѿp|.QMTa#mic]*HELLwyeQycz4x'HT |:ۃ KFwǡs㹎Cc͢?;HLr$"+ű*צ%x0h4KB]ʛ3T2! za = s{3{NȒR99f֭Wkp)tKmqJS| l8:/̐c<YKs0!5=_*˃_2n~.  r˼-j*NZ\ N1phY2 Pp`0;Fvpm[n3$O³?o\߇ +E+Us PL SxVsM q E\Bdp?qҞ?ϩq%MqKMri'D%r>"ӒQ){{փ>ՄZ`:;mqUkr1}9Z?FH ։Q7VmxޤMrCxzC*V<7HrAv~F+U9Oc#Dw5^!|;xڇ$S\5`hl(=;"MCVu*PHPY=E0Z7;vh*W*}/ej5s:v:KWO2;zy=ypIx.oh@`~EI[M7WR!`n5?B*Vx# d>&J*a-՚$I]yϖ1N¤ L~r.+%Q6TdY_ U`AÒp-cd+NJu>-vVf:(UZHye~KY[o/A5H/nu\,Ekx{mJ+3دqVB]fP5O\RaTwS18Ձ+/bD늄5&ʣNU$%&$(7׸lGb tkլ$hB:mDg}٥ӊCu\В+cISA=3~FeO )OEӒRЬh \FFq*!nByGMemSB+$G?4biPO,( TL]3|"??zF[f +9'_6c{{>(uNhǰn_Co  ?-;ŞB"ɩY`^L;a,$OVIT-dR'8h_z뀞qlj,!Yt&&1wB@=Cih, emԡG )c:mUFSv=D8l6XICe! ?sh ^הsi)yuY4b>5](JCߵ 6Jnnxh $xDJ\q_la`"$6~lPF (NZ`5'ßo35,}$tV4J958v!Dmǜ &A5:U2O+8~cL,:2vF3vܰTYNf_IϝJHKCG93c/dLw}>MJw-Fw]/67$kR%| #ǃ˱ot!2)ywrWUũ#-̽Qκ4fz[c^9*/)oNK.2QLMBb01t![e7pYua>ڜ04i}eg #Xa=&!'-h.Pb[-" /4 +gYZ1a8a8f4c08eaf4242fbe4a4f32f22bbafe494104c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 3cefdd7d5b19f94d51276ec3f97d3476889c1eec