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 9~l<, ] HOL-Datatype_Benchmark:threads=6elapsed=490.034cpu=1969.164gc=722.6407zXZִF! 4o]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;,2Pʫ$[õb3i-~1ޕƯ^)=+ I˷ ~A4kYk\aLB3y.RuP {gLˀ]@kr;um1 4SEKMJw+kmh4[;<?^FvgSFt6B-Rb/Ց9]"Ѯ=@ o@llwDŠwp/(:y 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 TXYoq26tz9M]WlOV6,Om/@2~,RB@H}RY䏄|BVU4[RK:68TB%,g>]m +?˼^]3kF3U5"U屒VE\ g+~)'C 3* פޥIGI䒐.ݘ99"P!55JD&ԷZL)4Ovę&tZ:q.<%' G8QzM$2n]JATs-2n=և4Vsa}"s1i̮н 9?? i[emgYZ7zXZִF!  ]ŗXiɟ1)*u%91)0,7&dVs{^AuiUP^|O9$|iYeS[N&TtN3"\iNyZIFgYZ7zXZִF! yO]ŗXi%F9?Ou`¬M.XlPv%r߾hȤ|p6 d "Lٜ@ZkPE+`] ݲE zw~{N=ObZv ljO0 3)8?y H&O5,ZLdslǜK))S,MN@*ʼneH^j>8o~x= -34@JPuknC =#~ETq + ʼ9L!1$钩v eSci@`ժQpeb=\cc4>ٮx㢨>?F;^Ԑq[xi9`6v]T(E,pBTM-(Z4G}4g Q_8e FD A0!R6Kf}]MT{VF7+v3|,!bz V44$ vTfBzRW_Y 後p-Ϋ#UE'>ƼpԐzӊq!|*1eȪ_Q+tɆd`h>e5pA^[mL/R郾\qC؆!"-\g˚B3KBm /'j(6j2jKQ2YOK W ?\{O}X_>Ak~l߿S 7c}J<>) ӻpUϢ4ey?;A7a g2)Bg0c8Sֹ,*9E<-EU#؟ ֟4J-W=W".iCz@n!&_6u a>n0tzR1IHea5րTskUo\W!nwQ0pq5K@|p5xvk J5 "s`Y:ncj]Jtz[]طG ب:Ζ~asBNKa(gEs^'k,bCYRY՛:UCn1T׀h7s/NAZW*.4Y7|qV[2̔E7_1j,X%Q2誠N{>V?-gwv} /(ъ3~P+ . 5ýɽQԜ.ީ[aZniz`@ks)L% XNiZ=8ȯ ߈B({ VH!Dbzse7>[c~؊MeIVy*x%?sxTein@Gů'"Ml=-*X(5j›Jfod !`Ce ls;j4~wbO8nEG@,?G/ϑ{ O[NopFpEn|+B GA{Ype[oVEI Cț^X1urw `,Px?Y|g L߿Rba';w[5C.YyfLgNk ܲQtQڎr3$oNoIC &1;#.機e"\RRޑ 2Mϐڷ{WpYQ_|,CjJkEEɢ̠=5! .uLt9#RT28pVF+< SR t%gGB`8EX)1 #Bw-ls(B<CWuw$2 Ze-YOE!qɎ :%ʛqQZbRGs !3n;K cüޑr|?Ak5ov!d87 !1.Atz\IJNΝA~r;ße?rZO/$NTİ DnO3 ɿq,J3G?J 5{MQ B Hx>f^D}8>y Ude@,CJpԜ̼̘i4tNxB8ٜ QX{I`_*턙`?04Y U.v_c,W3jIB>춫 ewU\K?lMݟ&Tzj_Xr5>لR`F⽟va}u]j'hA܍jyVNXѸ "AQX `ɺV]ˋ3YzA)Aghh3h}" ,DE {DSQ:o#au><#TyC,rJ0ɚ7 J!xLYўZe3N: `,2iFxP>Pmp1Khrj¾H_QDKhZq ٚoe.lFvWB%w%6@F~PȐ:kUGÙhoc^N#i Fjǀe goH^ft!0cN2$$LCkѰQ/u$: t+[d r b̵̠Ŷf,qP2t I9{Jwe",bD -wl+$JqJY;G;/&Դ Ԅ x gꝏy'd⾚)Fi)qh&?u)66x;3k"z$`*^R7;uhW~|x-E/93A5 ɞYZk}%gPR,Ul2(+T}uq,cGEGd ^ˬz9]4^Ļ6@Xx6!)Gް=-7l(}T$ d$:/\}'uz%LoMZNCk;(iFP9.|a2ZgOE3>,9Ve#/p~, l@yXעTB[!9\,ZjŰ,׼nNf^ ;6o=&S`9_fת}HDUDqEa'&iUO&4WGdu%}Y#!uẄP1r::pCp2bVo[`KO񂙃_}8Gu.T*9M蠙WX+;`*hUl.exvs'T4>344~=%S bNG5ށnMx7Cw:44oibu`fWpl}l2|p< ']JZӽO uJ Ew8Q=vm8cGMRe&{c%EeUb3uav=Y*z?C`$\i;h;$I\ y^bF)0}2|K={ 4Qaߢ6== :umCܔN޷YCv攺v[ڰTזӍҠkep7GN'd ft-ϳ RN}fqUеda&K0&aJS>l7`pIG@\ `|܃)p&bGlYɶ惥_I!՟ҝ'sׂ, K5c׆*)6:i7mDk@2/|bһՁDnZ_bMV)9afka5If\1xCGQ*"^6 TאRql2UvbZ5^O?K+Djo@z;b?B; I[b~e&tyZ|6{ n |}NE匿@˴2 ILu}65 r;`QO}e3Kg?buey:1yԍmN"FcH5,6-҈K„K,^ͰY_Ƀmoˠ$Hp\``𴙣Um /ݥRt?rY Y4yF?kiSREƢ(|F]UvI1bwpmƜ~׈jiD$LO^0?" zȻ=xC4I* {A[8 myЊ` #Myzf*( 8) FLp\8푹70[q2Sfοͯ{>h}YeJ\B7?mxΐjJ=;^豤 Ѕ]șlߍyũ?[hTko el{L۴ap`p9n#?AYav>J3ah;;T*;}>1%Hy,+{U9hB|"E }W24Ou$aY϶R? ٔE'S0Yܙ.4De[).ll14 K Z7 Oz%P :I@0 hבSd5[1et1*hMyJq[RH`2id8|mHhFQ'" |o<vY& fcOFmLH ,[g؅d~nXDG7@-2]K exM9"Axz#æsАP  zAVvP -\8lV[f#W5B3j ";ca$6`}׿!y߼aCI| CsxX]<ҷ۬ЦJg㈙b&P9I6Շo i޳ȇ3TzP2+vwpT\=>rle^6Y;+ng4" ,Utt O1FwDeZ"hT)|:mg;زPk.fs:[dF98{[8w5t!w܄7q>O⑉eսH; L<]һzBveU%`@Z$95D"W7j[O }VlF+#>i(˦iy8"mn+}ʺW͙AJi((U)g`& $;TзvgVWOf>Jк)c=Wʈc/_mL`cф?sSUN><\R#W_gϏG_T$7/Ӭf.k0˽LLETpjzX tÙG?^ʌiS#V'5wsW y 1ǃ=,_<:UzU;ֺPI}B -wke' u髓KVXTv%ЕM28]V*zdEjrmn!`{K ̭b",~w} wL5Sb}(ӴEq$s^MO4*rsXwm׻l|hLy{QU1Ԥ\\)rnnAbox1T$ri5Mt5'A4C}( 0J1XCoj&'.Q- rOZE Lqǯ{M5G }o,XϴLLއc8=ZYYhB8G OG5n37x#Q q:ϳwG7[T/XЧVRXSMbIsa}Rj$DZw*dC|5^-jrED<; t1g_) q5\x4F w}#$]; w[?@1B)#Ms,zǛPC}6gy_rps}| ]#fZនK0ˡ_B%睾 P@y/JcA^WTiJGǡL*3p {̩773^*_ʐ:_!:nR ߡ\ն_XqFaYX/ +zX9;* = AE檁PD)mzn~y}&K{>f;vm{,iQ5bX N%gZ3%|78 XC MO_ՆP3톫*<N+ OEU/]KVz6(Eﯿ/-:|$oj NcdP jHi ͎ R,0YE% YHWi8 3 &57<+҅l2mڑGcn&iK^PH0ݥ,4ϮPqXV3V'gۣKepʿYM/\+M&o 0b " 5\eA ːGVAd`4[MyHe xp'C,!_X71.^45zw"g [mNn@ub"zAD } #dҋ7 5}c9O(0cdnţ Pox2NՊGpǤ(: )DŽECuVvٵG? dAEac j4\a{qgҗVoe%_us1hHwuzǬbm2220l9IkC9E3=-~J0"շYv'(b ;54m9osV6Hɠ2!ȘzlBT\LD .!2q~tp^wiff# PU P֌o~CNJlb 0?4]Z;._sIVl@71s480ԲOK2dǻĊDbOyvD2i.3 +37vkjweS*⥨t$VlR wĩY nDB@g|"eN{utf^t@%f>CܧYV)Ox υ"q0! m^hgxćKV=N۾d8O2=h4WPp=3k0Tb[3F_zsL^%C44"yE2 z%ʐDөfPc\ w{7LRYHF)5oHj!|u謜KwZӤ;(0)h%>'W'}6!=j^2f RH\#}{n#y+Xm~8inx{7{BݙNS#`6Wz1ēˌ 0F7`.jʌ VQ;{1bJo -Ƒo zI >4SC}I5殨 @j\!6 +SH|__NO!QX?&Evt9mp<$T"]$mң^)@k`3y'خgPX`᭲&]Ɠ9nt8V-oa"X[;)?&jFhAM1Vv TQ!PEXX6 Q.:s}* H 5BsUZԅܑ1>8LaHWu㖏\z١ ʪøɇ@t@Xi+["#[R؍G|(Lu3F5У[0T4aY}I>? " wmhw%osETёc^q%rij.;U{x302Gǹֹ}OcD;=Ǫ$P&¬abHaMV aCٺW\ܛ 07Gg}wgK+r !x7,F9SIXepܨVҞ$~z"e9tRDe5鮵O6p]4E 7ܲ!"F,b]BLu#.[.aɀH^@[PB0>0=, Q\7"ʝ@ PLKrfȁFub)ꨚd?0cƁe:T ¹H'pk>2xHԓ|' b~P7pc'C>q5Pu&&.|&M2xفBKnu29bhmv"HӍ7RR$_cg.x Q(QG3bl=Xt43(qQy•^L7ΠD2LccPX@}`n r30OC>:1J gE[*MPSˇB-_r 9imzS9v"~Fx(ȕWՉWq_5!Un @/ Gȧ`Y1 fJkI$ ,T?h+{{jN @<2eyrM2c TV@;u| }r)5N`o&QRaz'Xժ(ab/^erut q0kebR2tMQ7*'@`Sӕ+m+~ċNr tCW_fe.9W䢃$i ( uy.&vC|reYF3&f6<R {:zυ!#oN'[% X(/._,zha |W*O*hn,yOvqsn%LzD< Nrr&4_D󴪊yub& G,:!p- C{A(Iu4u;tNΨ3G5~HLdEV&G=&)М>݊4(tN*m>Q ' P!+=aUg~Cl-|uWnBzV5% ޶ű6O,u&^FDAs}qɾ|^:ϚBEw bzb:waqJ-I_OO2Jv6[pTGvnĚ#vVCH e}Yvl;[.4'ٕݐr7sYGS ]؅}p'1BUL(c^_Xo,cZQ]h㠱9$A$q:Lr5+Q JC?#îgys3vφqWnpq@>'D/CWI:c4 V/aakB5x7pگЎc눻rx =fx᣷3sHB>'7GNBfaNUMkt\֭hXs/0b~)u>y%iKQNh*; Ln( 1YcEd% oG3jN%*T÷R)6OFjl-vxĶs^OPD*83>~K]lx wTGSjJ>I|ݵ},1%H_"= VH=H²R\ȮH=xYGܛa WAI4-nuB?_`F\0˲M@CnM[xȰV(M + F8vi2Go7LZ'b⥰wXZDߝ )kチX~^O+{jS4a(?5w6=K))<-RV[6˅K o)Aʧ#, x_ &iH//#\˺'U*8C2sЉ|J]hg$#?P <'fD_Y{bsH%J75\fGyqKYu}0"(ſ]CJnKM5 @ȏ>WM4䷯t\i.wAiz_`C&A$upL((7YߌCpH|x+l-5UkIesHlB.Jlս*YYFL{2J! G`({dhTHISڗ)9T2g%&=Ϧ1b>%֒ӨyLOgթd 'Vk@F)?iGsIrFT5eRM̱wcUBF'xVʑ07W& B͊\ 4P.o*#4/q4<Ӻ\KvkMy/@A fVxPrǍ\g ACy.-jO-{AZOA=ָp#[& 1p';ƎE*KN_1!3D-ۂJLV< LZt/3b&J!lF%]{{+  #x D{k^+ahwUw]IJ]!M FQ(wre9lLxZD}%*!@Ew3Inɸ=DnԤ˪{fF:I4<\xE# !#e1p=sY+KJMt: .^HBJt^3~!2aXr)!]{[2)H"  IL2>}#]=e 423W̶ް{n[h2-a1L/XC#@c䌚\3;!x n^%3l=-cOIGr4/%MI46^KJ xz.f* ZnU φ tq95;1INNxMgBt7T&ީd l>wḓ blBZYQ<[F_Haߕ/l_u=JV)Ж/RK?L$(:' ߷~ vL9הY]W DK#vdZ9v67>l(~}>u-wp˛ |;d% 'qZG4u,W`6yd/8eX_ w*Z+sMT14#|mrӟ[U^rnQ8"L_ؐK΅&|lJ_>S%/^z˓OƂH;uƣZ1 pečAK;I">g0l<7>r/vgY wlO+RE72JDֈFҺLBq+0uen%uWᄆMKE m\̈!zO:ȩuv|G+}tewaB @([ пPGvHD5o$Si1ɥ~F╯H0mH XQ>\Eg\8ŏM-I^;mv*UFUOJ k,*wkǧ-P/XXJZΠe 9w(!_ٞ8͇~nQyP;Ë#f&] e]5lbRT_ؿxZP$U9 VXӭB&l/Or3.zP>lM0Hؼ#gd[P]ۺ&lWZ%N0ͩ,Eb)Q5E JlDJ(9\&Ӷ礽,,j79KQs ?& s7]zXMT|4Y痕x0."q͊>|δ( &+iwZ}l1ܮ0'Ȭ-eg YeCH\#j'uٟ/y$7S̛>1; D@Чӑdpd\L~Bt_Uf-QS+8q, Ic*8WcoH3hlwLl*fT IB{#@ĚR$TmQ=5PQxpi-|n8j>x+i#VynHD){hdc'M;zV jk$1g2RwP߁K'ec>Ļ_U"1 蛰ǃKޫk\eu}+,-9E8׍-$-MoVestѯ=}Hֺ<MvWR,'g+=P:V Vd×|uL25?W{t1/s oN@)c_1?8Bz1nW[ D.*b2M[nf2Q2USr8~=(G|  ?Tߝ 'lomoQ}V֍ٸiP5G7+Xeݪ3N$!ϗz/hc'%pH]`Btwrrt/=Dyw $\\V!%$+I+8G N7M2TW8N R>>yMTx }Amaԓy~ جSCT}'e71YP4LGu^&(=_NhBeJFop0@ugbN,H R~ÿHu4j1@'# Š7umS@GU d?Prw)BAoSbSRB,`)[4xr9}e308\~iIEX󞎺 (H%$м<U/9k"dGl~nIhR `!OXө9>rHE)ZE„v#[&5ˏt 铧=e;`Keӣz8g}V!b_S#&b7x_Br>pU6Xͅ `n Ҧ-h!u2EШQ "z!]CX6gv,r듰-EW̼hڕ>Qǚ*/CXd|P$uJtׇ6ҢPvf a=w{fyޅjicjjZK)p9 -/-|OFV28[+i$AC`TPKGﶻ~J h\'kaǏg K{Db^wgqU;CAHۯdـgc3% N92&k@ G29~~[XqY͹kwicBD !юkBLFAzm bJK\=xRvg-—W#I<EI֎+pExH'%,HC.y2`S?QI];|EHUDp|Ąԋd]N;ܮ%7&ͥM|ng$ 7lS8ݥ"1fZ = N#3hTx`9VJF bӇu4Є2WqX{(vqڈcwN)οDz,}I9J|;V.ϟ a01 ﻉD߸7qk"kg>hȍ{l9@h%Uz`P@M[vB7i4ƣf{0S-ˮPM>&qH ;'\Q&&9 .'J,WQJ^'v1947-'|r<VrO#ՒW -Xlk̑>u %TT}Qxtzr7f]/8a}]uyq9~hɘ ㄹ:aV3Z[/#M6nWt !e}P#ĀQiiP)lv߂CE)QŇW SHsgDAy^J#W/+o=zJtt˲!gQSzrf%=S]$ڬ#f'hLК]k{;H8?bUak ˇj lޯL*1gt*: ;lqİ Og'[h'I_wl!qK8[eCCXVcs9*ƘU,_ ƗdEiUU,C9QCOzoT%:UoN?2'l 2j\l !0ܖrk媎MK[WwLD>QٞYBbUBJɐ(pkR%Y 0Î,!sP7~('s  08)YM>' ƍb`We%Du|r/eK̀+G*HՎ!/f J`|pTeca :6̙OAcɧ25N͝~X5}fN,P0:o.&ם'C53̱>(r p[ShE xe"]f:uAכz~ aӮ1 |s?=nxFߎq\ 9DVjk $} jIX3 d-h˽R\=YdzU}/E@UyW&R ԌFhn9":yPlϚ4gx:2\:Mڥ@xqѫXi-%U<,P\1]Z7rI`.!Z'ᢆBЄ˯Ɉ @ze>sڨD׿}HgBs 3sZjcèیgeՓͺ F-sָk^NFQWtE_MT$7Ԣnc嚿" 3G="ܤ\N"x:^z5)aHVyc߂eFQ X/PMh'':GӶ"W1=bqʂQj߶|9M?&RHӪ|,MYǤ {yfho+%B,k;P [-7FیgmhlŬ?p`>\1C=&upZtzr(C\(_R ܈K4_yQL"U/d_Sc14ڻh=I0͖Q?k}; e= &\)\5h{2/@פ%W"JN)293hv>kP럴12xhSRD sduV@*8!y(5sj\B ^+nTi>BaO )=AѬ}خÄBjV!ˠrnN%7>\4V9$ Oə hɔ~_F"" D8\/jN{I@; xxɲ%Qt BHM73yT`[=ide']1T gC簃J~gPy&3T ?Fqdi3`l3N_V bAf ciG޼{yׅ]k@:=M5%-#DX/[B#7*uϣ:&9(LdP}l4WE-ϤͿbpm(=s$p(dnāA!+rM^0lw*ބVǧfڻ@5`@)P[NIRcrA'HNTBXI3&F)O 'Մj^H]8D\FPggh`MW*H] 5B|4;Y V<Ԓ6|Ro.\#".6FfT_Ø6BxqXH /gj 'pe4r [KeǍ>ҤÃJFdA ߞl֔+H[4qsMrVKgٶ$;N!vp@W(̏3P' ғ+NK0‘ Gn>HkݽapR| ֮RtR#RԽ!{BhO^7Yz'~t^Y*~HS2Afde'^iAVYު}W(es}<Ȁ®:Ϧe >8Z'Xyu_:@n^$w2Zfl@O/D<w;h=Jʪ3VY(#Jvu.eaJ0K/iIPYs٨"yi\_\WXp5he`Ø~zaLgvv/*xfލ'`Bl\ xH|:ӻhIHh%M^o-LF;. '؄䤤 ^D !hlqC'A_R퍜QamO碜~fM-:[~12֮KI"=K 00f=1.ԅ3,|/#'G.xQ3o"#StXݻ& m~t v#A8+\=bb1,ِ_{ĄGO^ǸtcaNvJ~(U{uGu'8K#]a:v$"!\ *}VkS Qz8#T9}OkQ)f sp? `X"%`8}| ˞ rw(D Á4U0A0Db 1'*K"Ĕt3OXrvَ/TLX[{r<8Y.iפMNxQ&g:,\"ŒOj{-cKGY!}i4WW]fЬ>ڴ_Zh;ut6rt šwї?YN6q/) rVM=Hrc&o7)PV'ۨì~Pm-~Ԣ- qWF$2iR㼴T?g7Y_ @g* $GBYDn-IM+{!>Y}07}19/a"dX* ,!b.߬_) =|8nC]P,ι劋y^Jtmn{⇯T? I vH rџAEUb}@,q,̀љR"&: I:+U3Nz~ `Wan^zScňTopQ: e?,>yVXK쌄7˽%$:tnr qOibz a(Tqڑy&Y_߬Gd{kÖ#V.e7[F`W94llaa=pUwQkS`{??m|bl1q<כ8P2MPy 8(t&w\QwzntG?/A/vuxe ,wAO8DMm5Lv#G@泆 EH7t T5qړU9^'&pl$k].~*xQ${zi`@"YɁ61lMJ \-Fl:hY$g38 ] m-ӟ9%d%GrB6m 6-q`Kx]_$zm頗J?u丆_b1(O(2;aG3Kvy#[(x (;sMY'&A6¼CNщ~]/:Y*YEDW/dD^TC$0é477{ (ELRuJ\"Aw(ރ!\2, rm%Q`@*eWp&yu폫;O|g1|@/~1XzL'"]Q€!-mXAS "d#t/aQ< ﳃJAЃO_'bojK} ЪG>V1p DuVmp{_- gse7%-2Qbg4y*.y=AbXu M%TVŗVI*M&fÞZ* =͒ADk Nr2)D0?\0o4R9"i>,Glf_j4~{a8!:l7J+-QNJ[˭~Z.u jbxm\I UkОgF?w[)U@$JQQs6'Jw"Y;Ӷ- (Yyar.]Zhl`%u ;˂AuۧfYQIM.~{у=aqm|._Cr>eS7R_7AOkglo4,b$6ut$0njvjq[$vn@iT?t%=>-pM*5 wR(Mw=XQZ]Uz!jgXf6RFU0dGi\x; Eks& Gt^1űS}<_>t94:1/̾)}pÁ6P-׌<.?KF25;'gx,E8>bHuP"r[HP<ߵk[]c`R\q '9YϣBXEe5-}3)6932n_ri룝A6F˨oYMW;bf3kUB:5As "wƦ`.먪)gIBp#bũXSZjO}X||ZC54aۧWEpMBԕkd`j!i+2j`NJ ]Pӓ|Z:Ae[j!57^FVя$'m م-6Ivzb]67"geG{95Jl9rDH>,޳< Q\7 SαmhѮKa!&o|}=:N6 FiXGzCfu[ywW(o6pp͹25qMdi4iAv^YR})BA52̑Bo Oڠy8hUP0A&`PYw{љ~}fH SA =SG^#cfkWU8*͞!cMӿ֢ڛo4Ywl=a]g ??Աdjg J UICy^X=)sDQ?ZԔv)h,R.)p>1~ѧ:;0A*; /lMN;R˰KhWP4t .*h7+o\_JX79ΥU&`:UŽ0@l! E{' +6ݥ[WEw#0qh{B_rJ(}LMQr:Qj) Z/ z$eŌ[ە l 8)mL엁z2*Nj8|Ǐ|V3[tmm%47*{z/slh*(mޓ yMߩY`$CP2 >s.#֊ҼS$xe?mMSjiap42D&&K n?DjagC9| x $K_']I(q*oʀ&b7Y'q`W$Mf[c{yհ wP h[#nݩy!+,}ZϕE! E G{áY=U.|d$dU6 6K@ | /"zu'XXTMU;*{PEe0GfM%2m1E(ڽ$' d!"4@>|=pחq8~5Q鋠@2z9SC|r(/;ɷ #h#& x$XS .])JLjH1ICu) lVmtú!Tj06fa}Qi-`{ΚڵD;g|F-uJܢ\LJ:y>lS'7j87>؞^8jbC8=ҏvaK^lx~A?ڊڨG35csp7;pc @Ed#ASy>)KLĺ&ְGp~j=-!e(z&[\/ irߖÞNԏQ W@n'>W$1_@2|ӯVoMq8c/RĮ\@mCj@ic7KX-DKX ZQD$ZJѹ^^ρX}z'Ѹ0A%gOH0=PcOns&>8ۺLЃCCCĞ(.|Ȟ4DMk 7-@;xҌAs RFuOQMʩ!k\n/zv\`/-Bлv> +'.j܊*5)^\ߦC{,`+oH1Dӝگ1+ J{8)Ehn~u\/Sʣp` r))ϳϦ"]NfrJ&P{k`,\9>gO|ZRIgq# Ve4Jx}_1G+/F;jI!D #m,/]5BcC:Pc}/ih3JXפZWӔ$7< q31R_#(~¶n6a ,)Ps@RSdtj/͙߮YNQL;d}D_[&λ%na8SC;8RYc+:Ak3U^ puph Y1LOKG$VԎr5PiV5^՗#oFARBg5dFĵ%&P2 ̑/(g"eD3yset7d(RR=U@ cO J'xCT=ђynr깖yOU`e0'ђ`擢'/N~z&Pι 4CZRQH{`hܲ620Tt2w@߆Dvt&wf~hpޖEX