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 V9~ < ] HOL-Datatype_Benchmark:threads=6elapsed=517.143cpu=1935.744gc=712.1327zXZִF! 4}]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;zV,P/j@N뛙O0Iz-ځ3ݜ9ޥOWX 2>3Br/Y |@Uz>`>޾DoSe><(4X%*6;U{(uڼ\B"·L8S U3?CI!Wh>aAsmJxdy|@ix ?G|F2c:[QCn< [1_q/ĻJ &w]gDdԑRHkSZ꡻[ƈ0MFˮO\%VYNS"?aS_ &y+PQy oξ=4` 5yjH: N8>H r2]ySz^ꮌch&z~Cyhcজ[&;mkX"M_5PQXj }2wD[U%J*[SLj&Ѧo5@L?A[_9AmE{de)rP$PBe:[~/@S=ݡ(q̪d@1C^ ,c#{0Lip"j:qo}d5ʋ; Q}\7 WI[ r)Ȧ! aFgzOcPq+WpLUe\̩#%hÞNDs{.ny!ZC=Ђ 0(2zar0?PM> igYZ7zXZִF!  ]ŗXiɟ1)*u%9tvG[h5C{FIMS)C4Z>X-9GC^o* WjV~RDwA2(lQԺL4u -& aa5I`Nf9/?քB1=%*5ق$0e*^ѽptj6JaZ(ug 9AWs2B5 o %ު`EA{jr,2Nlp=ku IC$+V~#Q,eU5LC)| XvbF1$]pZ`UP\]#J ];r" :kl\r)x$WV m}N_$[L\~ֲn b[a woSz#SqЩ/Qc*ԺV߁P '+ voCz9%]ՊL Si:5a4qp4*?mЁgXW@@v(-Ў9DN AaP~Q;kOGs$b6?q%%*RË6KW\2H%[zzM,HW$cy%J<L A8mU/)[F+K41&u f 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 (6d |O>|ܤ!lrN3e?}èe+ˢ'6]>2hg6 [Mm⟝xkn'?R-H6fIr ZZp@zear;ۨs*y3s2[ n[GB#6I/ZF4SWAIsqGd(m)` >s[}Q&rto7;iFMm^0ZQiƳ zyQ.?5'QeV_:̈́\zcf)J-SM:c57E)V*#~$̈́vdǩ,xCLnn\}{Aw( s9HK:QBxuzzl>K.7vL`GMNPQjtzL̰Q$k`Ξkiv׹㚯 YD[i~ܷ݉[ݾ!h9K* mɕPOy6XTPHL51a~jcݟ(:=qrq9yQGZpR FOigJuZ[y[`YS%BɸQJUbb-q=zIf)JBOcl")t9L`tq%e y dHARu q%H!.8BZzʑG>[_6M a}YYnx]2:- ׭R,+ WG^v O #ь> _TGQ 4 ?P-`vFe4'*D k4{ښ{n˳ݙ!l(7Qn ⪼+{R8'5مho_j9+[5;BɵP'n5.GcJ"o~ScaV0 xc˂OJ9rYW7~=ܳt>bs&|pTZFt =Nt}{cBZ&&f%/caZoT>"(~jrRhR-N>e ulv9M9 wmy?U>!n&4 Y.C䤁@6WE@zp>"ВIG%W|r 2a@tzhvΒLs%@SšwҪgAZ#-{Iw6}He#8/P4{A{RxAW1+\3 |AtXa1&Mq_ ?$칡bW#ne3:Z%\Dt߷5D/}uqLOawO8R_Ȣ{Y*|1I~@7rN6Zuos p-7-gUy)v9 Mj%˸Iqyq"Q}(#Fa~NdV"#.i߆^e1Tr%nֆ3uq(=9,!2DA=y_AZ?ӆ̎ &&oF R~;!-ΕBCF8"Uܳ&XB%ӥbjk,XҬckbzmRvªr Y?^D*'Y7qfaUJW,ڮÝIҢ2iƲP%/KTظZ`mO=M]"CS?jnt&01z2`j߇mCpvCEbS!Wc>~ڃRqriD`]{qIny%|s ;r6ƹ{zQ/ΐ@DDYU:)i_„Qp V`/vvu] ߲1"5[ >I)XDrXdB˻FtYvėFtvV&ҧ>jhY;Xs/92=h3fB<| 4~ĝR*]B11H3 OZѭcl>pb*cjԢu׏d`#PrMw M3Kʱ.'xixgbnC޿ _ы~aqAd*j;!Z(':dí/p+mՖ4, 0AACק(Vߐ@ |P?ظ"1cb8k'[A=zv+s[=a6b>+hR+9E RDD S|~]$@%?QP]Kt^5.9ՃIx}"OۮKL&Q,ԒEy lM2duA]Q`xiUB<W+;yPYS"j@,& 4B;8` `9O^/:?rh-bq{EZ$:H( :j ʈh,’3@|ř?0L kXq5SrH~x3(C{;q.lмNu_^-CY-'Iߦ smj¦i% Mwț8`XOz_91_zp;cD5pŷٌ'DY˕|Vv@tƧ akSSݪ&5 9'`ydo\%KKZ.J]Gy:Bl3s `s hF P\@m2dW)ctSHW(h3`l^ZPOLlk>N6ٛ`!"h_t)`fX:k]4EcP%}-66U0QCY5B5}A$]! KI6 {rFO-}.3m}/WKNoM^<`6z{Ӓ;ۼ+n:`_Cafm*6#;qsH9(% u]??gWQ>cO}?xkHo!"E;-tT5ipܵ9swד巿J%fIOxJ_vriTdhe}}JMW#@87s"싇υf>DE4[9CuGiv( l-‹DH'>7r+clO2_ʋ $zI-kdNJOtLI6J47UgcP3qH))tH0֓ywi[E_Dh {q*'.;.7.ZB;4*51ٞ|V'cWRX`$1 )|J L8K72QN95tkD~U_Q*3əK,:wrqVCR[r$ pe( Ep6 dYЮ)oaWXdz%"8CW>YJ>9[1ɅO694ޡYWPfJ0yi> -2㜻EIb\CijIwGei"#+3k8joR|c%M|I12:iZf.u8XF}@y+6TS[a<utb@Ո>)r~@0o?v[8Ŧ,G̾z>e .&M[i$"j-H>-H@]*.%p9cxB%@Zcv@g7-W|lW23*$l7y!QB3 }9YR{, ar"pŰ*6w/4Y˩WG :-Fo J(hիjH.֨ΗE½\OH+9RLN2nlU<~kg ڿPƟ(;JڝJD_SA0Ԕ!LjaQ>; Dz{Ix>!ku+ya;__ /u}ڈ{ E/1bPA;yЖet' 1(<e3cuNLU),sVI6"8{[DڈY7!tDK&FIkGJ+T$o#]o$F"=[=EV' 'w`噝9 눡GU%'.X-l; W~]KAvbBЯdJUzc2V9f>RF0;O[l1GvBNQauCzotȺlOػ{ګ^_q/tf P4@wϠdg-d3!!%c+Rg"Ѕ( \u¼b[{3!"H|$)w&]dXZHqm>;Qg:TN^$.7\pZKs^:Yt#>(WT_0MbWB3~x|PFβ{G^p,JwlAtPM b^n[& nTnᨬ铀ڃ̓fo,&)|a!5ɱ;qkL( =0y?f"nKFr4ڽVxPA)>;e#c+rMSRWIhYkE4<`mlL" 5 Fqx*ѐ3Ja>nA%<Ŗ`A}+S .d3/K/LVlW ; 4Hy/#e9œ4Nڢޓ\,'ybo%UuK=&db5=YDz$ySrf!JB4sIX]bF&gp/x@Q|<7*YI l!zm+>?7X9JK؀&uN#[ [0C"׆`w'홸,$R^8pz5:ֈ}օYU6brN1.CP:GaGLIʙ4 Ϡ = ʃ0fDIN%[sѻ/OoSw<`,_C@OFl{Hk+?G &Ǎ SoyL{.'?fbW:_r~[@;![xDTJF{Zc% Ѓ/Z |=d=A"ىRH Yߍ- YDx'ǡ 4mx0fb<ϻa# - @wP^z>o~q19J $S\X:d24a5qgfTWEr?-HWZN 0IX_h)Ӻ]$ ҁ* tvp%Ѭp-QEVGuyrܧG\:$82 pXOh@Щ.2^箌DQ"o/\-/hFLo͋=+eЊK2 klBkzWW^'d!KW^d>LT0?p^ .co=]Xݑ ;d-a)`iӂ ~YK+vrMVlLLHi>q҄OF9I8Ʈ> s(:*Ը}o1g ~߰(f72?u$rĬ:TaeXD/*-5֭PZJCޡPw.Gݑsqh8UKHȅe\qS.ZAT˂gfL*]G ie8Y|yHIa I)Qg1W._ӆ* u 9~/yj5ɠ >#kB[iX~&]x揩Q(XZkE+5+kyRҖ`~^ixLm܈RFyR#TX.pCl`._a'(j*M񋕪vXw# df 2'eenԒ}q03ܜn0 ;ٝ`B֠lEl dM٢ۻOf%OY` JI8/F<Ґ1ɠ stC/0va=\ J-$ϐttf.n; 3TfTdN3@WT V \xoD&C,+koak t V*+g$]mWI2I M?P̡7mABg'xtCqB쑑oTofF{ң6qvIsOw?1yNM+9?mH\EnOy 7!5v>Rn$Б9̧n,Rje[mU#=ع(uآTTIy̭L%05yXŚt#6XrBкv$pQ[0\i]}KM'<,bSG`̬˾G8l[ȠQ,ޛ} 39ڞTS'BhYn0c|Gޒ0XL VwRC1pۀdrN>ݹsOi2y'VCf@3r;OZSҊHoI06dE_](xyrqnc6zqӪ"OB L!xՕ]37]FW) ̟UD * {Id+QZ |JьC KFb?E]&Z+t!]7{}َ"ibC?⾬4o e@wv)}:% LWA' W|kũgw Y^󋃀] tv}*݈i@5N5-.sw~T+.+JFC9 ~{:) _ lkAF/97Fj !`1#@` y|FA$d(]珒:">; mtN8:a׭mc 2@6cs5'/z8 υ*,̼389aH@f6Fx+hN#eR(WhFIu*- i4 wh j^z.“,N5,~a=J>IPQlpqS ʶM2ྴ7y,8B<#G´kK2_Ek B }T:" ۚ2PerNΘ̫pנSI%]Dֶ 4B&Ee!H:{2[-P0˻yQB'/W'5Wzw3 =Wvb~Ds|AK%0]MbIQ2}jncM8iakGOST:*p@-`fC|O2G 4$i?m . ^+pHaJHa{]+*<.Js>MM _{S|DC/b cum}{Clz` \F/jcU͜Ԍę ]%1v.EtVmY1 j7#_O1*wֵB Oz1Be)¡&b2@;iykl] #j鮞@||$g#ݒ# ËgO;U1`׫rmO. c|GrEeU@Z-m,93S!kf-ZCzuJ鋾ΑC?(񺔟: #9RbP:vU@V6}x|AI`c~FnV͓y֣ |6( bNO|.sk5"h2z< |dԒ֦JVNߞsی\kw61U-օqL9'WyCex> \Z]H~HJ˅L6#JTw͈h6pB"bPs2zt"2{eF_!^ ˝P2E=Z)BUO{0r` g.#Q2&1V-O6(њNWeRgm5=QBRm9m2qz"5KrȔw6ΥVgs/~oXsdGt')>U&ۥxOdζV%|Z>pyS ))Iu46V@okH퓊 Pa@R)]2t T)ioRmѮD'-- 4/72 "_ٹ N9oHbX^Hnd'9aGvW,=N^V^a1ۄ5f5D€ x}l%w5UpeGOϟjq%h~9baU~bir#*, p-Uy5[|r&7G0߀Y(f2Pq &{ $JCH^Pۼ,^98(lU6痑=,%KKN@WƗXj:|;@)Ɂ50w]V]܎`~_aXWt.>P<%$FQ *(J# eyJ7`:4,)v#쏀_Pƴ'%khצr@qxE^D.iP@%-Ý -OhN + bQD:-''_MtPFY48j5b>EMh5B.=޴LQĠ${YeNH7|NkW-vj]|n$.,SaR]R=TL~Gb~ٰVϣsԬQ ajg$iw[S8XdYG+O9l~; @̄8>#j} pB02.t,sg[$K4*,ъq`>Qbwƭ P{ 3<(8: aޖKo2r*?t?H2hI <֐߈kyD /W ]@w>ԍJNqNܶ3e^{$x=cSRH _e# 4N5 GNRE!ȭ ~6%z ð'.6h80cQi:E ߡ@3hM鳢7ּjsl{:wK bƌA/uK<<𿌻egnckvʥ2R_O*р3+quAJ琱JaAcY;e}/~V7knEm0Rĝ6%hd^z !@ĉ-yʵub{ BVs,x5Z?r$mjՆW=@ l 0s~>f*(PP/ҡ7Zg=I*]ڛnEټ :XLGKQ`fݓdz^߱}0&uaa,Oiw<8JzȶAHLv8L^X}ΒP3q%b;dp3ثojH- "לPFd0Ufey)qyhfqMY TcSM5"D3cB},nnj i90is)@R /!]. ٫PwRh:*A8+_H6F3/{U|\N!sK$ydzϖx9rZٵ5;D.oX,oUZiq ~%"TM>ɻz+H)P`(N܉H{RfNX{h옿a/ fo>~m'tP|̱,\85nZ.YߢbZf 5Y9vjhaV zW(u=fFNrc 2}* t0g\l`V#Sl=>)y7ٳPwե wr+AT7M(%]Džk0ss 0nKT[̩|2#`i#'[5>hHl< bw5ck!^P(̃ac<Ƃhm˒ǢpL,SzryTiLK/Zz H3\YsF2O%$,phqkk I&Ș&yeR[έoNߡھPӚ+jb[H VAf 4*j U{D?^-^?@x5ʇN%~mϐt(4Uu5׽j`Z}aϩ~0gCN(gQE.T/*>>g{f;_Cbgh2'kLcj,/FرMp*=.JI.ܰܦՖV7>i[k+}VXJ8͐>Qw[ az'B=m7;MڈpR]g8ϓIQni֧݅c0eeh,K\5̙Tp&z^kB%@xQqx`LBCM&Q(Ĺ@*P5]w!Cߒ?F7ՏsݙV!aLfmp& FY؟OV`D#k%q[-ۥcCUP2obʉ Ť鎽x҈"NZ6HͶhC(p" J28#yG/o&SL3>(t=Ҍ׫ocד3`„.ÐDw+^ ;5F{~.u< "-4_Vr.N \~ʛm0Q>PEQ3NoSsf d-NUyo+ewYf;R1r;48,zLH=8i]ڜ~lyzK:R O2MpL]`1 SLƧ 7jGEN4F7r/6J_k;+S @lJ:-nV1=lEW5<1: ]c~%UY n~]ol+U*TS{Í8g<<ğtxǏjr_d$S_r2£Qƽ,:hinh }KժA|@`Y0spYh#A4_ C[bCb#Iӯ# lQT]2&})^WwuhviLJ/Q)mʑoX)7DG wh moTPDb [R+r$2:Oڏ2C1PS~4>)b M ;>OߪS߿J|f,mK7u1O@`+=KtO[.`qtX_Ut_':)VqEHBt=VG* #WH .xwޯ?۔;Xm -ȨLQhy6k$6wRp{sM%)ܛl8y^V cU%{}Cå#۬!C:NF"L7 8ٻ,vI` h idWC@E7׭KJ<ׂό<+!m5CI9BR"R v[0+EYf*L뻰nas+ G z4o_  ]P]:Ʈr.7OsiJB u63GM=B*c&2dT+\E+” DxY.4Fl(ӉѲ3N}nueM3GgA4pK7k ' ?(& R9c|!$T֚㒼팓CBn65ȋQ. n6m!QN=bKP& e P&xK1vDcV;rI2hpqrMgz ,§ǿtckJMz:FJ6rlcQ @QS!&otUjqm RMsXkw+Yfy_H 5H@ؚeoX, JWLf%sM=y *(e 52;w1 wIk\>@듇 q5z˿^d6a/ 紐 {s0K#U]*rF*.E3c}k$ћ8m>j3'Q Z9kAHp kI bNXlc RF|]#㤙)O;.l gjq͵avb$3;X•9") =k&H{_V03t_g JFHϷ7zcTZu,lƂMЙC|nHf'g̣q_vqdsmkRvmXȈDE^W) i8>sp;a<.}%,t;oEZfl*])Tn3w輰\J$sGՈfXμy a.V;[n[4'Wz*cY2ng릗 $jG(>B+#Ptl:mוfMD!l--/1m,]Dpz#&G*YV/-+ qZ-뚘n$>?{5? (?\&SrhH ^if fB%?B!s.+OQ>qI˅2zIudSˡ0єwdW63\`o~Dm5v QJVU3WҌIv|}KE!E7.?7[ۑ?Y k5KD<;Zu#]Ej-t^s)8 ͮ}LFӜ'5SW8Zps^C|=zzi]ޡq a Iy{E9Bn#Յ3SA 'a7 *67pTؓPp+5vmwZkta0y) 7(>35 "X7sIg(m4fiKS|@hNBx k x5Hv"缯5:jAF/xǯETGݿ;+ө޻͘OJ;ݖPF%CJe&,X\.)&2l݈> ZDFmX{ ڌU(eϡj`\pT~%H ˞O6#eerx12oiwZM׳y1OMjO;W)]Ip2}M4-ȼ=R]N7 <>K.RR`g4ZYwM|`D([9V5śxt (ʓSG y$_VQ1 >~޾4W#PqoG!oH`?.-N.hd7䆋ˮZUnhhQ%kZِ~ EY.zk tȣB/D'tT2?$@ }w>z.s ntC֪qcrK('E&gf Ar]";bJ}Bց#$3`+O"D}pz*mz@_ruwT6iu\.' O2ʆBcucN\?omg*5Cڰ8v}j mщ̃ʾDiwL'm0Pv$1 a9 s>bt 4UԋJs1isw<6v3c|^pnI"?[NHϼQU֓SA\g-A6T}|Lސ?24mס6{ y/MBksNPgp}X*tM#ғLY̴ ,'k$ Đzp ڃD/PX2$pvX c6(RZ=oHة\ l k55dVW_S^q(>SJu ~g^#xs5 +TVDP x`-PfNz ?M~Ն']U9Gp9;c5؋Pͅ)')רgiXb82k8;wV>40,27+K$vCov]ݤ01Zge@\ j#Cd5K Ɛ F^V]PUqQt,Eqc`P߇ @p5qG2 ScY4 :6-H6R'^N=|/O5:ОQ{V}:((/}yT:qKxf7Ow U oHuEMzx%8 ?`*&܏y\ ,vھm'o"FLN ("p1y"'l9) ~]r^S]tp1贈-]ٽXTQ HZzjk)}fC;$ "x)>׺ٯy'KwRQ v7-VPyi;hozhk{JԵceIpxYo&Q7 d { 띾mi>~ֆ3%%pK6~ul%ǜ#~}V.J,E-&mt:s)VuHzZִ3^ 8U@@\.xԧOtN(=TzT1֬[{ RsۥWN,rɠ y|رL(u>]0,FÀ+F\"^maB Y`6:ߜWsqLTJ //a+/\WFXW8X!,#fY|ȴp0 M.ɛǵ ӫ!{wkvی tXUCv =\Z:{?Dg%d<)_k%zkdQ/fdwkE4ɛsl[KK8gq-K S&u7 [sVR ׿̧Em &D e!q']6:6f'-n' Te!؈2gb`'?\G/ U*C51Ir˄]|R+ܸgE}j&Jt]BȈfİX^Q]kaeDb3/Bb Lr%G:l}= 0!hVziംW*㤼+e~ui!k_+4e534 Xat\PkФqƸ7Lʡȟp%ekpes[=~1K!q BYgĭiE@b.[O[J+k-q[:_GBDdiY 60W2J hIkiA0(&&<4_D)_v@i, ,F+RaIAB3ُ7RSG_lNuR2~b3,֡^v!ߓ6 I̍VB3 ʯw`:J`\Jm^ꡅ\FG&AiXZo|4(Pգj¢z t"6Gki ʹjmAkއ1g ^z32*a+Ɔo p=t (@E!w=SGYsu-V4O/b#<MK;Ru> Ug[ @ ck!b@rp c ~*^ן.1kp9Z?BWP=Ȓ'v 2OlЦXAO51 $3!: p^0x*]&GVc+0Yc~JU<1h \_xC>%n9ӌ/L[Ts򚪠: 6!jr\[=%-"rl3:7#'@^fR-ACprK Ȼqan%)vi޿+O?R;WE\O))lDf-;K#+F!2 [PA. L 㔖#vI`C3tG?g1`[ngX-Z' djf: SVf٢ Z-: z=&(-tHNͅDo>^_𚤡[a04JW"!J :bV7,`]ܦF3 }Cg3bAzzGեAjvgc@')_s&rUTc'„FԻdMOo=oAg*ULu#渕xѥDpnyuIݺ+֛q~/mM ˛%4'Q}'; )ҿ/P*6ɨTA _8Mv0>vq eP lxҤoUO1 NRTB@.2v2J0Yo} г ;r9sR8$-'O.eiL/& T8W#Zxұ'G]fWߘ;QcvOuS_-!3z'OkCʈ"OKo\&/L#ם.4O HPjc, +>%n,5^ ̪W.ăi )7}("Cb8]W/ڀ:E=Y |?ԉӏeK+"x:gw,R=nvq^0HTDw<<9/%H $R&fX23e@4jY=!ckI0T [Kؑc_:8ʢ| 1{ץ ! _/(5rC2)'KdM]:qk8Ll༕KJG(6(T#ub^\j_g4&x+XO>H/±NAvQck9db7K9ױ,gVدem+q6ThHNzXj8-ht "dI9n}wraA# t+.)&E ).U3iy/(~֎a:]Dc7'R.blZI">r,r퐭c=+A<ݍ'r_AvFץɣ7u4[)e}s+y/M'c.9X#T/X0Tu%-Ae}_©Ώ[j-<}7d@lb$lLg5*Xg%B|>pxm?֏̂wHЃR(:%= Ԣ}̸o?*T8dEHouW`Y4Y/Hд9J#)ZCQg T̤xqO*}P+BTJ&HkWK9f{RHäכd7ѹh-j>N miQ N41ʋU!ZkILj |/';vpch7^b ne(\b<-p% _k٬uthMk)Ffͼ`1 *qsbYfogţ*Xt @yW6j`" U[H͠3 'pc 0*AABR[vE>Chѽ

