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 ZZ~9~$4D ] HOL-Datatype_Benchmark:threads=6elapsed=522.432cpu=1945.740gc=714.6127zXZִF! 4}]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;z`0ቈ;'uBpV&&0_+{eeBvJtqomBP_x{1>L]`*$6fSA{jRIwM= n)I\9Tا̈́Zз6礧C20/6`z]5JW7 uRs(1,npA6/WrlJU.G}Ef"+N?1iٝ D\ f{8Ikw |e#gЦ2ve?w*25ĐAv`7o3&{蔕4D+\߹r9|wjDIn^bO?* t $&^/6d߶Ey=U|u#Gs>$MN)*`Jm-ŁZl ATP5wF3#yє>J)V>q}Yl(W7jLX[X81j}htQB7/֕Sb*@ <* J<)[Ӣl' 쬅?tڲ [A1'jX=RQAEC\cN?t[-qpZ;ZY!LYE/˥oxNdsq4Vլƾk$_emjUb!B,сBT)JQCtQe~`&/'*4TK4V\6|W k_4*Gtm k=:)` `n%W/LXNZ<[CkP6!yKOoWUJ)×y) YODKR.E xb5Y[@l- (20d<;>4(j X-_/:6P d"lܰeQ,A&U߃0'E^i#'ѳ܇"K-1)j]>Pލ8ܰZl$q@Zd d4(9 =WYCg 7"^@,~wJH\sZc? h駱gYZ7zXZִF!  ]ŗXiɟ1)*u%9ͻ:k&XpVNﮀZꆞgB6CBn'ĂP82k` Y!6Q-д(8(*dk47S)>.*I:nP=o%/@=I>Cn󓪷^6=8vbu,Y3XJ}tbZO{}Ggd@Y5R-U=k 4  0 }@T^7] 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 1U #l)QZ}aig,-֦.=WCuјr(Qh(PklRl~kfV塬㋞{W uK׹>r=hGs.Ӟ[;\>wDkw?:N~9HmݖKpe|Y؅ifqсI_8-XS$ykLi|9<G Ťeɮrr 89V/,EFv_A p#D/\>ffwI˓9l Ij 0؜΅?(/ r)vpS~iX#FTQTi8\],QEJo)#)?QlmQ 1 6)G K1&Bʡ5.] 9/Z4_ @g[ ވ Ǘ[בҶEp6Q̔oˋLA{f>k]BXR:kѨ~W#2/PJΟ4&raY8LՒވᛳZr$G1چ|ibA$=JMQe4qcN L jo,!ܸPeL4\HVEuY>gl3v :/.C Z"y=#-`1ʮ$0aI4 =t}9Km"pԪCIKմNLGji`{gL-Phrń;sP!nA"6i(9&2 SB іӥ͕}9 l$nD^5VQJ]zZxJTa %<pB5FV; ۈA,) NP佷sl@CX%:+#9DD:杣]m>/8\%*hK2$k0v1%Fr9Kc>96חwO@II9mptȺ-@ kg !c{@Q`SiJ򴨗 hUZIX!cTs}4*愔}=Ħ/&Up}5NfRIs5Mp^ѥ<*S8jn6 Ȭ F@ ;r)mؤVYԣVO*DZT@|M~g%/O/vle: ^nG"a>,1qr7vp{a6q_Qm̜ض=!['32[7rw"ۯM]e &lufx9iC\âqBp26qy+"NS_O"ZTK-3\ ;EXBF 84@V/ZpّE.iGw-wRQYP$O"Hܘ:l̃|k:E&F\U2"wTuI=ǛOfJ$ Y

4M`i2jYrCǓNXYh)dmיpךRF5ȉJݠl0Am BݾA"Oku|$ap3DHvDH:áZ[|ޔ a/ .Z]w)qvQtR55y{.v˥7 /Rrw&xQdώH@$eݍQ!x̭5=HB%Rݏ6ϗQe5ELlIJ,ebHOP.1؀_ɛL ZyܼVcE _ؙ&B'[# w&N>b2^am.X3XlڢL9rϕNFΏ͔iejtY'SDaKy-q4jh 5_z|d]& ;!])/OQƇS- -zB(}jf% 9݊-³ุs=YwigGˏΥilGl`B|]͆t T>;#^ϋ*7/:pUC;c5Ec4}6z $T\ðRcKlvxUKmBi7[8@nhg]wA/8:T&9A[lz\+TGiÕ}pB:]> KkTir7qzE+l1 1(=/˝EO-xdVl0WYre! ',@k?>< ޵hZee`u_O}7?fT up9*9;52bk|YbTbXԘgU[j0ɻoqoߕeU0 ͭ q1׊L.o4gfa#-'F<! xէb33T JZ/ 9{vNS1E=3, ?t]H>L&%y\v(6 \Е\gLK!owpCɷ!B:)OF Zb;i1`S]N14o(8R*>.yd{Xⲓt(k%P_ȎMsֽ8z!/n,r&;NHFq8%@2z6e}G;@DRQm1&|P.b{N]9kN=ZVcGSR4ݜM]n.KtA`7.ϝerh(YVS_ \QMD f'>,Zn +2B)ԡ\w~>R &mBj?LY Å1pu6`M~80i1e8t35jSs6?!-*O[ ~y-K=UbX0QQgJuz\J޸< `)yx+G_>[jY_&?%/jgE*`|(/`xH uU;pp}`&$ubc.5 R$' MwY]㮙(^ Gj:oe${ufi:&/U[d`{F9YFhp꽟S)PW74h,@UBp)tNSl(4cⱩ@b){ u n@˓? seš'mqOfԮ'N &.dZ>I{o{G1uҤz%l-Zf$6rJ6YAR/n93 W>6YE|h;\+y 2|Gk0ݎS_yVOAi4-nIvwYЗt*)hGEI?Ц w+ >в:[H5c99ͥL*M 6q%NBEG;ROV/zX!{+$֢  _a튯N#8 ( QY?+] RеL G>R옳,Tp5q-n?)ZceLJ ? (U3ѵ!ѐ'85݄p*_v84 ~ 2^KKGpkּufX)Tr@X$Iߍ̈́؉1}-hA~ÐxLVuV0ۆ>w>d-vK]$Ze2aGCWP'w eaeYVY ~5W{~m d^֌?iwic}z-}R췣Snf;wQ=)A2pPEt<\՞ `8@ddx WpAXt(q*CB J-0@|I9|SU8.t j3;+ 6'_]0'M.IA KRw~'5YSb!rGwHroӤf_eBdR3r!mo㎱N m;V؅eOkY:Erz/XA/]hNf |ԫ[憫NFYDOi"2s;(oT  8`v >WR]d,!H|sG75ڇ~HؑW9X.^22c9[4LJ"PUm5p27nȅAxYoʟ͠z#1ula~H132Vp"n~ cӔ*ePqKAO?ŖhXdW8!$ϓ<t'W,|VCTV(Tl*LB&/7e8b삢u_ J7uwKK nnwkW̛tt-r C&` !ceKkO4}:W_8q"eeCEᝏm봽+.2Ѯ7ް; f <ÿz5}WNjx{tƟ Xi0?3WarћmĂj lF\q,: ^)i" "z7" *p[ ,u ^[5׊j1a[ƛu;[ VjqHFҿ_z2K]v,,>X+R)LY >@떢j̥)ai.F& 4&ݪ(F 1|}PJѮ{=i%|忨sSgP\a#nTTL>jМاEʬi7-.0ێ/5U*LA!bvZ%@yG-;Dr&U5;5}&fܐ%n7QT$Q$PHμd\AS~$m'yj-]VyK2zx; @{,9(K7qw,>ߜHM:'=4IыK7()P5uj/tPT*r>1^Xo1 F)FOR'15K6e(S#KRˏ:5m6xzՉfF%Xe[ϠC ONozrO$8p#Y fϥ]yc7d$զ= R~m7˯dAV =|5+uT;{'eZz*YF"8Gu xl7ɪaDaѐ&Y*!_}`&̓;^*EWݢ ǩV@ ur'vӬcX c~u?Kߔ&a]n<$HR)09 #ٵ%v~UOi@Rb1FuwW1`hZd4>;5^hB!@m³-(K-q]:>vչŅ8Π3kej_=muL~'UƠ(qZ_0({m>m6\7}9]yg7$ hS8qL"S;}3#k~ێ2yO~nx%Ӑ8S^DZ[vN-r#zVC3m4zSѶ_~:5պ!%px&u[4<7`rV ͬgޞ c٩@m9[sjwYj1o7_8lढ{o+*3%d{.B)NǬU⏌IJD2jd~MvY+;khO:A'06|#[>zyT8I`ssΧ\Y*Bj<w<(e<:ᄿ|{ۂ\xr,U6liC> Fڰ[T\0*Tyz&4~Wzz%xQj)п#5k.֑f;7tp9q$܁3^ 8jCO CpP[t&n]H :GӀڿ@׹1jfQ.6.LYJe/m\NZ2F:G D9ܦBmQ(bW̻a<ȺECMUQG'Z̑V?ljdp uyqYL,Gqd -Zʠ1w{SPuQlԟ,:*$:eAfSH$1D3M0)ٍ}nli?hP-+u‘RSnQ?5piok>뉰s0H][-CٸAjnbf8wxBH#tc<̝=^vܵ|Y?B5yEE8Ś0ü0/g3ngx"X5K=aVus`nʜn:ʵ2~k> 1ې=0㢈v.:511gNF/:Ҟ>J]11:X._.B,3/x"֬/JSaBL* -3GLsP?$[S O>'$AJbU=iQ'r Ǔ /ŻNz1 r A-2bd۴ZN@I 6T?NIۓ<e.xHhr;nne,E>息UL$X@o`rDOK8-?-C[d Ӛx_7D I—%> }~X -eI eG‹ՠ94yzه%<XZp׉z1ch8` r&Jd^"m]:oQeθUEa20ͽ_-ZiG``}gUؾ|&G< VonY6uWOJ o_xhDgmm+(蔗ѕ,Ӷ -c6aZWG;OP ҚhN4_cr\q_ e,*~|"vjLYTBszLIZeƜ_ -ON|)ZZRX=C@zS}-cQ5 }1KLocW.OwgqvB+SE$ٟkod~bq6@[TPWOC&)nbi?i:*[E+=fg (%ֵ^KS,Ty``)`^`2&4aI mٙ"gI$ʗn*ܵ/'s4MS!yd_d1xҧ>DWx`]]5%H s3$}ff}S]E -/? ~Z!RyShG77Kzy/$-5@Ds )Z>~Y3Sv0"BP#,sUP %SfKk"ʿvGBkB>aA5㹫Y+V뫂?ʹ]; )_wGDw"VߞVD2ey]ns'Wlt(Rwڥmٷfw_4rx U+ƽ51)|m QƮ3%14xD SVTkQ9 ~%7Z*x)߭g̙?bПh^I]Ie&CxxC͚zр (PLY 3bWLJJՒ|Љ~2Tua~B!$6$%¸Q/˂ ; fm ТA2<ȪgZ#A7E|XDqa>Z!OS"HJ )R@[(ƫ&=Lj`4\y֩sOp'~GXmt>q Wطo曾|&]ةr?'34;P,r$oT.K[E;~k'{'}9e@Us Ed-VM621dnq* r>1tE{7 0o A/向" ? KRm ."IoY)qufxUy1xAE1Mc o;˜߂))|Iv&up+'JE놄67۵ ?ͩ+rp rh>mc^ʒUCrr]tgY Zpx~;{Ж%J$C^|}Gyt-wхMna jx]PMeRW0hu"ڃj\>ZgIOzt9gYRR햫M`U2*]h[" U@ Ρ*MJ;ֳX(bQqrC6mcc]tW33{η&dv95fs7&/p}-X@HzJRhՖ9SOwD_{[Yj,Aܤ{s2~`kwQNR>'j`*H!Fe(4!9(l?^ݳO:'qK?sZT(Lު+>a;qWx )>g~>I-g!i{7ޠ/'WntoWJlhuQDs {" '`R>f@__O*60e<]E.z_Ѻ(%49N5b(09w);,îA*Wҩ2Fd"a55譊9gL U?GFO8C )&J]к&DP[-LUSMn2jc(a:rƚAATׇ4ipz7Si6_Om9Wz#AZm5 G ;.>h@0e9A:3 /L![i8MsX)X:+ZPLW|#ʐ5)yx~"uuůd^"Qֿ= yY+LW(r$+sABerHmC^:ήN?8&Z2")  {rU6@r%I XVڳk;-'uӘiD n1ydrG]UbMX|{ucIM.kujAV]0$nk-`; 1%R O ED1p rr; AY/eƑ6`z"SC'24'оdlT}TZEzfSS~prO! Y qm3Oj5A p/ NWCWAQQ|TDa3F!C#"nr0C}ɟ 8>?uݢrwkr!y|e_@߹e!BE-~"A~T/O:bp彚XFwNj=^>_=$|O@Kgqw6A' 0%Wxh_of="#6<^@|Qng#LEz׽L.|VHHZfIέ\eu&#ts^ny9`6 nABS*\iNsdë_^L,!ڥ&UG~{4Y(wH 8G~KsWY`$5pOWcwĉRcӔV)V⭾RRe/\MX[4|H'- F) |r-ZSC'y?N*<\{\C+>:Ge ]&*aR*d('=x.ω¤|Y.Y vʗ[j&$>JCL&t45^0ܢڲ}go#v _PKcHK̦3a> 0 q5p_wtKB,SGN_-1*9Lj;1df*ߢSrae"EpH ;^J_c[N)q#.RiNXu=ЈI@+3R>u{ -Lb']٭χBn*Z8‡9u|}|@TZ=Je,!IQu:5^&oLh"p,˧Iы X>4p_( )q*Q~Jk,.ۖI;:R J.c9vI#mJW<`i+s &h.~ƀ5Ez0,nO1.auiL:Ď&ȈV kYJ˫ :HO^EUY&8%v$j8LOvm)uDR xH^:Fklp?$+RITf{ν&=,'L9Oŝ:nBUJ$8E ?lT}DJ{kyӍx)N뢍4g 4*-g: t_L{mϬ]HtWW:huat+3W`Vϑֳb>] $bԥ@2fEӂDde/9@TylpvӴvϗ?gbd@d kK4U=G. ՗BtŞ/X0VVȫ%(l) 1줚jsu+zʖQaո{dX8429& b/wZHd6F_ ͆ƻ44tsxh1GUuub To6³YHvL#|e]2 5-dwQhwݒZreRKf 5t*-:lʑ9Q.4"Y\D=tOy\Cv._A]vA}괳ZB(pKSr2nEu[bȹ,Ym{vzC'6FBd6=ԒƫܯEi>LNnG,+y7Se46,+l=VD]8XYO lͮ_1;:>0Y ,i-hLOA~k=bj,'B\ۢQ pj>R ,滷&mX MƩG.L)B/] xRR"7"U!:@Wϳ̄9hɢlʑ!S;ny,b}"CX< eSPY*|`pCT+)lpl8M@WE ~[PO5cՐoxyܜJZ5lZP+Ct؊Zw{u ŶDV֣_=y`Щ!;rDˠȭ m?âUńVP ]26ݎnNLbB*0s4-~5I[{XqOBQ*߼ ҉7l_-sE(/Y*&KU|pvT.Fju[d\*@\ 6w5RH 'qs:/^si!nF?(z;zO|)=wIo"L>v\;ZY7nï: 8rq_}~_R@}_ZyDS@Ox*t]du)|Uԍ}^o,H{sW ]b^ ,7*7rFHԚQ) !9'?j#-뽑cl\.yˑ_F.xoNsZ.)DL_-sNP .\A=ńonV|t頜NNׇHXFIgG 42={wݽ8(HN9ΏPâxZz^"\z# [=Uy4zeKqxB\}8T{؁j#{،8nlBBP3#6|s^|.)~sgz 7;>I#A_M(-w_R:Ex7Vu>^kV! mm1pR "2hȅnr:ΖY O2܁ʼn};dkmGe!%)O< MjE'>>,H;Dx:q jD^Olv~FY7`YJ`c(-r MBZ]>)0(!k( :Y wpM΄ F먚6/eJ Go}Ps@p}Q_@̂܎'( |G}ǠG${lӯ:~r/Y-G1㴉J 3Z 5k 1W9y˟9 do|v*ťZ9 mXPt2Mu_# j7ϬA.XCl1^IDţk\wu>w1@#D ` 礒[9"! tXi4b\ȝ bu9Fvv$ @SJIt&eUh*lBprfE2换&#zfql )+"3191xqPtaoM=JU߈kާ~m"‰Q@,.MVrH~vJQ^e GŰ.ܗPKZrƲڙFrܐk #>4W_k,9q 1ǭdKۥ!WfhOB_Lh5v` 옫>2yp_B ĆgT'p8f0|q)n$p'-^l1vi蟮29e%Җx x1g xk*˕ۋP3x' J&=*% 󡮪wah| oP1m`bHiBp-}\r{ %L0j'6t77j_9w,AƕIEDh s(Z!&{&=kU/ Փ *A )j >ϲJf~c*pWmZ/8`Ua{q983x C ZI$,{xwzG#Gk(GͿ~Br!ȃ荒c -xj8K,fjý폒 f?)=$A MF[G0p'EPK [+ N~uCr`| ; mf&;fȔIH3Hߋw;?EjUm;VVmB@Kz{*LlnsVPmk[e^g?3A5#;E8Hv'u_Fڷ^ U{P8.dS)1ndor~fIYU/0ט p?F[]hq<,e1}[>Y5وsLfv~ &(`睖EVXaL' J`Zoxg D)܏\1 7wŀPe6jXʎ,9gWܺ^UзFMh{em V.C;䌦/ua'tՒ 6NE@rcQv`] Pibwh$G@>0`|_Bt=s s֑m|SY4W𢾆v=M {I AF/-[Q&|34URnԹ'Ԫey Bgߥ亱1}3A 6UBkkΧ}Ȑ%Wې($a}fH>+9aܟL9w7X/&Ș7va w M ei%g"3A{R\"݆3&EЄ{bMOx󍌿iO{x kzUbRXSu6>gxt^WƏz ]Y z l_Rһ8I1&B9Brm%@oW vԟ q={'ʯTFd/=6GByv\DhoK_-rI :xztɺp3D}T&0ڕ_jz4{I4SK%Ec{^|''c 'U!"Y;&${gfHB"$z(5  -A0JBzy#klvY@O[ C҄{O.ߕ88bs5$+tA-aIœrm,nK^;|PYk EcN`go'/0Hj @L)kdK0Kn^}M"k_U)Na(\bIJaݐ_8‚}~2tE$=<;LXsD(aaUb:l]jEϕ NoC]Fscn] >P /0*-2ϿAU0|1Qlr ( ir/`&0]Q;69 &:Ū2d M(v0 ELgYWW63,09DOO'jsQY4iOB[|c7#L^Ԙvl @ 4hAz| 1GQLKsvflgJ~ŸB:I" u'aQO!`,W#bW;BŒ (:!Lu)XLq3OYRZLh%֋ܾ[6s@P#V˥sŋL/a$e.c@Ii̾2n#/`KїnH'1)7 "֘wu~LdOwM}ɰuN9)9B{>]6Ra4^"0sʫ `K82$!_)ǛQ(Lإ]>z>G X3dMiCED{jVȼoP, (upy/sȵC{.ٲ< ٠ ^9 ĭ]lTWmh~`5kͦv6"QH'&Բ 2xj(}R9 &AuؤxcR곲?OuR)硕NQ4hӑh6ꇙ?OѿN`ǢY! =h] xsCqg?tHD}X,t9K3/3r^3$#EڤiZհO++I._ oTs( q֌ !\';_$e蘷ډ2G*%m N9׶lplI4:|< KOH*~x d7.O ~#ePUb$%Q'nOj vB@37c~oiXx⪄`*>PʙIopL)>Dt:l1K17ezJk\UQ }HDw&jxo/ŒVqrJ37sO x)ă k<); .HC >2taeٖ݅=z1f4~ 7Q4%$}t] a ]@YA{b"S2\,d&W%Gn\I=n cV⎭ࣝj%/Zۋ8M&%Bx'pC_M^UYCd`WJsd?ƹ4ߡC>yL*ğ T %ƭ1)Nœe/?{.EIa4$.@Q/$h;$ ⟯qIo:ؤۅ>eSkX SDD>W39\S}|t坟\ʓR}z;r"m*Rp"*$;k9a J&41Z}%&MJvM?dPuHkq f>ȥF6| m(Oc^i˜`jO$G?CVJ*Byj|!cdh^#dyBY 66AzE+d N@VtjI g, ֎g[>G7Z>%;cuXR|#Q$ߍBz~H9]!g/EUIopy5Ūp/xۄ|SZMh uwz jo=l]f`kS7!J^'32*UFwREkOֹ}j}ؠq] Klθ+XvӁ:WbܫH^ET[eG֋~YgUt).xwjޠ/W!z( =x2ΔI:Nt^}ߠlG\Qnj@]!DdU/TG gC`2yn]^iHEP^am4`JС,lz~X1dE˟7C54N JSZcq69}34oY߶ҳ,Oa" wUQ(Q2 9(%HWwO*%C+^ Ie/%pM֥pTd7$ ql5dFo͜+Ƙg>w !ym/&v[q[~a7yu~sC,sTJxV&`\f~lP)?´Ȥ8{vaqPɇ4.0ݑ % dZeN4Ǟs&/5d^U~eHP_|Xi)E[zJArp ;~EZPw7B2|]OiBZ3^Q4Y!Q\ys$t24DK)A0 H Фx.d4X M@ЏiFݞF[Ch&ʈDe!QTm!.ɵw2Xi|(U ZlLPɣ1g"er)H`~pڬ[im$l^lTfyD&閽UZ9gOiА,*!dxm`9TDR;q_#-wpZu4D0:x ȷ.N,%U/"y֖V0{y.#GKac2f>*BX $)dOt\b-0 ^}:$pM /a8p#E$OWMCDž?Fr~? -shwِUHR;xRaf# `L+CwH!*.{x:vg":6ŁHuD_nYOiw+;X[ofKN<]F=;W/|}iƂI*v<D>t5 HPyXI (Ͷ>jGB:"66>Aȣ!U­׈E7[ߴU&gIWӫCQ $ɀ,hΈ%LOxJ0zI#BnpC7zcU`78ɹ,b90D1qGH4\ ˳E$F_m!;n)TM!O sfG? uF1->?nQ6*JN(KU:ȟAw9mE\NJ$S7F/OJ"TTpjɷ30;{^pu{gkOx#"G d*u䱁6nlZVc!cB,ٛJ)omb{,Le.8⸽GAhH+7Yl&T;}<ٝti x"А9xI܌m@@<I]/16)csvsCET~̱dH|t8i=OOP;.'()UF`2PqI&}]ȓ,XrӛOf)(,u>ϬQJ>"LWx.Ŕ h(qZle2 أao*wMԮBAcC-i?Zog:#N'67XwQ**P"oQ 1Eҡ:`.xa^gGMy޻"Ko >>#kwU4~ F(|(ElEϟç~J\;pynjxsXD Aӌr9w6eKFxK0|pȃy(1x\הH8҂yrm )#"UlH5XەiIXjZDTk[o2#*.3 ì~wqۧrQ BL }'i* (O[mɁaA 7:* uL\i#HLsJj<]`%"qUd[e]a2 Ϻˑٰ*%`E?|Ȇubஎiüz U1B7;eVx9qYA}Xa-A.3;sg w$ :Q9оEoCA_,s|tA \9>F4bgsF aK@2a ܚm?ZדgCap^~*r.5Ͳ9[`gJP t ¥N sKvŤKP3tC=ҞJiaq LkD},rJj(tmh]t7FHOkr~e/4J/XL Zut] >Y.Oc*HZH!qS?('YzPW{Q}6OJQIKIZΰ|&?p>4DG к7=S6Cq y0h)<`'}>v]Iҟz뗉e@Zqn聯dμ< y ri5wUsLSLٸT?̼HjBgd-!X*|*)6-Fx >0a\^sq.wC+&W@ڋ!^. ojy RSW"j@TH/]8bΏ]M;<6:-3M8sB3uqC )5>+)RNjWXP!B2I E@190*~!%M' }fH^wa}@ooSgn6"626.iB`hUeزA:mW@UI(6d*?&kqK׺"kխLEej krmLm3NTNuU>X PrDl@䜽'@{Dqe"sc-΂Bb"m(}lULG{tdA.f6ZpSByjFveEHC%"yh*2 w!~aeػ{ ')9l%AH0{Hu@D -S|U鰳7]d=wORm%9T~J *&e-4-Tbȧ#"*r,kyZKL(.o cyK`3Jl3hKBɌ v@4Eju4t2dQDJjwq^P)3FA'>d0V]u)VIm}˫&E C/YfmeScџ8!sAOL-0!.N4֔ʓk̷L,z"o34\\ow^[X r4YF= ^ f5Z冔m [US%Q:#m!U%9+ 2c8%^O_ 2-zhL9v9tk_}ܯ&([VLrp4N~B9.B{xCk.RY_ktxT'Dw?"^NoG7'md{{))D(j/F+ϗzQH6`>ths㈟py1Z( چ V'΂xL%^GBv> +&RLN:M6{'ggWGvJP9  $co] KP-8\R,FFG09gJL?a=+$` x{/ґJT-i$HQJE+mWZ s0փi*E7sAm٠)FwyO0WQ4{mFf+Y&`Z`48yq9 %DKzBDDηFvVN _Pv*Zj3uɲua֪th˅D2V;Mrï6ȕkx=F"rǶJm{L<lznSĂiu~>AU!;MMOvEaYG*,*un GH p1\E~+;;VUAW!Oi L[c0r҆KTGgP7 " "Ⲕ>H\EZgz_&NEڹX\Y/Gy |6E)ql4&Akʂ!amOcM9k }9z6>c:MwYUYΚ6PG񫍨 @d]XkgtS/.rgjh =::UIz@* SRfZym4R9-9 2M(C)F۰ 2H"5-Aڃnj!3r=p[tȓbS6^ΎjDSw2-~e3H鮦$WZLEAU'2.%'ĉ'xVd7W"'lf^ sby p:Y-/p3|v >"TuacFo1r.{+> ulp86Z:N:5Sݜ6-we,2[Hj4%gu>UŒm D[͓ IMq5y>RH|w[3 `s>.MS !oX_j''f?K]]r_4!84:OMy^AxKQe;~Fآ{`$%6