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 ::5|$D ]S HOL-Nominal-Examples:threads=2elapsed=681.230cpu=1235.272gc=120.356factor=1.817zXZִF! }]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FkgӓPmн>FB[r{76pE߆QеꘔռROK@rwp22Xr0O,G̶f G%NΑlnʊo8OBʖ?5D|k꘼=X";XslrډYbFE9pytpVQ;RY25\9=4FfU~~Ѵdzb"KjۋkNz4ϠL)ܟ^;~tD_$f=a,jzA0HiwmM{٠unjDmJulXI_k#^6[6lủGIBz?]at3scymMK BR$”o.n_F!ޖ|zT (J8 [K]9ү"Pi՛!ke Jrc%Y9(6C\ӛ#V:Y; Vxu`6>D5Ir0d&6{n\9;y'jo.|3-o^ m=RdAB,YoȩaB Ri :Z kOi$kiթI)fلV'5vV/V{ו3I& ֦{-^rر, Ruة-6t1kENgA}ֻRK7^œNl%La).T9wckk.M3 pU/̊I\XLTߴ6*,-eq#37kǣ i9q0aNW0 Y>4˖Lj_H^O {@:CI]VJnuh*KTuR`#wRr,A4D{u~E OvJ7?APCFmq \CExDسdOc7&Yh-ɜ ,3WmC4T"ɧwXxՉ1)[Bk*ZarW<*Sa{:/p&|q@#$Ke-9y  72c躻~? R  yKc"mrQ\Q-&.z ΄ϟ ZWGN H [AFw2;I~^]RAlk$s^ UnMv7*g\/L& Y^C4G,g &hs5LRoNqg]ϿٟON2RtzeAm,ڙ?0WE@ZƞH$Χ[!~JQ]~JU].:cF';6DZ 1ϖyбA#T"ps5.?4?rPK2EtŜ Ie҉NL;"nt~LtPl>TӵHSx}_^|!Vs&j.M ]Pej((4pDKxbӥ2uY9{"e2}=OƻH8ܽX=45 '0Kiѓz2w \- b x-<^Z@I٠L]=+yQe Ep닕X S%[櫍QR*}nn=gEtr̬w'==/͈rz3LiIFx(%svJՒBX76nv'MKkh:B6gZK%yyh=xzH^*q7uJϙ́<|7#ZXЋ&a;`v@%o#%5׿}8>/Df{ʘxڲRa|`D+zdӗ\[/2L2Z/𚯏/ew"8/2ٖME:L4LKxu XirWg7L ]1_ TPGYz_}O1-V({ϗ-D=vzq0=DY R /M,Н_t!rYoCC2awm|O򋀹s]s`0K)h1}5p8-z cSF bŁsl3*Z7^]m> >K9mKYDsMTQO Em,QX,Z*cZ!|2}k JJ^&\Mgy~팘*l[YಥjǍDyBLΈ + Xk=l/YdqOV0 >8X%>4䒌N2WD0H :s:ة*r:l(Sx$&*)?7MTɗl,ڢ[}Rv:#&˽`<9ɬD ;c^k<9| @oIl a={d_+paQ ~ }Pci/b|-&Ҁ\Vy wUv[g9x}嬾a.+65=&5^Rͮڮ}8s`08K\E q [@MmY$PZq5=a`^Pd}]^>?jDIFD( }dְIG}2;J-g+JV\1k-kDGʼnR%.b(i'Zdbn*J LN^59?0ܥi夌52F@VN8 5 HOL-Nominal-Examplesd9ArlE*agOB?K?J4Okߑ'!띵~&.Jv%3 MvbUX  5oG.=dLЎKbe.#؄#Ql\&a`JH*e,.̢; P^tUً-,-6(7,+$Cڜnȓ %vKUgWzp7A lRE8!& \-Z!nI PJ\0mCDJi/.9CB;s:]bBS7w#[u13W@'0Z(<@~Q^t4-3ŀ۷mPO-a ̗/٤q >WjZ9;l ]2aE}Z.xH$ZBx_yQڴ^ }6AΛQ9*CE]=QLjr?!d%uO#F#etu*6`LGJn*B㜕HPĖh$oSt/Pê^CE5)b;~}J<-g&ߔ( E@WJ/Vq `oׄU|=o2ȳ`[HASn)\d"K0^@ .ͥ%F;5kVcI]8C-'n\u:K(F喩6HK,W̑OJ3DsbTocpiC d@6 o$U ms[!p\=H M#W<:kˠg׀ѠfI.dѩK:{gf4lEfvUx.uURt,+xUCŁ>_Q lh{{{(:T _jJ p2^Pq 0Жc7K2?{J*hg-y> =d@3j >Ax+d}vQ`~~WxW/rOɨbkb~\iS9kCPPWZh꡶fo5Y5B\q疮닦}two4`Șe 3od8D($G.|zwI˿ = zge vmnRmu3h;CP %2j.!lN W>-L,օҌ0;5 ]6dmYdj]ܘک+84Ol@e<='gX l JXpG9DYQ%s-IBST$ t!J: U=zc$pr\9==sOH߼O3\͏3ArыZڥw^ՃXte_DP۲lx9f/}#*`!(0['lgb7,(%yɂQ׫xujT_,nvoPs%lHmsfGZ3 760̤Xm4̆Eys 3Hۨx3x!N0YFj#R674MX7%5A1nXXƋZ_r$9PB @aR2:H++K_Ȣ-6~{29yIJ6Ţs8-pMu[h3$0 詌.fѺ [nOJ(/ڦp'f]EȖÆ6Mp+dZ4 w%]Vx>fYݸ r(8][V w,1&A6yz̙ v)OkڬL>O,H `DB>8XNygaqmF.N9|q_2?06ʕ̒`&y_b9^P-{R8f~Q3iHzĔe\=}P;J2n 4^GNB1XRzjhZma1&B!TP mdG|PtֿvD㭍2v6c8:oE0,A4& ZY{BOz(b',H =]9_dkLUu|uw|%7 JKx2u(HS539%wd) ?fIrH^%сOOZ3q\U Be`-* (dcj|XAM@&HiLi)w5JW S,:bZ̙G|EpXp jg H?(LtvAZK_U4YJz a4 R>#^B.Y<ۗjnxP Փ h Q|M|[^nD!>liaҲyfͶYbj$6ۏ# mI9 Y KѳpFA[@6l9߾&@j,TNX}ϝY<o!PIl<uֹ֦Brǭh ^Od,ՍWbw[X쵩- QC/e)mXukx=zgZeoNk$_Y:/ցͱ q ]/F&W15I˜&=h+:j|,gl5``Z}lm %Oܺ?"9FoYc(3[9ciYt؋DJp!8:h3j.$=+hF`ydysL0߹#:ol~7 |{<`FY:=(Obr.<@KV@M”"Y-H] &Í2d#FEwoztDmuǩc ]3ߣIr'JY#+ 2C9F3@{0G(X[M:#c/a! UX<--rRsLc}볞:]G} I~{RfI1zx=Ѷ!÷#+=v.VgYZ7zXZִF! d ]ŗXiɟ1ʹ l93攀Lx3 aФ,CQj5{};q!ǶzYv >VGdtuCBKݪaJ<7mSpӛhnqQSR~/09Xt϶&GyT}c8h&npJ4h|Nq3(;H9/[HH@{#@l9-ˑge~vX-_*Y$;<1mԀm+;4=ڼ8 t;8zbkM[gёÍhiSmsiH' |'PvܗEx^02}AƆ$#±xp]+ZA6}(gYZ7zXZִF! 뽢]ŗXi%9(Pς(OMd4 ny _~#'/@Нr*ވZ)^4%P68yGkKקeB5%vҾa323伏m.AsGa,qgR5㞕i.sC6FبSaex*nVjϷ@i+#&4pMSuτ߈Wx+Ysy{rxj KXem"01 ٦uyn: E~ h`tC4e*jicFTi"x-wr VcH0" e"W%iPh[sC_<@NLM̤>slEhӚ9A&XY` cQ1x)D.w@2Xl2U2 j.}Ʋ/"ɽ%h˷qMmmOaR0)]'B9 o0"u]vˆcH($FzMgV.cJ4 GoܠY2Jԧ<]̛eJ1-7SZZ%n4vp qjn~ɿaۍяE^;#JU+Z@. B59䁃8UӸ4˥12m*րq/1_\}xzw\9 $N\'gTv#BF6 ^sܧxB:ryz:GUXz$ $F/:.! l @ĿSɠ06,餾ɹYў>YX ooz=VhedEq-8-Y@(47fFYuPev.d4tӦ{æ'<^M,_Q8Bu(qO pzTgjT `o[/,_!A_fsq{[cVO 1"acVbuW;W? /^@ٔ(*` f6Ӱņ, -Ɋ\Md+fX%b]_dz 07^{&b8yL:U!p ABAgKBiلUX|McZm)S"ڑ%jb)͍lЦMIV[MF_:,^k7k钷XȇVjj|m򵿭 ;(`FAe3f$|dp\dQMA]1b{≧otg?:7ĮRET_]`s$ŭoApsC x|=+ƢH)&Ɋ?S &/n ;|2b0 jpr3ʴ^}^ piF%`jvn2ϯ{0Ǔݑ8rFuʉz4'TpiJWX \O!( oGus27/I5ؗX]Bg8 !g2IhB-[%#`N.A c䧆 v \Zn)2~Z.7u6;}ȎY[~1h~X;[ȜHrX bBoBo7#4ogdYNָ^mN^MJ\*ctCjQj*ٟ#4t0-8xշ*d>'xY`C򧝚Ҧj!DwI]y_z(=f7IpOEPRJ4=M4 7d.wj+&DÁIp0t!J4ⅽbͳ JR謶i(cۤЬ9 g6 g# ;ҹ[G:1s^ (uDVup2"H D+W`Q~_taK:Gʛaˈ!CvnCe i$]?4c3<$k5Ac~Mʎ )]K&[--`DQX]Pn&;Z|k=݃+3T$ѓ?fp J>>m,ڱ_4֘pL@s8 '? nܨLrPvtYs)JXw<_Z5io\7$ηN6e c0rYNVً'o,{eIm:oWS>=.Amɼh1(gt?hU)YV{-0$گm-[LelrЁq5`Q V10%E=盩RI;F_s8`V&8it:G'5 %+}^"j^5J\ Aݰ$ҍ{"@ę$lԛy59U3$ PAF%#ƘwLEɑvG+E{uߓJ_5,TyEMU~ 2I (3l߰Q-:|k݂FAX)Z{lk2rd݄"k:muj5 Sd _dƋmĝCς _qT#P!fxȠSO@uUfCSsHSI!6Ug+IU".8#X|(j#sv5}Oɔ.09å-y1rko]]%M@ 30aW N5ռg|㞍~T{aJ+G/WO;!>`+)K dlLv|BuYV*| bm=m~ru-]n-v$`dʔD.5l,zjybà*~+b!% (5A\cj놭V$>x@R <}cTV5Z|mcBI2n(hEPu 0~A=uVœzȪxJ̡^J^$A-whD.ܿ !(Pyɔk0$YiI'~Ǝ@J^ADP}:*h[g%g f̡ҙ_=$h5\U%bHYb,ёڭ)n-m:ZJcu?}Saa(1B-mcJ@O">ͽj\K-]I=鳲=BpDQyHrՄI6i,cI!F92/ϿS0}Ҭ3nm *׮ӌ(})b+{؞~ Me%K2vzÅQsRܨ'b%\}% .xy .o} ]q}$X,{5&huѠєR{4T]ꅁ8ՍKo$,~nД0?V/-w ؘGeN -S-_T_gnO>H$J~/3_ 9Z/-L˸C8/(a iV)S뱴K_rF'Q߼Wd?Q˜vV,J<#ȏߦE jwC9iiq2"=ZHhGzҒ_͋38r&ЌN$;ID :zC7=\PjN挠3W3ff$a;-z,B{ُ[1yy4[*גmZ8U'yU{Ku1GՁHi<.m2$CһLD'Y`KgLR*[q]ՄfZPњ):K<~b )[ZgbC~"Hk\0e֩bQ-d_*K%p~!>,J b8Aĺ۫ܔ5yTn{!SHn\: 3@ 7,W4Sܼl r^㖲WaxcRZ_ gESB&?ڍ$yHxFkDU:`T*RD9IhèZt|]^¬٧Y}1? ẽS $?Xڋ7¯ nN$$ZkOݣ(k%ji.>kC!W0=_I.\7 FXi ifݎsR Gh iZ}-fP:jţ5C w'*\3KBA%fp+C{"vi]c]ȏ7E|`NXgu>Ρ ITy1H(^{#I,1qq>:՟JE'#?v=w3ݐ HEE!F*axbl!4.Gj!^uj`)T[ b\EY5C/C"E B+,J_6`E횻) SGBK1;wOcnǠ46Jr.Azm܈?kzZlؑy@k4^g<VxJW@v;[r: {.jʅlB_bow.<qX]g#zs(]%sIP#?W83gZµ]) a$L]؆̐—wEi> 'o.Hw^VxpMt5AϪޮ8ᐈvL!ň_a:=-,U!!2~d:w{/~J, +w:_\ 8B[r{nŊ̒3غ--{ E?8swJa _(L&ծ >RWyi ),}Z+DO gSdMU{wiQ Ӹn7KϹ\ўe+h?RVr@n==,mgKZǙiG6g~m:UiN Օk)-VHS,0mZ"JҾU*g02eZĞb+- hwrueG 4_?[^E)#P \S>QUÔOHNzҞlq>q\k_9Fkcv \cn~vEJ^\ =h Y\0rjMdoP \wbe/iJo5@'ons8S%=޽~Ue˪ļb:HP>W(`tdx mYPWhexąs{zis#O=b3cOӁzD~VOF xL쓒w_$' "rF !eZo$>˽O!w/$'0fN@*PAm~wXhv!dpNv6u.oFS¹(}ܭyD{bQQ%z3!U YEoc5k@SvPT3W(7qH+L+$dBJlF?UiFԵu JĒ?fF–ۯ*~-t7H]0Y 0 >yVblGVV2]l5ؒ5$w+E S="KY$Fa ۼ5j7-1N"\NlGNO=z}\V}''Ml /f@Qe 52m ( ^K,x[}P-9%8tkaK=OD"9mǁ8&z fȮkZ!PP :v!6;LۄuQPaxRsQkNzf;\,{ݍa%=UKIm+Tr("V&DjEHҐlJ= 1:u%RgBiŸ=Gjv#cc5ERs%;xU_)Dߥs /(wXQȕ0x(=bb :%'˓hG:[@f+,9۔b,%}B O$w\p Y} 3x{&n0%q%׻{S@q+YߜAM̓c8UIߌU; q8$$KF`eo|^B5阭ߖ/!N dDOw>D:{[<';Oܳ ":8 DڴSlۺox{Q}ydM%hmYgMMiOZ,p(0R3PCT|'@nM|ڹ6qDp}"^XqdJӖϵ`ej}1L h8ڰ9Xp06_^eڜ>tKR@j) WZd`îLj|nsl/2Kg nRSC3ǁ̧͵LO.dU y ğ+IZ-rەp)vLnhV_7^x'۰C#ګi1X٣{ik>IWeHE=qS8*Fҷ=NĮCdfBbچnډ(O 0|rrLa?4xoҸ-'kTk@T_jF& d?xO.̌J׮AKߥ#$-Mul<1G~6 c[t(n$My1Xlk&HO:-0x{AJ$m^!=ks6;eA,A|M`B w@:+y8u]n1UKۨdˋIefd =N6He>iT\\y0w; ǷDƄ( miQG|].:ϴ Bv>z2]) :YXF,c.yZӪq $l> L[W~#ǯGI .F#mt:&Yݥ+t6zFۿ:-hв.RP!. -:Y\RaFrZ}WO}NK*L/우6%V ]2@LpD3]D&32t' (8_Z:*gB]O]xt]k잂+ \l/8\?3$y@S0pAC 3p)1~/io6~*c 5E㊙ & RloTmdJzf/kD 95]eC߯Za6:mrJmGeN"C9*Wp[i7<hcłimGdK)%/p\ui]+^$b8>/(2)._xBbw9i lĚTcұĘҦ=͘{ym*.qVW %L! 4OPgOuVjndi=|3e:{lN \(㡾@ƙN^Fb//Y {v`"j,cZn Dav)0)|w5*=9HuJcJ)ovdwWR^c/Ep1 F܏5$V0^AFȪJ+ t `+Fv2Jy"@Haڣ9ںu?%vqE?ΖBh>ڮ gZ uU *3vB &n˂ e/+Jnʧgpd}vnW >NjEIP-ﴇ%TI! %Ṹò`NId"woHWzpo5vLRqd30{Nf(#Ggעߧ,xwjOS0s##{814az;<;QgZK~/Me=w-nb0?3vi9wB!x`sQ2v_uZ[E'{@x):9 @vn8:1hnٹ{xKs?I]ۿg/֒aGvBrpi-dPFNUVTmC:yHO LODâH.{/GtiŁT4k'ɨ!D2pեm+^oKf}bfNLm]וGl,N"1}`ny *UR"Q,VZb9l"uQA *N7=@߫* boZjStŪb\{TLx"u] 8 L a YUȉK,@]~ ɽCNGh2䚵,`dF${璩ܩX~4mi+dx灋pR4uf3.9?&#ۊ4AȫH,ƨ8XSwùT(8 9?& 0w&UR䗷AeXW|@~I䆱ן_P[Y3fϝy3DBwydf+Lep-Cc)Y(0 C~E`87)}t<巀 6:O?+S:N(چXҏɭFTыC^otػ_-_1 |F\&'}X#Xq[ICiGjw/ac- 9'(×_Mv֬~2zx:}j<]r}vl,qg0ى(Q'[]6^,k Śyf &}\GC7Ff>;a>3m]HвzUp[:GQ7la`|=Ѯm&uBz봎BPruP6  {p~;C]Ѱ?^_\+ rZ=B>L Onq 7 |W_bql@LS!F fSzp:Al#• hӌb9T3F6Qsn7aNI6AbM9 ċt~s {{7wXp"\cUd ֤<洞tTZ̿}#2i((x:jS}m\>ɀRi\7lŒa!=n>!Wv[xG #𞹰9po5PEq?c9Fa+@eʕ #M2* hWR3£ ^?(=TD'_m"E-xܔ2IXWByQ N_ބ}'0Wi3IdU@x2'?"KQ+].,|ΉMMPouKI׎>Q͎ Qûp:%dFMvw,,AXPIo]P1ԪzKv@SU^eq?ќVH?Nr'40'oᐫ,]$sMY辎rD !DTE6nɩiZzYŽA"V"BZI"m7|=eT1739!ߣ}*P.jrC ZWҠ!KC6X`~__~&۩h EjX6dV"Ux8} ],<ӯ]<8@벦$&9B.Ly$M]>"Lzkᷥ/*mXm1Ռ˗a0guJ?7@K$X0 c~Y-{`c\|Nx?/"@f "Ж?9%yT@My>#Z$QlK$)hyK66"RSIt k u@!Ѓ>*Ӂ;5Nqçr]=b{灼&@ PKU@Bd~;c06^Jg޼1#?i#U,W ɛ:r ^BͅX"4nxNɮoȕ1 XIw! ~~C#; q8wH~}R0q=hΡhi|9 #5m47 A XH0򶃞~*5Dj=R):Qaqev{_bssa,[g>r!w6}#gXDZ/JvAjQXφc"#sQ3r5TkS!^IR&e5$dOg 34Dv\lZ#&CRlȕYIƬnN<24/<\@ESzbOMF!0@+1|PH]xpKٶ~XBطe3w%3^N,vV4#<.|q]4ƝK?$ "4.pD/Osb|<~Jש;]$]9y^qP_"l"|oNT/G,ܑd'j=E4=į*{X(vX>/2)̃H{=Zh8:Mǫv:өr2ڼ>=x8l\_68%t -vL+Z^- pd{\I}\uP uB N5 +di`Lc^=7HOXx[ClW{L-( P0~Lƞ [&MҢ5vnkp<'|,F)_Dn:lR:^hE0zb*apwʸ܉n*TϞXU~?}^TFҬw#O^Y=X`d9Ҙ/@v<&\o-wO0:9=5`0&PkYv!&s\ PZloZ#t Ȟ-k79u5X!u ei`b`(#ձAA_V6f7cZ6C^UM]~%H#̘8u7(d%<|/OGoʖ3MޓpƎz5+`e̓ .HF){{ 8U-sw`.##C,4 +jXwg~o7(.<*L$ R#h]woyBR?=ǯo]^9)VRrHc,9DX9"-Y ,㢇ON sd.[H>ݽ_7- h̛!K (H=!čjFnvCδmTGJ4R1 @1t11-}lDN]0ЫDyZ;eS,~JB f5Ǔ?Sa ;w(uPOWeu]v@uE7<Zq:Fvf_h+o@N]?U|˅JC8#}nrC:eT&Uï1 <^>DI 4YN'E.%+hqy\^I1r`n$8 .eEQ[#.]i3sL,0[Rpnq 붠#BӇB 4Bz.=VcY>ڮ3Д]zڣoats(Jq칯F2y"[~Dm2c"(̔wg@*(r˰R#Y7?53oEԙMr߃2RTLJUT"Jo,꽑zyNNĚ}U9kp=ofpu)k0K_xٵ^n *|Q T抣tfhagf#ǠʹƖA ;U.-83H\vN/lBjjwX$cԗү  R{,56P={ú6fH٩ľ׎ԧG\Kd毪H բANj|i *:${P"C q}2*h, ȷfT4DөTmuš/kO`JPFb.rAM;^8UH*>guXfO 48)o^0SejN.QYV2%$\\I>@!lvn\Po@uJBWۨjt/Ր{gv:fEI7_e%r',DZWsϔ >Qwh{(H(=K]y.L<ZIẘlT]J:gճPV;#8.IE>5->n5տ³AC 2 C^6Nz3/$ ,  <%NX^D__]5c\e_b \q`LoVJz1dCkŨ]ԳQGc<)SNb^lxfx9ӐU]j%ntΪ()C\ ,.8'^sIu 3-(fi˦_bj2V22ȍ@U# I܋Sl)EkY' b` Bbj2x{@ZL#@AUUt0 TN'@p_/Jxaw )dilk7L@(|ǀf979H"gVPJ3z'зzX2w:y=zq .d! EdJK$JK8&OCkT}{ا~#owC̙B賷 YWE̐t1+i{Y|.'['4{Tm\2&a9AzLVSdDZ+ kUGb{'z>і wKH G;gV?*}|;LA/\A8']:CNuwb2RD^Д3ƟQro bQo4ʚQwljsKЎ73Аt#\IA-DSpjMqOP7h|}OVSSgF'v5۫4IwI|eHH1l2ixVS,LnGͿ>O#fXCrA:iAa!YlL>r'P-Jjv{ڜ'M&SU900F@EIO8 H?>ֶUFɋKӳ5 %=W<1ݤ/CqYB燔#{ӺN;\Y#aw0$oa7o'CM]<1Z(ड: HDh/ '9"f^0׉i`ЙHүd%(d l']\]84~ rɅ|X|Y%=|-O p D0#?ie ?Ei,~ Ζ=ZB./u"vuusz~@+uU wQtwSn=l6C$4`283ȯCtnzOwWwE>ٕp]wQwky|"ɦ]4%_ 6m"6u2boV45S6s&m=QۀO%?2\S@Re=3I-e5!QkC׮L3OlT_8բTi%`DkNY`BZoj{VbVNt|MG >!(|J1P3yj 6m]TF5sփ7δ?&WZf-=hJ:a,(~O zȮӱ} dQ;q+>7+@'2sl W6c:c},摪J'^ǂoÜ:Rx?K|4 f_Q"ST=c=%e3LyQo,isSq n33["F@E1 LŇ"g {<<Qf(JwV`Vڢ `/[WFZ7\S`x$".AWfue;Z,uPv:ۤWFr} !jGs#[(&ziUb ~[r~1(c9|dE {qkkm \h]5 OqP*4r<#دT`z\ + XtmaB:5"FYӮ};eU4 n⍧춏ivVY~pӜB`/* 7 h"Е|H#q>xKYb8գ ]u:}L?榳"W vK/_#`%^1 ]6noYD_!0=;,Rz th4Ml)@kD;:0 Qen'DiyiF|`ǫw82p˖U4"C6sD`nnmR[jugʹ.=j*1n*k~OsDxyJQͿw>0;x61+\_4zGԴ0~(i̹L3v1q=ɨ!} $$K :N;QCy6:ErIAbBϣ<.{<1I*_W4[v?v^/VUAp컎T<\Hoq A) Jc7&<>ʪcx>pA:ʮ%A֊4zV'sc6+eĝ tW ʷ;E>١ϫ.JpYU|#AD$#ۍ.NH\տsm8o42F[F(6{<*:JDE *XjڠXN>t*\mEb ܪ ֻd@j7Htܪ@-A"s&X{B>"%SԫL꧂ GЏc t;5yy!)KmNQT' 4';ET#~  N(/'\eU Ɯ:bt3JǷ.Z.7A ͧ|R$Z5?ӞZ~N3]{z:*cC&+G3 @ċ(b>9lϸ!s <zh E>TsG.7(D"Z=u.(+hƴ{"$ _N@;;O}C`1d $Cr#N9\hZn C3<={) -Fӹx}FJ٢j 7pW< !X D8T〨 hSΰ5]QxQ|s L?d DEC97eda6_'O m<̯NQI7<4S\7O0כ?t PiRlI'p-iV9cAu"a%@Z|Efh> LasuGPӼxzwm>*ѫ}[gqwߍW(ľ'S5?p{X( úV eZ biiҦ\~H?" ?9Wʙo1"z9®lS@Z*40Sv⾣W8qZx\C͙XFZڻa3Uo+* aHȧ@9dVi c"qy'%SУTνGXLr@ϡLPǓsAn2sk :{Eմa7 BV]C֋#O񻛋^>lX 5'ȣXJ"%Yn~O<1_38QOFR!u?Pgt@j Ԩdi d.pŬp/|b&פ]_2ʕwP$|@f <Y53۝zh89%2l4j!ݵҼ}n4<;6p Б4dN;a4~?5Jܰ)!_p8\Ƀ%HO}h94]APN1@ hRd,o@^Bj! OQ<ʀa ܜbΛPVi[mzTi+4.Wwl9RzK$CYŦsК0~#}JW(b6bҚDlz̸fQHƙY펮lW23&>bOf%;RP_ISo3w[ u<}z:\z pZs@F|Dq#qYռEiNnD:k$:H%agzW4^fe#*0qڐD<$ : M LFvspja`G9CnCw $%O˲qS_t7^oiD㫁lY&=\H2~Oa 6stY XU͏1|x!.ys;gVNb"ztr0DA"*FAhUFѲ p\SB>8ecJ->Ƴ­Qx#9}fFP=(r;g48CgzLF˛e׫-p ZyXʠ2ɕMceB70Wfoȇuy:3X32tyfx>Dp1:7^m킳^˨.|Xu+cC^*6}eR_Tۙ5XެXd&;ԱTe{똶K~¿=YuH~⋪54&Z_Ga}RCv)~Y\\eo5xjiۊUt)QӐP`.c9?. -"do<&wyVEWcgY?j[|k4S,Cř.BΩ?'{nʞ7ZFkqCgr򓸻 vN8O9HF`T1*z"HѯvgtPLVz ֯#?{d>\sfrN]dOC{\ 3F)׻0@ٔEҟbMV KWoˇVW<8/u򅗳Llpw &V7,%S]:)eW^ nڍĚdgu3N-D% Db^\#u%tiv=!A X||Cx,^F:ڭ4>|Er-9 "X .۝I)|PcĀ A/ԶP(XzHz9 %STIpZMQ1;dsyP/ zp}7ҕ6c &IW.5 $`JJg/CMٞcYD%ޢϾde5]AKfE )𖨖]Rq0K̢ӊXg^* .E`K=){:-?x9`0ϯJ#cȫך ݤRΗ)0д)bƓl 33onFB-Qz!Wӆ̛C..99eYb:qZhjR-KUnuOW,oOx30ǹӾǽO,r,d6'O 9u uF9Mk[=^x!ЦZR:cd}( 20tY޲)J▩`\3CW|'V_ RMjgN#!)RAT?X,ĴCBE,ߦ5i0s2JnO4ΞLj5fO>^ o;BE%܁! #Q};v;]uQ@iw5LSko]R2|[`AFfaNHVOz 3aD6V~}9/3洸}{ؽJ­ @~|U]Vq4̑ E E漵LE \F"By^u#8RGۙ=2 <5Y'/ Cv , h^WR/e_񹺚s`{NA RHn3SzCAmm % >Ǵ}B K*AF09݆5(6KJ_S\N{{-#p%s&> gcVK P*Ux=bj`=CӶzHԊ:p>E^oXa\C|}*+u1U5?{yC{.5\:sݫ9g@F/m†bAf2k~ڢP^Ѩ .}ڌY٪raJl:g >8q-.V9|S<5^   (r2|yvIB }IbNRro΁LkQAIXoy*%x>% ۹bvfȋ% *@IJ3h#Gs{?t1vh$r5lM>&/q8!#mk ]Գ@,BVX,+.+Q. ft-ERXApzyga$CU1$bv@TKQfVq x@z*_H.@\]| h88.]+ľ#y#Sg]1sM(7iW^>, %&-gLۙ7s }`{Z՛/YQP36Xȗ#(0>6ut^%fxv"ASUѳg v͜,4ZБ `9^C-;L͞,-ɀ޶mӆf0."wű0CW1fs8}8_x9.`ƒ#\ڨJJ ܣٿbB?!{F=+ӧcjrޞX)XAxԧ>D#mH*a |pH|:+|*gŕ*s"Ls\'CeFta%cϾvm~`VƎt. >ƅ N'..ȄBx4!y\&,O*[[eԪ;;g3~(Ŏ 4:|Lkly ҒԘmFNo/azq>NKIe._tozM/%p+l? FGݾÖ圳a˶-UB'En/ѱI C:($Y|" '"VaC/Ԓ 'gBH\òG&L~jo˒{ 5qu7q+Uh>tqf-U5>.<p3=$|ҙLb0n($?CSӤW^Ӗ!KbV5a/5oo'Uzcf6YKCF5ښ9'a^޼aM{@WC^3z*@„Y6{T/d=`9CRH ǣ+_}E2pL4BVo7Nj= 7 p̤j\95]c(iiu^Nn!*WQJsmv\g!hEsWp[HP)Z CUf]l{H}D̈R$*V!1 SXd46y%/2G_ vuR4~1J͓EP䆾ed,ʼoG?|RʡUɒ6t%p]uim)mJ²K\ ,c$b(4Ir-v %rq =+ T3n?D*Z+}; i 2Z@1 W +g'CieW'7 ?L!gH8kzq} ѬRNHWnHb CSkq.G1RƼ[Amഗ,P_t^vszе@7Ƴh@Q)roDZh󌮳sG5FWG_u4|Zv)r "G@CJPmB6O~I:9 ANY xY%cx4Œh!d%:D sG0kx868 P³oЅRb;FW_vN| 7:7 3]EԒ㾃yZZ-Ӝk>BefXyrؿeG@}myo9tS!zY%\l u\/hdc\m.EgBf@4Ej(4aM*py@NKKB>~S[8[{!^]}`+t:`+I 0 d=ͿV-pc ~%+>A՞Vb/ Ihpc>uXA.p-Mm4B>`j% V$O@ {'^L9F0XA>TѴu;qƙ nV I E@ݳe{Xy, '1m+VI4 iBԚ%K̮Qj;)=6J^vmNT!;K=f׻Ycg=ֈ=X4hXv鴓uE1hB6ܝi,Wl~GۊzYx=sj7Tٸ A,,z/wU2G ύb?FɑE6$T$x5vY `dglleYIkZQ?^E\0X3ZZ˾5j8"Y:\'C9r!tYBISUEv%rGOZA> 7k Sr>Uӕ,WCWz@H^mo#0uQ)'wƭ>dN#)Kv;ԋf6l6ƅwQi?0* GysuS !$dJ6%*F'u`/D~~r_٩ J8":seDA.6U6&^&-][r H+ /#5睁cd+W0ce ̒=im7MW$H#f Jh$84P.0(Ez{Χ$RF7Ӊa:ռ3o=s6aMbpFΣw$&m9l)*; 4NWQn;ѽ3Q6?hZ`F^Y) %2&6?KUJX"=/"ݲKPboBJBc)Vʀ x}X.մ)SdX"v9f4h 2QB1rLs#J;%a @eG8}%F~~i;jD<)dAE" 5&uX~j OZ|APyxiSmXTMۤ~ߐP\{!M9FIABЇ5"۰AC%@A↩yM#D>|?ѧYd~f+"rV 9'ƫWå묲%4f@L[!:c ]EC\]oy W L4JKx:vZm(>$7،ksp{a._'܁S-|:.@>#2Qh?FF:iۄhjں葊Bk5DsyF.5Hҋh0E_tv :UrF\q%\뎠^'uk' I\X o7(z8\YhQe|>$%/3l!9C?kJk~T7 enLDr7kvԁAڶorj Nn1q ͖W-4c'tcrUXU<QCȑ錡)l3SK[ ϜA(rMKNCbHK^|Qutv8w"im呁y U.pS&A$hv6h*w))-iT6fx:?:ŤtY}ŽunXϾ Y!ݯq]TIrg5dwc.$19?_b٩Lp-:*}"&/!GP,wȾߩ2p)c1cn5:¬T'ERueCU'6.0;j ;ϡ@=pa=Y>kye:ڋo`{"_ΏL>UM-5S?'}䔔Ek}Q &]5Zqm,O_z!wŬ۬C9y71sr:Zk Ƒe&>q;mog_߶ 7H&jšb{M|a,*K JTE7" 涶G?HqcHp; *I[{m uS4ll״dC1P[QINrJV+jy2jմ&wW?QDᡤyK`յȦgUz$pDw0@Q0MJUtɵok!2 +|8=n_y$(|0( ,j (QʩoǦVRK͔UiBpN8\Y!Ч%:}=U'TS3Ož#9m.4jTH.{hM/悯~a4S$B5h`"[49\w^s'ht-vZDps{D dvE\xD`<Pr"Ѹi jY*,MWIehP/&M_(/;ꓚ~=xvUq iwvӯ vzqR/*SKt/Tz+TjqKQB.I%8qm6ItFd]x#~`4&q /;qإ{??C:j|,@{s#SC $uSԒ%+N#7yL}ygy +>c(s ^GCᙲb,]rrSw6Ivϡ(p}6w=?1n_H+LJՏ.p8#R#ܟ#(>Hxz8䢠7e,1z2FH?dg( ]9M*W׃m%KA|RoE1ee7s}{2dCê=C7u+7AbPymȀN)VX8 :f@#%%N5k)m]a+rV\YQņ3{k3rm\ ZBrٚl[:9~eS P.tDh6:Dz4_B3}d}d3G4܋B;(Qj*)?8C%џ<֤ A=G%=NzM64FLzOIh{M¡ǭwo$:{aMI2N؃2͕7znyk8 ZMPR `X&p6֜dnJe1bo@vlyX; d.)bmWJaW~9f4c)I-Z:\\^%qgi[[vajX0