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 Z9~ < ] HOL-Datatype_Benchmark:threads=6elapsed=538.236cpu=1996.116gc=753.1687zXZִF! 4~]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;KsPeb w.eM"@SNUhOvHI_|Ptߌh1K緂K9s AO'nE~%FVq 7?w'poPxLb!r~ݻ1CG: Dzhrv ɰ>#s3HPqcbs~M"5NS-rIfS(k{]H*/Ӕm=K1@쑤H$7ct1eu=}~P܏d2[Ġ:Q57&iNfʭ_갉EKhNb3s x'3BZMX>X7b3Q7$(ZsT+,f %?GtM 8CjV3&ƻ9i/C FȀ:71ȗ>P!-zscj {4jm_K]dI4VIQHOfq}3S3WÔ@Q]JE9@9< igYZ7zXZִF!  ]ŗXiɟ1)*u%9 L4?##s*-Y$BnCݱ[ ;l6'1tAA PJ{똱 ZhUsQ0HY {qz\w!j+$@/+=;{5.O,fʆ0.2Xp kGS}%V0 11N.N|_>Oڶi3m_\8b~uUH|wc*ECȓwݴo,@X3yvoqT*d4#_rA 5j 熓|khT)wŃ a6hqԢ rA*$.*)ke= +h -3Y7兛֢Zgw.8*ceۦ-Eفx'ɮwQ4yL˪ }xjHK"mՅ +[dc_HSu|ߊ>jGv9[3/\~yn%ThHb}kYvʍ%K_^?0<^ >1m#C8XY\́>V ڀz.9 (R P_?ڟX 4>a1W`O׍HaذK!3n6LGwip=_ Pb;Hkμ]g C@>O~D ;5 0/A?d4*[A;{S8M/B5Dk&VpaT_Qz~㥒~ya&>t\֨ljHMI4$HѦ+&@_EǏňBW,HCk5y i{Tw*v1<èL89L3C}9_sh߫[6];;`xhXc >h!ۢx'K߸;$k FJ'+/4[PlfMp^ )V_.q@Lk.'jr$XtZrk"@9׳nVyWƕ (3=71!3F&N+ [U]24)|X !axҩzExuZJɖ=@A75@).N> C1 dA.,]PT% {O+ߚ5kF?"DޥZiR t\D5-ͣ(\\]Mˮ&Qq)>s@ d,Q "gYD40o'%pg."Y޶DLSp>|m^5-w@H*5ܧ{x ?BrB50Bp%W9?e(I+Z/1'8Ͳs_6|ُ)Ty l'0l(H]&#, 7󉪐 pdu9~Qd` (.#ډFX(u-i-@qz*bLK(.H,dZ/.;zrvB71Hx6 {ras. .`%+h,0L0JGAzlͅ v_Wq܏߳3yQ`r`d~2y?pkO.Wi }P.b쌞aق:eE*,v7F 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 :Mrꕦ )8wu$)U[FaU`EOyC1pQ{G,`e0~vyR4|"w5_ G&i/nL{fZ#AU6=Y 7POG5.&re~*dJkjn5c^J@@,Hjb՟dqU3XrJ W@DfJIj4-3W{fݸ ל ﯴϩݒg#NI2OWQbwָ ye4B-dsH֟ER8"S X OD ?N 2`&RL}>j׮H,V\ uLȪK-鍩$F!/X*4&a.Sx3o3.%]=)qqwY%dez{\f ;W>\mr'N79wQ~טH̱ũ9-Z.L[hGg ǝB;d`q}#u5O*;ΩX>uS)f5]0%۳"odHpGtyƗ|uo0?z4ϩFyt9,.M {{PbUM(ƎM7y ֕ќ؟^YYӍ  ]͉#e'̿MUSw.gr|6\LNw^Z5`>[{I9Y\z ^ Sf/>բc0i Ÿ&gDق3𸿾'ZQ|6pc۪'4HO8w9bs[‡H$;mxlsOPhf$ >\NBbLW]lUP*-Ä5/N(n@By3qRKn4ُ)noIHéjͺn/ "V?XJ8GeqcvgЯK*o.oȌLRIXZ`PJiS3>\=x.l<Ӂ(-?L'hX/KG͑|" G7BrOH, 块*G wl.-Kj{#ǧv8yvp*KC]RQi@pc\এ077V~,~dWάPZ\b+5 Wqq4H73@ 5ąTI"`aX33ziaF(Ia Hb ^75GmWYCyK tjԑnO;DKw0$]k+ףm;R*8:xũE1nni~g(rM,] ^cY"RXk[^@;h?UHB/N Hob@˖CbO4Cd2~G8vOUQQ z 7q$Q1_MT@`^RG.A Rqղb\B<]O`TkK$UTpp~N%t窹 WxvZ5>Wny:O[zPW_NsK$ xY}0AÆhciN~"A0o(,z~ eG .v ٿ!\Bjx7U |:1ԵzG 8 RQ `9 ]xd-;mJYi,}j&!!;. -қ jQ,77šwњU2nۦ,nWc&5އն{eӬ-!{GbqJJHBm};M+ފzXc).?~Ezi͡ Wrz|qȤbZN0U[ G%o*IeŲUxu տ¥E!!]AL)̽RG?[#) @{\nx׆-nH !,>r]ІE.9N<[ V1"agL%IL8pX2gWB$/E$nOL?r` M% "JB%JVMfmzLc]kva W(w_Wgyt)<D sQT-G 66 b9w(fy[]a+`׭6t(d4Jg879܋ql|-A>:%u b˚K" H7G ^|> ${a̶I~_n1g>ݞ)IHu*Bb`S9kܧ P67ۍrp\ gcaN)=]l4hGϐMy%gyh{) tt5(`09{8q_/F5|QD'5 KbI͍P;F8 73J&~n;,*ifVuhA l?+K0@nOyZj"a_Y|:XqmspmjPoS`f_.i|-L1>@VLwWDҨ;8Hd~tJ1f&=[%!k`o5|_9ZkZ8Ei$I= l5)Y>LTJA/<)L$ղ{F8QGF݁CUbжP BbA#ѩm6P]Z{lW2FR&u4M닛Ür3`sxBB~򁔙ÙU(J  ܮ!0^^.+ i060"=I᝕#D6MĜ$31"32 M;yCn-=D.co8o})qTu֯OYD,_Æ7?KM i\ECt[/bH>V-5z'>}=GޘK-\Dq5sq(5=2mu?XKJmc lkV\?su8L9]<𙳆G<27Nѣr`rA"pBQ7ʼn9ឪ{DT⽲nFef:aӑAO IL9gd"GY>I`g>zcDjw[JA ;E s@[Scg>^ϐLܶx4y:P@S-;se$_E-oC}WU(#^ 3nZ\?lmQvk;R4dݷٻ3i6oȴi; LuF]0^-:*<1qȸH~R2nKھ1FfwuL]pL"v%[PO ȶ3Jc Ĝe]$i^A&)b`._I9X~-Y!h />!Y[AwY;$!f4JF׎IsT`l}b.kR޷E=C(P!W+8N }Q` 6T( af^"/iuĮ678X8b<`~ ,Ͼڃ#C_$W/7~+h>1ۍ 3?b>0:ZQĊ>_Òwkk8SM+7Y6f@&-BbԸ@CBVv]SOw %= B1,gtjHS;TCW71W:)P2C|r sl|1s]ǼL%@Cwd^}&'7Gnߒ4vR1=f 9jzpr)*ݷ?tRiJSOyF6ŬִjU} f+mmjd5806Ԡ -- lDŽGŸxN`M^ HӅ2P W!FG#Ŕ^j)H 6/[ UJru6" ]:$:2@Fu9,.@k wWi9Er B捶r1=pQ\+;X14銏8[Z'Ǩr_HCu[>)˕P]ܨ7Z7)2h"әT`^MfJ1 lK<"?}d{COuR3Ushe$ls)jxD*(q?^ZPIv n6 *`U?YHa;ne?SG4HIeݽzCA-< BR}%9GR>uA ?mxs}R;t|㱠^zwg޴F;K|{_Tb}~vDe.\nE3'B`uw!ߺ$b4|\NY'gJsj* *qĺqӞX4l(D  N\5!C Ac뷆,=zkZlTգn=ih$h 9˩'6)t+y,wNy 5{\aPS .A'dLR\D"ӮV-b3s J$3^7Dڱ w햍-b+NNa'HB-N=4S;*[v4:9)V$n)ݝ_{ xV^=/پ$oc"no){{$@Zvt[z[.;ri7mM rN1<|IּC/MB~1kI/C٭Ëeq?awF*@ͳAN/f0;duԶp]Xayr/}7&CUSZDRIҟFT3LW$c&Yd,ӣS3LhygP@c#a!qO,qu7w R/cp9,Y˚_aI>ٶ6DQ|=[VB?CLԪ*!c1U <y6~e7 Q*'KԊp~LEll>[m&B aDblNjpBH;^Խ_p]7ɉJ"1`0]6W,Cr1my9fշc/`'o*l2߶a߬9zQ-7e'.JU=!~Bd3)Nې|[uC<ݽ 2U^ Oҩ΁ƫrSʤ v((Dk9}@'7D^@p1Nw싷ʧl:2۰`;ob=826Gll_1:D&:r||S7xs!(+s ܥ'D2Sx$"1Ūq k^ڲl31LSe!^йUdILTd?ـZ L}o@l)'Cpu:'8ŕћA:1#nV39SżS.dL=2懏Eu97\a1%FX0r'Oq9eGbƳ`#z_R~R&,3m(x_0&9͑N_ͩyafrv@E܀ou]kKpN^Qbݒe]@}%gMԏ781jj7D9ܱ @h욘؊(j<jT71@zPt*dm ѬnrW(L LZ%] VIf-T?yX./E i< !ϯx;Glx"kPث]Z Q)Z =aR )yhN_[AVi\~N2Sbllj?/@jj@j >D?|Y9SnL΋ek<+ :RM;YcEscTwR6B'6wLr) Q G6m/^Y I07quvvؤ0Ppy P&ebFWޑ "P"S[f !Eګ\SLaPX( I{=̫&e3+B:ɦO匉qzQ`E7CWv4Ą,e4U]aK &iHoѸq7}L\dH 6ȣlhe7Ct0CO={%v^M*^آ\?j V]T= Ʒg8^2._VaKHt>aL4#ǹ)|g>y|EQ*ࣄ=[s/R!S+R/ė`J<;~=l{џ4|0y"ValW=|AJ'5靨!H[sنVvb3*BX}G1x*4gg9*9;(>1(= Y'X(͝/Xq LHaV]C Nnò)'ډs֔̅ Zu#tT^ Jy\>ձhEXE鶴yK\e ,k\EA8\ r,B87LW7ywsv7{*z8P~40PěfeQKhEYD,>%?>SSFˣMZYy@ >h9j(͆i"׻>r5Izђxti8xMgϺ6u7C=UbMAUޖU1옐Μ}V4^[[kjb#@wNtL,W$*tg%Q9h v:)]6SV_7*ί`!X:$Z}#B/٨)bE 贠66Oy"Ǘ Eq+g߱ɯĭ-~=Xxԭߦչ:> 1p.QN>H8AGFU+iT<<"K1H4&m&Lj2#x:IvR3o\,`up$ &'Ɉ+bDaB\9ڔSk!r o8%lMttn'L݊nS݅ƃxK$<=63fߍ^ޙYy$o4Ev9xGLB0^g.pNmژ"Ƞkxg5`J] CasQ 3uUsm(Y )|<52[^g 4ӞbQO_Cf 5^BK7$M4"`&5{Χ"n W,3o0j>6^ϪvZ/.8w〺*{-vl3aW&Vi'ކ,ĸWI\/ %`ʑdJB"o§;B2.pASXMRzӘ6Eϸf?q䪧\lp^=n_^E++>\uy4!d!*ᲺGpۅpI=)Go"BChXǯݴ-c0g#7r'wzT@e8-,Slܑ+oE{Dn L)XG կBG^y1+5U~Y8V e1bߵ, nN\:ܲ5͈83q@~ 0%YteMf(6t6*q.9w @: $*\A:JG!Œɚ&|Y`d{ҸԔT*ུf஝]87rmW C3H^Ej(ml5ErSEKUG, g>$TGKjuPxjIybxw1[:d,GĖMĜ{.>.c UX'3hˎwy+A@a tF|bفWlƤzvcNtrs oR$^Igvrvv۴ˆCxHZ:"n:ټ`jq}Q.*] ]TEl Mz8*jHHiƝMu;a|K+^MwI`U_;ɇܭ!ٸ1dt`VmUPé6u3)\9-?O\z<&`[EɄvehhEmqS*hj͘vu$'HQmȼvVq_ 5PErXF[  6sS)5$=xa^ \@/ ګ.xq(2OpʖxmvZ;5ie}딬3@E!kh$lE}UMJI Є7\&Pꊧ+H!X̅"tA7 nM.eʛ~kAa )7}p;lewU(=¿ͳ`CZ0c$.9tlW"+*ҢK |X5ޕwޡ''&d+HIyFRůyc@[H1X!rC\*H5Sko~w6 ;Y 0IRIxKdyVgk?$_xY]i5.WU[W$\$, ;? m9iQ Uƚ7IOm˾xGyS`fp~$ Ms2^P738i5׊C3K 4E%}~|<-U|$43'4pM.Lfog9~W@Ml>!NzXo!Q"-WXӎWsI!)1\M627n0x8sѲI)H  _rv-Wȳ*jB߭Ʒj)Ir@KV~ѓo*pw p=@M\.JdX!R0n@  *棎; =zϦ.- FH4$ W0w|1(/v7KqӒ z)>a_پ&0] 囲;-Y?͇Cd",),~=Vzh(,[刺t,RFc' + O3^ѱ#trؙ FU;'VfnxRIP\T~D!6RY^l4|jt-.-7yK'1=y-ͥ?i DjNĆfo,4h{ ;h:}|hL5Yn?vq+Oh8A#mm‘y]怠⹼kt)P؏L*&{KA]1 ;hQ[~%M2HZ2BO̱Br60}ʆ# 7MEe3>d^x%ڶ5J3)9@)dvhZ+J W;]~ك.KK̥6KHZOf '%F7(Us0ueZA{W.MZg}g,銀@LbjzP%NǛϿ.Y?}drحm6;2EC!H+ ,(hOt3.*G5Pi#yWQ_ Qr"x<eg*WUtdodwH!kN7tN%5HߥAZ1G޾sh:;&.Ǽeҁ݈H g:3P R xtF]*RҌ}&vbrć" dQbxi1b Ou^,ڀլ&Pƚ)ց} 0-0k0Ď[?pTݔjgN{:CkޯX${49'|dtYE_}̧m3;jJqV@33vyDDZQtQT&/¸[,ێ{c?'Fl_`# SU*X[g ,F.g=!wUj]^ a!Ef⑳INON[8yi{EZ|yOpOU- R.{{}hȉp-\ր `CJ=a\47+j]' 8Wɱ̷ JR5lSçVNAHlq)}QW1+`W,0~EqĦK] {V Y_4<ЪM#Wܫ:&}2-Ÿ&G3Bh"#C:qܳMT"3KЉ~VnER ӢIrqɸ\+QaPS,Yt& t^'fHP}DJ/C_ EsS4͌&A;߷dZWĘdx2 2[iGNg)ڥ*Ӭ"Z Eآ<4hQ IwhNqept!'* T=(Ⅽcu֑șԇ-A ÷wgQw#VLhC 3#S*lk+]WG4D.*+5zwiP,މCeƓ}`ƾ7{՛헀*%"zꉖad3/tmB#'y:oA}J xo9i_z%_W7%0*\c"}3^_3ea0b{Cĩ07>;\ag>bo)E?}hR?*(Vq;͞& >kb{/WWS)/g=9<Q@H\^:[K/BiDE#⢕ϓNVVw%Trg):Ke&e%{5W_‰Gv9);#6|[ԽC3́2`8.cMt{[QٻH^:քrUm&/1Å"?v%@1B*jXHS ?TjHn ?ڬ, ȗ!@r Zf~k)0ۍݱ"l(Hd}NaFN!A8;;NztmAMcO/)oK'(#~T}Zכ->skC0: װ/tWxPU^Y:nD(Ӑ:`٘-0 e!e׾iZG7T$/Prn09JD/|S(גhTN ќ_}ix$1P5:2]N#؇h FjcH*ڊM}X18!!{_,Y(Į썸 !E_%E@7᯾>ؘXԁ?%ioUύca3u N#)_o =-jՕMv2ڮw0/ݠ-zo RP<}2:Zrkp ]>v(]NC65 Ktp]_S;IVSx(CDzH&6=ꦔNtբ0Tc6#6v.$V8WEjjVv#v*Eydi}n@U*A{Р!kH)' ?Sj8U'K1E==qsw8[BJY*-{0ʌ`ѧ7KÝh_ ɬMEܴ6W.a("CBI~|ΊS}ْ8Q񅴠T )iG LRXci7د䂾'I{~SdK{7Q*B㚏~4MqKb~ 8z{ɝK <, OK& _W5!J#5ӨC2+\G>ЈzYJ(_Gx>|Kp!o&;]g Unt\hZN$4Wi!{6OSM- y':ir >2탩ϧ"I?4E]5 wXtu9>feKkdd;# ɪk Tv og:Rn9H(ԄZxL:`nsc2 %\=ZaX&S908m*vmlz). ް?l>_R?i2E.\ L]@vPZp|GGM"W4Vr|Q}Ӏ<=>ozi!M<YRde2hշ]a99lC R@h-P3Q'}t;P|3 *@j83;4]3 0 O0-̲f/<7$Jfhv]̯81m8$ꖨ0dDS߭^GSChI_|AOwT]1ɓQj֔/鐂sha@`[Lt{4wsXb!9VrH9Vs8☓%b2=}y@Xs:j}JbDB ku#??z6֥𝊬/%Ml3On'ƒG \ y ayXKh< }=l w0v*{X\ w!" I|6%lӟ`j.nxM$wgsMHuWf7kVx8` x# =ZUowm81L.ӪW'%[[ϵ`E1"$4epgK +M7My]h[+7I"Wl6LK5;$(meM[|.h"Ed$&Y`ŖG\טS7_wm 4X} ;unr*w(vK91k`>˕;ꩱ,ڣIJO Ef8Go"8ȷħ^ \,׃X!Eqj$Mts+^76J@eX΄[Ѧv$?f32_sEh={(";V`1P%/FG*bk!rVKS" s-]zƔٜ$sc]Tm+8ـӭ} S=fn84Ny.䳒To7sI6=} F[oU~6ۅ3 sUQs)4Cj2 )IIB H` s5)9Yg2E \\T?|iu>g,.4!,*jxvaHnC? ׭ŠiC>~ D 1mHCPgQPx~Iϣ5ݥX>f wZ|;lSsS~C1-[,&yֻ뽰O%.ܩcD/ b/F^|O`բog^XvwJ}ǒϱUXԿC-{0Y.H B76?otwNV#+!#2~;'~A}tڛ&T ^sр̗-8PZTC{{z:{"WjP&w|R6޶7H+3I_lmTv>^8)?-I5BQ4BDypŔt ߵIF8C+E`8"rF`12 {وş c͙:H"i\ fQ&$GtEw hlh}GfW5Z!eD gJۏ &7uYY- ks %n# ]i$4k}KS x|oU)Lj";])r'7$=?-}\"AyUEXW!&}fźc d1M d/IjR9^T* bR_>a ;_>4k a}N OT$#:ZbR`- ^;e50\ 8,sU܅+ksY{KCWr5 Rd%։OX)tz (P(mM}^[yBVB5nL&xqw8;juN%2?x.6"=*_eD`'i|r6&@H% UM;g$H{Y!]F024Y1zZ˝Y?aע^3Ӷ Xm8yLЎ93j dtԸ' !&{M__'ȓ싋9!ʎdR Ⱥ>Qݖ*ElQC57,u2GJe3me?ߟ~tq %AzTwBz9Fأq⫨tĄkc[JbBnBbJ2,{{>kݡo:oNٕʡ5f7ttUm|ިJ\kji2'/ {W1]՝ب<_N e(KbPf4@w\s(YhL"tT"*H՘cGܕ6)B@Kn$ːal6PV?cDR ELkHX7` RY#ڧ 㤘>d=gc P ZΞY-jA CtK,r!ydRV#R%$3K>:t6Ucy]+Xo5˧J-"כB 5tẅ3wMe+kͳ"XC Z3uye1K߰6kՈͥtC!1q; zRHڋ {7'+|BI"i;.4-4sƲ36]u>T bۋhmZJ OeU4eЦᾑ\I^̶zWlM[du%)ZM_&S/FmfKeN2r޿@@!K"Crx)*&@aή;9=='?oT2"1 HdUjt\&O/g`!jY3;U6BRtT#|Pگ3Z ?BKy.hA7O+-ǾkV!f9ե)pѰyQe>*yi(~=IB_2#$>9YƆ8UvW[ Ѐ͇9RA͚hu'JO^̢';/nDh˽)7>WsfۃoJY`1VSpG;wl[$t\4st^g"*?h4uhـQ"*\WuÎXq Ab1ֶ,B^~doqPtS2ف>DPl:O_(r+Vla,#Õ݀I@s? q[zV)CP _"Ŋiʠ,{~XYlrҶ! yo,ad5 xAmrBZ@jV&Ϯyef>*4-qDrrOS!?<ܢ7`RYewwK-~(M1`_jhIee2.oڅ0x?-_%BMUfni' R:@$Mɪuu<;{JTYQ7?w`6TprOlRh Yp]`0[23?X{zQHAU<E6YRn]lTrNܯ ӥwcӗ+_;7tY-k%6gu]E~EPS456mcoD@[,4  Y:8d ٨ Aҙ0Vg<=]yasRHA% !krVSYjH.vz=QfgJOf+Ԇ,  pb&P'0rn`CΝtK&h4nbb`M;z fute`[a1^vpw{\SNEX?XdspA} @#7AJ1)$/LQ0'pv&'HM2od)i5hζ«ժ& +ɇIna <i3yE$vAo̐i jFM mY-m bxaNy++oZ/ 1( c~? #KQߨP,tRğPu;;|딷r_@*qǚ5iF.3MCFMdM?vshI3%w0U\'$V47M9Y[7XӶ`v{c-/M-ALoW~{뻫]Z;:鶊{o` hjӝANS`Bܿ@-a=NbTo)C$G^p;\(B+6Wۆ]_Kob=C@B$o9߼'PD+v0pk).ظ%4|ukE 횽;L+&LSuxٍ#>|H^ \7B}4.)? 5f$}4ٖ_jD< +Bw\\H"mx߽x{ejuzL" f%,5Blp0Uq j fQKNqĀMmhA  #smdpki$ _׎M!I|o _q&OCK?Lb9J""W{F@2086uھx|NԼ(-/F Nꐳ'Ŋl h3W 瞀|۾0W>[bmS>oqh{MYd?і2["wQ}u K`\n鎨+aSJ-u)GG[Lx0 .G}3*]R߻mRvnk׉A:{",<Ղ8Wdǁ}y$1#~ғ zʷ]uA&uAi{Q&+# kuN_u/€O[NgI T#n{AT&'2^c3=c}3Jw3O!kwqe }xzq.$)JVt}rY1}|Cet&ZkJnK%;p^oV @?C?m@l+B?a݀͆) vT KԒPY%J}ȩucp3b1.\sوZ.5zjGYzP;D4Zb3O 9m2eblJ vŪH@LL[d\=[ճ:>%mFS?U$lTl>9;j.%>5I_ˉiTG؈TOR2$[KIR`KE"mG%_AXyj ]%2}(7m|y&Y G~26NrPϲ`(8fZe. zɗzAR~ζ K~"(7Z!n] 7qz=^u#G7+t5jGR_6]뛋R6>l4%H@=x}u4u}zu`Mu|K0DafI%I>Bqq?5kabK!Bw)ꝙ=/ֹvBPř91 {'OW&UMgI傰r_D^x % 406)'{62Z9OLDʯFUI<%KW{[ ,o9&AxTa;aZ^ś=ԟ"iAߔD'0w^҇'t;&YrE͘ᥑYNY@Z$qiBR1SN5 ̺xQy^=wI^I)Bje ?R>pG63[twۡnR5@ 'z2$_0.0k rke]&rs9ɭ[DF'kBb=V@zXce,f !*zls;Uƞ`0Bǯl7F._`u+z 7"VFdu'ɶ1syotMp0AE39O$ΧKI Dv/m23Hꎕ"g9l8$멤#I!yC> ˰G h2hk0/`XY6T>F5цPxI2lj%H'Gu8`ANo(fdމnϋ~@+GN-0?X/4f\0cQ=x6͛K$u5\!A?vq|QڒLW>NnQ,V͸K݂1RHd37<1d[e#G|t]3nSu ل[ɳ<8O8&Nl~֏j٧ѵNojٌi:"wI|3YChrhW9ޡЕ Qc|G mBwϟ:ם ˂ -z?2 fT.Nշ%Nr`68ӫUDH^wՒ9 o DK-'|(4=Nq ɑ9j'{?XAbvܼ0{.,{AHx5-2$폻HzuO]! s]Z"Ef,*[1˼,E.=bGUQKAOJF"5"ieRx+! 28PMsQjrEJsPԀ,NM'ү-\4YIxM_vȧiY ܦ5\YP#87WlY+xIԅ"hT]VD?9jLK%C@+*ZX@+% %gjk$1^R7=2`5T!쵖=CbFȂڌE0W☚ 98ȶSy|d37rB ?RW~{> 6$d"C\&ՊmGK"b-TH6|<; 2%ߩ%&= w"!쌞s q= ]MDa RjpkEZ8:k>Z*E?d(h\MiΧ+1eDۆcX(ky&==&o_x.ψ{<>(O y%qJ~ffmPfH.X"}*E#=]ޫ:y-0o؁%/IeMn(mNKXcdV~ZTP$N =K[;h DYURˍa&FF?AfDW wc˴+M/" ~xϖ)p#z1>7@\z 4R r F̌ 1vYEg5Zb$HߤlLA|t"SfuێڽWn^mDRy6QHHo49âH"%lDd= bL>qːky^<}9Gl jX)a$:$8, a4-&_ʑORpL|\P\VwgGK@Rhf6[4)[Sm=T7Ī?LJLLӦ4ob)aho5Se+Xf8XZm\jp3 "}Sl&(BbCpήhA.Ju!;# L U?Nn)sR.c(N+D(i&;\J,`rzo{_.V~ZX/vHdOjnTQA˺[v; ?1CYI 4o&Wgu(M,3Fkq\?w1854Q#3eZ8S.o÷ל%pQ=V ٴ$7l#:qa7nZ߄|ÏWJrI7,/eKB!S ǔմ >"ki|yG-|1TGNufԎoxخgj~uOJ,B 3y5lmzoR.^6w* 3I@T?pQ?$YC o=FLmᡖw!nmUYXfg@J7kF&J` 14cZ<Ggwax\ R ޝ"(3TY`vuadx~`@:`^Q7Mr`a?˿ ?K)"yq=ˈv(d:*'bFA^8Q u XXU?`/ T\D Nbn"Uɏj̈5S:_LHTw4c*Zf73, pw&ܧˋTd"-p(dw^e1@ آ'Z &tei|.΋wK=O_DcGh}9S%4(ZpDKKH}yV\}+QCi#XL$ObQ!:v0ppN9dL߽(R8Pf 7hwH6Xe ȷ0$sĄ t xD6ۢwp@x2*0Z!<7G5:jGgln3[7πur<dz{bsp/pPȵ ;VA$ D[ĞVGuCMW${Y5 duw~L1-9"s\SV ^Ev"F3KHߋຶwFBʞ[/_ 4};MB?jorO%[!j(n,/R ɡ$:-p9WQSrh' &/:ΓPnN) Mث;GVo2 g#Ǥhϩ'̝)S"˜UTU,e"x, uiDb W)ܶ75L"^iB:IYMLUcMF.%,om o5ŀ^쫙 MS7YB#Orʸx%qU|TTs\$zw:+mCw1S Q!3[0?` 9,^?:ċx# m{,ݤc"bF"HTD31 AH⹏ΨIy*/)hpU r +xHT6M`EUe鵟qw-)Kz69[ n;: \ELo6 ĮQoh(2ŭ=aх {]AebITK2bD'X?sho6tR@yxkX ?HÒL7l=鲉R)A.Oܘ@ cCZ^_V@=*Ƙ.CdMJ }X%KZY\r q_ј`B \:"p6U-!B=!`jb(F5=7Tjx[%#6pmKnS_04uPdK:lbz-.+vѹl3