SQLite format 3@ .C  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  29~|8V*^?yy %m^k 3*Xt,JI D"[pMV)&~oӋnX$^_َ 9 HOL-Datatype_Benchmark  -N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ pC 6Ā*yz{320`9uobLH n[i`D{ r%ΣVmǺGS4:)Tl^^Fc~K(zEWDHHfqdRj_wa8)աQ֩ixz9T2h_ DdzNK%\y=)@glY}z 9Tپ@T5vȩXW"{Uy[Jj?J*bc) .j bz}pQ>-k!˱%oU&'v:24riRyx]$jy,-XL Ѿie0 dEF8.k?&ЦX-z?kέ‡dh"3!%IGX4ݢ/hycex GK)wN"`c}}'MiҒV$a6`w$4/۶Ш1 H +¿ѥI]c#Yжr=(W7^fF 19y(NVLJw*s3(.&M"(ֹk~އB ~eQxѿ} aDL9R ٰRX'H i gYZ7zXZִF!  ]ŗXiɟ1)*u%9w7Q%nyN_$`zn|\|F#R="7LK)dMQ-å>ʤ`OP#UA!,j"u+-ip9)pQnv9d!횄OzD 'z"?c=zɜ{@$+:#ϛAx`)#Zߺ;wqh Yȍie)@y]Tj7l{s{znfdv[%P$PVuL!x7JV?SQw!D&.:]kq] 'Ld{O~T',K6ЅW=%L>ن=j#ŠUB=!S^E=gjq(zHnzq[3^I,KE0}tyX*,6Q#4H1ң` q2q!SA@~fjDY&) ZNc*bb,Z2; ٌuku_pfcrq}E 0bh z [4.OGMUӮC:">J~eDۼXA Yq#rhيٲcȢw=vxGYE2LӤEkSJy7_>0_؁*N>}3iKfؼl-tMk 0osiR 4 A)%#`$w=PTUz#-=\:jAӆ_=hfV?:)k48^P֭ 7rT!D˗7"#]ҋN=aؚ1[W"] K vvd&[Y;vkTL'88t풘5z|o6FEq%Af"RD_^X#0%-jJ¶ewj޼|ScBsC,"q\6—,/iX g[^g>:;5e -#hC`dG v,S;xtč7=OI" Y!fZк5~xfG[Xrj4V|@˚uX^F젲!>| y[+a?m5LO2(Oh ̣@8m3̯̀ВxIQ=q`z> z9#Xp[WmXlIwoF_4 1w(x6) trJq !UA$S<±Ϭ=9S!dRXk6~RZL(MulBln>C55|u~ꅵQxkHIܥ^މ}h[rT\%6}~}~'wŎ~dP OK4)O~ AW7Y,~WXMj3?LQmbO3<|Hаy_>eId+I k\'7VH=^s٤Rў>c?UzlylCXCfj8SHj6GΧr96 R e$T)e4p Y;Trf+hF;H k(i!OzODfd_va1zX޶>-<˹N Rp;$ ҽ aM%*A aqR0CՄ mNAMwEΪ@k5Zmĵ*_~r~UȵߍwqU7}7 kۜ.RxO $vQiÂYJi-: r9 2]!ѱ:^AFN.&'}+S%M*3HQ9\+vq#J\W^C7o'`VU7m|ZDLgDj`rqf(O3Mc^d=Lr.'Pl<ƶInZ``yiVy2Hm:=W&s_p,Wn](o6H_Wot;zAK\0*Ev%$bEUfVmH=6;#Aoևw[r%uFE܄Nt/r,q"Pb = P6_YEsT^ѽoQ)9y=2nVP<Ŵ!3ӌ_eՃ)y&ЉEX]n79PGy?Vb!(`kEd^Z~l[(?)axK8ڿR U褐%z ap?!:XxyNh9J0\/ +*p x^6Z3.EπH4;XvjcV<*x%b:oHm]P!S\B_2f_26J+_˿ ̇ _?xf9- JX#y l)4#`6ߎI+JǜF@ #|c+2כS>q 4Oj)v?+J,o=ӡM\o0 kk9=/@} {c9OH2#$EG' @"vl{/~^h'a Žو#K:um 6J\gk SdTKomJ稜CpLm7${ ڦo2Df7 C5P^l:LE}L]DS}P 9C)m"N$nu kiGQ;W?t{1? [0~YeрɔAS FH+g*Eq~aS!3?*Ihb&Oɚ,r_j0t3PUCb`&d"z3.(6/[@ҋtks!Ŧ{v*Ե|]ߟ~l&X7Ҕ¶冝CɿtEmjةGἈCB}[g)(PxU'6XbsL~ FPF ),> NS6?M^JIɴQ\ ݨP>zU0wF\cEJptvdFcHz BbHb"dioav[M旇kl;=7[D6$"N$68p4f5BHMn7KՆM"Ya\_'SiwJ~+0ӭd.d٘Mv8A'FԎgZz>DIFSDeڙ/.hx Xe.:?@ ', :u4\RvDr!q $a1IU; 1* t <&FVayS)+&"D؟%BdLX? #db \GGIqTUÏhHT7 ZOp]`đ vCya8œ%XrWCx-Aaj))Sn41!L8YLFP>f t!gԙ = z:cO!mQm,D(T@ᇔϩF{\u%%4J`V%]qCNE̲2G\DDÊTQ2Wf^$'EށNWz*uR?ֶ.w T5/GTRw.>ӂRxr&*T a{N%(nԷeօS dA˪% -X(_u9 #AX [)=nk؃m^懱 AAj'y,j4U AӊO_He`MK-pcʦ5%(`,\WԜxEVZ7jEŞ?*mxl]R*YЫČΊk;>VɊu;Aǯ4hBB/*_9-I19/*خ ٶщr< G7vHG  (hUeQJ} JW)1jNs:lg47Xn.͙+Aخ΂ݧZ |JyTjo9:GveB` "j,e˕&q$$_ep.6Rv`-ָ46PG?Xl]ٟ|n=%(="&@ 7\g"ڏcVM9gY>wiM^aƂa)珰.N܀U.s*R=WvNtfiy}yRQb@N8WYN̾iO\{,?RFXWd3 @A,޽57ؒٷԾ 5Ohs^D`-0l͊ΊG/REii>*eP-*"׶ߏa%G,#[1F[$ V3ly0$.ά6-epY}sz$ᦈ[%fi2aam )Q!EЎyp/|"ْ v=aGۺS-㺘_ Nw &tGG73J9Zz_=:>Y6Tor΁Faw%O#f WѧaJWt7K1pdcam@v ݺdwe/J-Tܢ2)T؂!y"ɐ@sxRquTIY}iZ="*lQ4x>nE?m]k=Aʴ t'6 q.b] y YcA'~KճG:4lawMLSLy"ꛒ)z 7' U[ |t Mɸ-Dp'T]{yuS( b~LFm= .<](w 2;uZ.xBj.뇅Ԃ lZ##r I~+x$}'zp [T]@IW'κ冻{jKbY]մJXRcݎk_%)VZ Ѭjf!d"EaA5]uH0p&a|t+DdvJdR-yFJf Ϊ-5HܹTBY-~L.URxkٲK68"ϐG4+9*tWgc.0ر\7d \:k{IZTe b=HVYHݪ' Më˾D4JŬ";uD8<bR9baT,y|VXswQ#@c~%Y*"QaMrL& X/S qu'~\G WmޚI ^tÙ,׶8j͞79fABl8Q 6?{x&ŽwAݩ?Tp8 +yપ>f?Yb޺T1|)`"N{}9nF!T-{tYU bꆶ'撡42>ޫ癨6- -!.q񔑖 +w|tDOe }jiٳYC B̊Hye~֐!e]ͬ] eeaf1^(H`5^Ϯwָv8Pd[C:vM/>!4g}kqd<7\r\?fDAwC[ d*mbhb9 9rh47F1n>1I&}4vg.t)fTqg*O9fش|SRZFʊh"ͽ;STkZj?8`K̷X"J-#)!O5|xq XQvi<4#ZeMJ 8b0 ny$9z׏4={cqz\85}`k:$O"-C`Հ :*:9Hj: 81ظDuT7pa:,J]Lw9a<KŅ**J)vF7u;NE<(T 7ň#qC"{afaAy gӌ3煭=%G0sU㫊gN'Vp|~YL>X՛@ujJ'xKbtiGC4²0O ۗeJ}م%`I@jFMq|󎃃fq M &skI!c#.]x<R,r,xNO5A+X;qn:G]g6%1iDQC*ئqؽ :6Θ1+PMwqVi_![.˻.Z!0DmaŦfڕGM7ݠ)/Epf G_8%ܝDR:*nfa6>YZ \3Dr|I97PhmԊjcCCK,,IJ"H|2ILs ,8&B%֗+gby)˚L.J 7U%H/i!]6ӌ}I8~!JVRp`͛K6|dʪHB&?S]fMY0OIQ*1zE|Za|zɛJ$.RKN3/<__̈́EJn z!g?$t%n6l{[k [W=݋ֵ߲+yK(g Dh|!y W7EW\=*`ř C “չtSU-f ~hQ->%:zD<u}w?hU԰wA.^ `nx&H0+~͋2k++DxԃRR\eeyd<x|i:v"# m3 !TK=UJ^ \okiT-d=Qxnn * r&c ;kc-mm!j\j3@n37S .BÛw *AfL)ɉ/ )FJ^V9[ףr-qbpӑ@WQ|sU>@ un dn ؓQ3vKM UB yL(ߔ% (2#6GZ-wP\e)<)&R窅>jD\sw aVu-va&|';Ph<) ȵDA^Yvtz05]NދQzM74 <Ǚ낙t\~nw' oO$&'}\j(כ=CTKq֤4*anCi!.AV #.ZX{[ǁ% 0>|w 0=C݌>;[wvX;ef PMke`;hC#gkooŃ_([t? SWRLvߵV_ ƒw]+yc|s P 8s T<f6A_sɢ30E#Ip};up=HV?=94$ "L>Qc3e[@WZtma[^V]u>Y Ob fx?|E0%mM} & I>D\ O'_m0>Vۛ̒KAtWMRG+'Cu®]l2]ѹKݻi5z&fo|N]A`Hg b;0P]Eۘ7+l85d @\k=jƳuwރs qRb Ff_vIgz,etvA\8?=4tQHX\ 'bukbm:T~ڏêlqku5ŜG ^9JXXi,:Q|> bk-5tT *?giҿ~Npޡa O>+Yٯ2.l=cs&]OYT̖oẍ́ %S`q&&Ox:+4|0MORQ.]r'b154!R [>ݢ_Cl} ;Lzme - {a4>g0O$ޛ 4MK<rq38!IiûcyIS.j!t:+% k@ʖd<(ylҼd#h8F]0N;3!W<{ 5a`ItUb53z0`R0d( ЈҺ1>ǶL'%N} {Vbt8m7,肓P-M ߔ# [}1$`NM l5qQS}z(ol'k w텈y+. M\f~ h GhawG^U8oD?ԅXXVxª٩JYzhck=-q%l$ê`+A3x(ύJD4Bډ:O\́NCGWY(G\ pR4!8jO+ddNL2vb8GG؊DW9Ю[MY/&JD[Q^1W,*@R|?] 鄅@?;7rZyy\o$x0Դ3H4\d(#<Ɛ-hFFdȭ]sm3i3ʀlOqߝ^Dl4ÙKR2cX%Df 9hyk%uex}r^Q^x?e{,Խ谄o"-,5b{cra&K?N#a(AO55o9U ,ԃݨ[FE-#3@5 +Y&OF%GACy9 Xy`Z;Ij1֖)2Dt3fE }-AxWciɈ#R/A^JD.wMm 0qcpx:7 0S{U&J m: -;ծ!{Iǣnܚ*NNn!ZdStg~[/%M1٬l!P$ްO"lfRm JC1A)-T䍓/w–] hy@BW t+G)`{fS&0-,ڈ}Ì= *3רf@_?{{cx]Om hbf1L?#y, .kjV6*'_KUvhC|/f;Mi"-]꬞0V"> [oFd]1Wë{0wsÑDY}4 _l-?cX%u _F-c λzRa.Ű( VObp{$j+]W5$?mM5Kxes_ux%@" ȸ9R\G[fܜ[OfǔO{/s>my /'j 9)ՎZ_MBܹ"ؖSR* C z4:])Zn2ϋ;wl1GοaA8LJq!T9ZV5j?j6LB)dZDSnz7t~eO@+@51*tn%D%}"`R`@C #y#j *ռ 6|Y{=a-eh@+Giُ.&n2AA^vY㚝J ,fG%K]VlLr,),;U |&*Z~,6Iz3 9'G;gg(߿L;eQ*j!4MuhQ(˃!#iLp.ױ\j <eU7"u!#Ѽ^?*U0W%>ʚz.|9"5aer2)l^pdUWy#v?<5v{e.UIXe ; x[!cVlN.!)24jBp9rVP!1򗋾A9Sy%T"A0 BAl)]`]罱z}9(&_΂EE"W %*9,bmMY]M"Lq>c?U| d;J&ŸXJP r;K/8FCGM>hufq 5rW9^fLԡW4qԽԕ }>^&M̽hƷ\j7|\=ð؏lynV|(*cBOhdAz*i`7鱟y}YLGyrB {{+el'qe{9aNmkEp䯂xQR/_ĞΌM?>[!j$@@荁(#sPvHq0>½1bA04р:au~].C ʮp)E ZA77~j-A?Yekm˷ۓXw>В&߫ϢS86库 BU~s]6!teRu~sW |/SqKoɱ (kXa&=VE?Ɠq,k z{r%]!YL?T?/MVä S57#\S?Ed#T0Z L79k.P~ꯨ\,E,/ZfTX=K΅Yb)qQ[| Ʈ W[9@7fUzM^#g^RU$p 9נT)Exs5WMLǼ*8# }ЁҾiI=h0baBgpj_^w ZYӴ_R螳vb ߩYi=?HěZTaM}3F[!f]W.i_ k_5~# 9D֏pSgj>^!aw ӓOA NhX(= Gj  jWi}Ɠ%?FPÎle /hv'2&ة2`4r~ ʖiw>"4lCGh>`TʯE!&R~knrUf6q&ke45`5Vljeo`&O\iUU,醴AE^N NM2ӆ%Zv'y4:x8 KC-ݧ,d?aH׼kw@\*YŻ?KKI!.DMTEOr2Or"ts)<-ؓh2BFpuؾ~J]! {E Ϡ$$Px lRMx41l^\T|Y:ブd=ZlU7`y! S2W؋5`zw$d||'oZ[هD$E zL'RSe?dE7,^梄(IO_i`„9~}ELl^ W,(s/!Їd PPNu܈nS0l%q{}3Ş_ZS-mhYwդ1*Ƿo9C δCS/E'7z7%q}cRP 6,ma*5il2fˀIYʇ@ *wR#KkM`D{F:nm L*wmOMyoU[#3CzfCQ{u+z75c"bI *` o[2R^,DBx蝳Dz\rUMB2duk;a~c^"Zp@9KPsլ{c;Z5V o#&i}=۾2waD(*oW;i${n{̑̒:6|A^,{{Ћ9fPC<@|oꞥ#%ZS|52ƍcVYmSc dNRoS77;mo [MQraHPD.:6͑i)7ŧ{>;k{ 7Ÿs(TTڐUv,;jhu 1ڒ#ړ8[Q]eC|SɄU}λ&RV{>e@OPK4E\B7(=b247䬗=g@lWnvV7'L;K(˫]aN}K'E!E ]My"1s)T`Rӡ.+\T/NXȀO8zFa1?wDx&d]1~Oi UjJce>!;Cg [43}qkڿ9Lah}[Sc~S,|\lvsb1gKҮɥog\pm_R {@pB &e\^Gk+*1!#Xdp.LERUpCVðݩ+iO Gȿh$?3g5ήjiLx6L%Y푧̐g㮊O+('-Lsܪf͚ۨkEHCydPHɍ`\Ss/rڣoowLe Ԑh]FM[Kkn[VU1r$gچRO!\`8;=T608(EC4ҸWd8oˡQI\ 0Tc Y(6#ށ{ 3 OxDd|w3:6%<7 J$Q ŎY!%*٢~\&47/.zKO O,*JV6lx w liKqvD5(޻ Ѽl.;7Ni;m]B uZL :d*;; ]e<&xŴnhsFTىq܋1o<}f>zg*L 5XRcSX iGZ|Vber UgqmBI<_oMYh&~Vڤmv,yf1:75BG@iÊ[-H/,O;8P&y 7)ׄUzT 1) o$,:?`F ma_f#N7q_?I#Yyx؀ VٳNWfK韇saEǝ~wٺQDL=զ^Q 9Kלh4z_L=&:u@(tNl*E"` Tjq5O|ރq?T kAVf3B:l]2+ , [_]z{ZO~U_=1W_T$ _[4Z(V2}ZF=(ȎXScɪX#nnb'"gݥB)*v=)HÿRorjyM9FcR񍜬J*žHX9 3Ӑq3{Řq_0}Lc{LQ1 f1qSC.6 GQZb|oMr-XG|^Lg0VC:^S]n̕ ŵA(Fg2W[ejJ mTSLڨtxERFr@_f|m\3́{v>YO ьުN1'1+x.NW$X1S꾮5 @%m?I35J(pGM3!Q;wJk%/E{]Z-O_CM쫆qTmG$'@(0a=l%Ԥ9緻dn)H;_2Bib:޲&5Fo{ 9$܊@"JGަh?k???7/e =E\[PdjՓz͐J$6ӯFKKEݪdN–$gПYG!\ը@BJ=Wxh1peI񊹧hzfH.h pTڭ~#L̓@k\m`c| NٍH]6nŒ"kXLL&iƙշal9͸5I2KOHPHYvpPhK򤁊_^Zl9Vq0k1[)Qa7M̷eDvHOz~zZ?ԛ~{O1 v]O+_'=`mPlod 8yI1Ÿd$#+ x7{S#QI'\ '|0O*9/Bh3:*ϸ5ruv6"H/;n@b_p4U"tJUl:th}Xmh!r{f7׬ߓ_d߱'Ė˥)=1,.Z8B=s桸ÔI+$ Oc ޻OM\^Y4F0JOO>p˞_ɬe_e9GY`|9s.RU1A]##(fow81C) Kh i}.@M%X0Z$:!wSF(*iblkA7㿠-;#k~BXZ)ah9xݒ^9$ˏ;ή%eb3S{$ď.<ļdfΙ‮*aQX[pB@cgmOy @8|K0]+r60DKSͧYtto5UF5wn3F.f!6삚W96N1*W\:l8ڋD]ۢ4GZd Reϕ<|(\,c#cNtsVݜ<,Wc􄂍^o< Nd>lyoMw&L۬ɔwc,א)B ¦\N`4DԞ1;XtJ `.6Ky J *= -MISy ZboΜ~pZ}i a\/y_ɛR89`4Tg?pF GΞswx ̎:>Rȧ[aEh+z?H! WFlVUaZH>VnOrߒQ?Pj}޶\ec^l`,!^ꕯWhx5o !ew}\lbz9E>ZrIo0a.5ßs܍ʹ@В'~hL< &MkES%A#T`S s!) ;pTRx&94t3V5#Up:΍<:IaY”wls&,ظd?sd프Tۇ, 8uO6iw >;cP%9ak_s.x1 xS"<4 )|-[|Dܡ:o}Zjg|껠rKP?{7jҡz24& C@Rm _j+ Z`7/M^+wmDI_8szX3L1LXŬ O ܼIIegPF><iQ?`݇;ii{aG`8`/Cn(Eʠ;ސ  nWuW~0^ ?oH047{Ct:c`>rs)|S`>^ jǾս1nA>Ntۈa%"s*op;E/jHR&cRJ/(*>uOKYd N=DkB9,)YoCt1@ڃӻ+lZTڡ÷=[ZyCb.v W mNTYur|fFRۘt%e"A[uBu gyvR|>#Ry6T4D$G7κ葰1 L@ƦG(j?_tC[uHT\ NY nDM9V))Fhym\J/zu)׃\nI̢'_KƓ~j=u\5+w< 'a3]l.4ɌHk:<@XD@7T~ ܮ;8Mp݅2W^3D7v!f*CbBVuXxNlVʖ4щ<@dfg;BLeap?0v%|$- ZFfDSOŹt{ɢ:}/-w/_ J;e~f󱘆9]d-si3@&N '|jHB 1WY F:sM WU4)C iڨ7y7ڱc6O#O5h#N .^!9q&9gCֿ!<X%H]֩M{FT]103KRS4|^cU5h|Mڤz9ta 547m#gBJiuQ1pȱ dPr_غshxrR Gd\_KqKڹ!xq-"+ep~* ^UvWfuf#gv9YCsV/C %YuC:q⨽ -\qLK.NBqXcw=&.^ sq3 ç}hEiƖLGXXfx@!ud,`j. 6U2? \$-#MYbBb Y$"rӪ<~8Ur|:c# pV h#/И¯g f먡hK@tmNhBxY]^"*?K 4R6x>Cl|Qϳ)}m+Wl\7%u{ vrNB7yxiL1C֚z$) zD367o|Xfjșc3E`OV AVU*DdeĻLCek*V=Vg#q,I>!J`2(e-;-ֵ9VX4x it̺x%f֧ab :}oyigjlے4ock ՞SW(["fD߽bo$2A@0|G&#L ~6nlt#SCxW4Df2t'qGXpePbV;G--|u1`N q6:se%0Gi;L"p/=$8ᦝCJHb][iWC@Kt(}q+1XՍwWbxТ0K@FNkiA .:>+,kTy^nķbʀ.9^J5OXNsFI78PR>} , ϋtIE#aq?cNr;𼹙L//,cKo.vbX]Cj6<̦VuGABi5l<-}qhp⨰gVz_M* 'W8ZcT 0K]{T5=2d=&;42MZ="a,YӬ]mb EѦ*M#t_M4{O[;, 4ˮ1>gXC}&Q't^hG&7>[ߴÞd}tZԞߙ?""e_qCcL2|j@P02 ftOCH9 0x/Txk3(600-ސJ4xq+LԹTư03T!d=wMŖd7& {UGLl;\ŲS|lpqDO> +ұZ w3^͍$< H%MMݴ7Ϋx芫=m>t}@Q{qV ԜI@BV~I?Bm>-$! E&qWd<;F)`t&"ndu oBve=x޺l^MZbG*> ڟŜS?hcWњYd9-ӜgBV+ZTa\IC lMkAИAJM=+7N~A/HȠ*7+ъ>{/~d0OUDܲ$-BhE5QryD;.'IkuQ*0p7}9evğ"nLApC{ \XtB׭a`TP3MZJНND/eL[xSv mD:ėtC3zfeEntըthMk1j_D_};hu؞YڽqqCW-Yރ|duatt8d/ oCZyJ/@'nn6=n)(l9b!bl9 J$VvR",5cia,煿WiI$64c( y/"mhIE6 X ACSuka:LrGm{v9bB ݩ&!b@7zw9 lj\Q :΂APO*m}k"lFq[ƒiQ~~|h+f@" \`ȥP"lXoq_d\D9.TT!i j% FdpKmPre}X32W0MJg遯\2n ʾT L _}P-jQ SH/_L8(7TF'Cosl MXMg#ƇOLp|8lYvAѹh5I drw {hHG[u ’a4iq욮j:8nq>}|kT9᱁}=]}Z4F"ը3 x7DkO9wy1)]Bqkw4:]Dh=S# N 44 bXti;^N>bT(: kK]V `c{AfZlV/Gё KWG^l8HͽO@*Ym`BxPldGN3sua! in®p%\eLDTc LYˌM&*:$I+˫ k9 xT#eݟܐR`$/׈ c9bz )|,Ys±F9p!R c`.`J* %ĝ_ /]K\V4bhldeΪ @AM $.,=Xc8 G9%>x~t'GF.ǡ3]E*DT&U去R|7q;Q}XmvYVfiEd#̖-\7 cE!ؒ^93)W)+sO+mʙI&ewjlOZp7@I+hCY*~QOUQH!%F2VmM<jZ 22iC2&$&X_}GYôxaŴ F9ǭKhumR@;@6 W[7Xh눌jNL@{ٰLe%mfxu[}QZW QaBVjNF̱jp(3>Pu^6{Ourſgs˧h&{}f?f#Hwעv A ceyKEf5_{=&/l|h.-䙄\.W2p3} @[)٩s^8ѕvPЬ}~hA:V::ش(:ba`ؤ.0 Éey;ƪ^h'&dySYv3ňW# Ճ^;eR࿋ӦG^:GQ딨>>*W>9Ӱ4A2YPugȡeHr׷'9Ƣnjqig9>KmbC{1blFZ͡uް/e|eLgf, 'qئ{PIWy (\ (#K!5qU(<(kΨ]> %jC /MKUIۗ1Q'{b mB[(e 8RgQ%PDwpw٧iDy2'w/DAyٷ֏f^OFuD$NAi-妹Hξp] GFh _OİBPg%܂R&Z5Xh`"s=bi ŨUJE}d 7\