0剘aMȍ9򈪥#!wv(0aA&wYCaN'P9EЫ/d|e+uK25c$*oK)?FXeRvKsp #5/Kf;묖0=OKƣoBݛT*2ݩ ,j6Au [:kl G'ktr_KS3/A3z=TɒDځ:3k2ڤ*zQvgLg.oU[Xnx .H>?CV ?*Èvա<[d6=m1cq@ Jue_>Y4`]`^쾤_m=7$W·{V*kZ@ K[W/YmNi!⭁' ITi P=6[.xFwA3>a`VQ֨iDgO{w ߑ2<[_hn+2%~>7PHCČ$ im38ssUN'ލldȲ~ Ws$j@ $V5@ds eq5겸Lҷͳ'6= 㳐|&6}H;s P@kysa.ـ+:1 :m{B]m kCEhHugE3wr5el+ }߃!|]k w""+EW\{rg3Z+,LIn@%B=TA`:<ʠ<=XC=_hV +e))*o ,+1.gUo /."5gYZ39704b8212f0134033fb1426e5b5dfd2f956975b7aefefa57c2b8d1959cd57eb7b4895540e3d49d8 c34a22c7cb73800bae89d4f93d1c695843c99673 fc90306bef45db01c78bba1b4ffbdd5c01bf377d