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 ZZ9~4\ ] HOL-Datatype_Benchmark:threads=6elapsed=470.904cpu=1930.884gc=689.7487zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;)P]c7h "p5=Y> 6''Da{Ɛ{ ܄7Q^,8qXb>!6 \Fj(\ϖrf!WgqS Q#[jd LqS;\6}܉$檹BXc\,}/X+rc a7ʈ _2K]D`veOfjstQs`Ntfϛ4f~iqrK[0"W*DZk-ZN{1ďiX PcpBԅҔcɭ [*uI˫9ޣ_^쁕wPKw'B`}CdG.,E!B1VRK:f ڛR #gק6BK3D@_v[ƺYPY6Zӹf%f㏳V3R:Dt'_YaN9x _(dO`n6Q:x4 /C_GW Ns6886 ix!gYZ7zXZִF!  ]ŗXiɟ1)*u%9XI H A\* IԴ!=4c0#8Ǘ8T)_}XPK `68bo$xK3iܕ.JpNn%.V6VQc@dsx1zvRH(Lx~) E1AmZ%mY :yLw+@.c_ЉyrSP'"B*۰uކEj]>6C`4(C;n8AeiR!To$7ӂpVuΛ7BC6CWp,ʶHdjE|%5ܺ_l)~O$|QNA@E03<&Fjưt>}Vwjp!5V٪\^\\Qr؂%佞_Lѓtγ][\r_˽uCWt5Eq(1p|/F R)n7Ge$,I|,]J'oSp6=y,W_.ʹPÁެ czQu uql헠 K ݽ .J֖0qa ^?D eT v,?7CK|N2@o\؍f]#V>DQmjtuj|wNwzo3wjrn`{iSܻm"PxMS(8™;M#FO"4CVnN80QJ57hPcL䙘+** cJ(VGG]"czځXAdCRQ4wk;hhf>M`Kԗ{XYʰQ7ր#=+&81+K1 9ZnU^"# ̸ۙ@F:5oK#;+nή̗"1~d -C1Ҕ&!ש)J NNeɑ(х);/FtSKZՆX ,O`xqojN˟Eo`nFLh+8Wni%pBR=#ۮOoD1T&% ѣ=&s(~HiW:/]i *:h:J+dzJO ~HGe yVm(biRH71$9_z~JUA}CU*>mO8+y[W- ,:UTylAÖcCH?;T+ŧӧ#56bׂ>R/&YPڜ>_z`cc^ Ut~Fn.W NǠ"Eg#!'z>?{ 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 }SRL`!)p%C փM`Ω]75Xz!jSo|S9L2_n0.a2m4Y7:I:)gj6'( M*ДmA֢lbfԁ& m`Z0?^JsK)12sOc_eNk8jCU\[6/aJIl[^=5ɟypsydj`<Ԉ;?5Ӟ ~1$1ΐflAx\̈́GBH ]@a_io( E=% 6u>TRS|C\En[3>j*5"[߹ i\EΑ@fQq]͟"H++>3vS#}bNvc׋)Hb}߹S܍JGߍ8:RGUB(QlfբqQfq /Qz;#P)ц4rŹysKuUX< 톖Țo3wkϊZs|qbL]opqRg`l"nosvr:&-_O|4*8=a/ŧdŸx:D8 p!Z='/ya9yc5ھg0Uneyu+rY2 [uZP.wÚV]I LzLu>nGM~u #kќͶD<N},_GeX@-5 {F8}n֭N6.t{ro%e(fb-d~o`E/lܸ.UJ5d\vB#r]W=k~4 p8Z|2%mbJ#$Dq嫎=m9SnqQz7P~8׸p#C)9}wԬ5zwπ|[=N>w$hs琮%׷X=ǪkRf'QYi6JPKmq~n[q1\ _'*=>/L@*5[ Y)j5Ofl璜ۿX劺P"^oTxs9gXnPCMwb9/+بorzu{g8LF&XIuLơh9vPd&^'g Z 3\W:9cvJ$"=p9Jn.xyAaR`T=:4 =Wϊ샵N&Y:'RkJ'O," [g]SWj^p`&"(B+mMHfo"Ǭ:L \> {*hG!:T} }Am_T`ߘ[LdA44]1vI|KNދF9=p2C-ҙɈqr̵ bH1`@!w:8wa k xۉơ_rl sna+whw6Tzy`4؉.?ONe&sY^j]7u'Qe o@^pہzn`qWpo8O0 0(Zv7;9HVwy'd}ۈޥs!jB碪ժ`B%Bl3 W+$V6ѓ?'IBf/ f:-Uߌu PZ$Cp?_!0h?`ٴmNe|(fLBwi˽lnvpZ^&d^Pߑ{c; nEqv)10-F,lK2JQE+Y r3pq/Jl8Kf`֔q`3?sn.Nܷ*"T\ 7*{XB\d<>xc4`88ʹ?ղQe] TIg)qɊm3=4k{CQI| HA^zc\vRɌOk+(4!8t ߔ&oG)Zt(i!D &T|33ކMsN;oo">P陃ix=^Wx`k98yD?Ѧ0Dݓfw}c~;ov콪?ޫ{2WldTJ]$W]/4Zl妬qj45 bI-2PcY(H]%Kv4tJI:5!lJm]Dq KhBrM>:S]L]Dq4en1櫒'Q J遑R^ wn?.""`/\/_y9/jEN/0DMQm \L@%h}nQ/f@h-]-<袺pz$,t|G>(6^c3|pD&$rv3O?pV.[L"elm7|?z ZK"b;8 ?0D_&s4;mMJ(d} R6nX$ver̬S#p$#`^퍜it_'֕2cDM /!^gX>kMi2Vv,/Ɩ@mOծ&]MI|/yz:2o)x=qZ1%32[h]CaD?`c`?:M|$zwK I)cPm;َH%)@ZA}C D_$ e܊ʄ^K#PC;\+RAi9O%IzLy笹8l:G%{G~FDP盝Ӥ=N JoM LbMQ}W꥿ŗpaTŁ2e*Y#^|9SC*C]H{㗩Ckr9~σ/X$ o#7E GSbv$ =z G+m;Wk:ObWG$^ zQhxpTlwS;l^q$%Hym^\tr'SnW8/ŀNGP}4": s}|<50O LPlMey;>80ymA+4oE2DŌE= L~łk:#SN9!6޻Ԏ<|9iv=\!Żl1ec0J)M5+gIˈrtZÎfw6{ABfm" V;$9 3=UjK].`+!5 >-SA3m}2PafUt~kkDv2;=sD#5.=I鯏}ʙEi|Bn|}~;;(l`/EyUȬ.7nV|,ўD|qimM;-5ƓJ} H/~Nx7%F/2uY6T(]/r%?w$T$ FuM{~8wf5 +( IIBF E\]'QG( Q@r<,nbn{5 Nv 7g~+ON^mleT,T"bw wX3Iw=]^iRO&7 WRt@pI@Ʒ,g:{'Լ|ul6e_ 80>Qnd-1}NG]\bwFll#؝R"ŕ|t.)1SpcA+ Ất]s'pMlk՞zX  ~ oM=]koRi'O*8?1'e\HYTB?i>=y[k;`Z,kt>@Sr05?ycn)T$ba>3%țyJ<+_+tɀDG0קg+Qe}ƥ&A➖%0HYҊZBBMe+}5SHhk_:TDCn _h@7Y.?~Z:g跍'CCdxe+q5no֦D@zޢA.]VU"g) g {#/.;UjRbwADZ`0`1l( jXA(7[#W(g6e 5V} ׄ UȫhI_NxU⦖~(5WS>&"7|jRjU# qJ?UrDR(<:lv :d4؟E*e8 9{wVP9x^Avqv^;*H-=,]g`2&Hnd/ܺUnw{Yŗ]㘘Tވ3HE1`G/>ZEK'ҩfi v md6W)Pf?G\la*>8"j۵VA P.21iPlޡX0vZ:mC^ؓh1X@ YȹW ·ꁬjv^M& p;^ھvpDN0/X/rLթFD vo6Gq;tM^}b4qH}]+vs=zr_FwHr,w?:1syOI>Of7vEm }iP X8S`0QkB, Oy†G.Й ra$fYR{\d5W5R2*gLZpto\/K0v|b?3GOrv>J z u=@_TaZEOZlH;<8.AgY +6w"\F$aѺK\YŇv*= `*3>&nMYgaGyZϲ1x鿷+R#yd;v}ACTf)ktOՔ,+N`(8fI ,ѽ4w҈jB!$|㆙hv2ܖ 8Q͊{|讍qq^Y\hy/~?M&åM9X [D )wo#$úӒg*y\R>~AH}ʼ~et.ӝrQ3@h?Iq}7(\)Y$JJO۞*E';H JRU2tN&J.[*s#!6X {uw|g5wfbJst*?VͺN׎^gq̪F ?^f@> Y#[rQ<@s0JRl/NxVbK.m 3+3WU2װ穄)=M.F0vRT4 zQϮۅ|̽yS #9ׁƮ-_7c'܎3[:r  >"agDֶסV8=@x:/e3$-@[{rv;֢jp-Lh˼Y'vg0i`=,5: q7tO(p9kLPTȺ V RYckB}08Hah6v6<w6:{KXe2㒛,(bG5QTcC4'[r([YFeY}G:2[Rop0DT K0]gVHL}| W Z&Z*I4G "ƿ*|tV֐}0QߦRJ6ӵ1:AŎ`ä}1=$!*n_Eȟ٦V?J!]Z*v|%>v8%\4HK4Oˑv+ G&9XeXԡlxﻪ3J)& ѓ|ƒ\l_a':x#uDA/L2:֞rU`~:pgsr\pygh޻GVO4g:y|a Htޯ7F|E:z]@.ȩ'voRg#y ;t զ2|π^ljQʀ\]济=a F@u\.`F/EdۏvvA7r)[z aQ%0lggyN)ttNFaY4V/U q̋gMK1IbI9x>C-[1fޢ(1p/g~ĂJYwo/FMzRt@S̄[2-vKSnΣa{edN}KmqUhg 3}<0,~#…[;~"Pω0N{" CmBLbU'h.nrK'Ƹ6JcQ^GxZF}gG ,FZ5Txs|)᾽8 Ȑ=F۱nr.ʟ:G9]: ϬjoUQt;N19Ѥ) ϕyA1R/#ÖW{J+t=BrE Hv]t3`b.*k!9 /CyG!j!Pp c wO#eqkٳ  БY6(c;j74 #@ v$Q{ji,V=G;FRڥ|f9O{e^UxS {_qlK(").Jw^m],#w.jݡAvkoo%˦JݵZ9p¢DWwrW5;wKTLE3O3<krziGD4~VIr0v*xUʹ3cp GL2T"j>eRd;qpġϙ,JuL xyr_ry{bCN4`4\s@r+56':ӳc6`qwՙX tUt&̇:m:i:ɈdqlUL v(Rp*\v2#0jڝ59oS~89ґ |y:'޻ӊDN"Њ=NX='N'OWzϥ&5@͍sDo>(J^x 7[` eb9w8=@{+iWh*J.E %;ZPHKnj䮪]UkJc9`r;pПN,abk7¥vy.ϖ:sw*U(ЕhB>ؽ]Kўz 6[?Z? Lb!1]/G=wb3U};yH3S[#Nߕ^^I2MGǂ ƹUfGvÖMFM-½@scvVUɣsU?Y=>.7;adѻqE4w죩0$;O*EE)Y^2;cwdDރl Gڅ50R݋E!5 H"~SS2wEZ2`> { uyCM)xӵ`Ц1vdJ2%%9̟\EGMǐ!-q)RrNCǘK YT6橇" tmF ~z8ڼA v~Rg4bRݺ}|c'A0 w@a-L721B/+v Q+AX ArѸs`Oym-H7:>,@3*BىfUPaYWh_a4vf]Z?lz&s[ݛztdA @:OO3w8NPѹ= IgWЀmWkKݎ!kt.oZ%=ڍ̔y'xA(P/Mhn {"TA׿|aqEg̱l0+{UCJ hf[.Ys+D"[ND4u>9Zp!nKY06{d^!nطs#Yށy$"no9=3;rK?W̸h0(}\jfMj`nF@Snfibid4VLBRư ,3,k Gp>P飱.M[.ۄ NG)қzcy 6Anj%Vv_Q}ug)>dm'CfOgTgwͰz fIڧQ)VbG`7Wk1PDU{ިЈ?T*  UMk\k ͟Žo}^ڝHDZemDmmƷtB#cmpLXLkcA'/9C=4f!#8YȟaڸIԏ X;fuTi7nl.qڝ-`RQ=,E=zAbkrO/k'!"NT?D ˑZ޸7xЈ(?3B]73=ˢӄЋ;Hu0Sl}tFL^2pGs95Fh3lz攺r[~|ԶxlKXm_1vjT (n/LŮύEi~+ZYX@\rrH[5 Nu%2&="{\Sjf $y߅*XL+F"ˀ_Qл#;6>bj3tV{E źR6`lha "' A<^ RV-9u7 X5SuXM,Qwq]7S oDWld%_[m~ 8^jEdlr8`~zvr77k8`ޝ{sdeRѱ+eQ0ӗj4ubMs*gRF'lbeKo`Q3܍ [+3ݭV,r\[ .R,l#Y ~QOMY,ռmD9mӜU4݊k?[L?k9;cFN֧,*j0u &gs M1!2e"S(l9hB:m-3y!0%LTD>xa@wz-Vb]!˲d!4,IAdG5)=Y]ԙ%YukYP,V*0%R ɗ Z炯6R~Ԓkk\ 3&Hfy,>Gv}$J`##g.zaf ۙˆxN~2qij@>dIcd _1t 0ROd dI `ڍDzqB{"{/7S(ލ<}@NV&s.O&]7!'^_'K=2x0a\ '6@jrkmOusTa* oa5n^#<&%JChV.uyR&Ə9huxQjkm_j;>"(BHף5QM5@aBhVڿae;x=g2Vw DI_ˏpEl:"d},N`M255^:!VpY 8KdLE{MY8Ih{Dt=DF%-x)q0)~-7,[(dI+| (29\zab0U/DY!uY-GVn0O7BJo@E,) \RX;:@yg\;݆d&W\/F@g 8lX ޽gDl(+LPl. iCc~H9[a%f]FQ% bj%C?^J~.h)X^\h/u rhvgw58a][5ߊ9wXXW5"=̡Dc"h?eTx'† Ϻ4-A&9wWYMd6WIu_jrHrj5 b T Ei"2nef=rn*VWQ%hd)G9}v(I~ s\.{EɆ_/t{J>;9W}}=/uymԐK~&3 s|D,nvu$O3eRxrc"2 wϾ@Xax:΁yf jkt8-;Kh ȓNv{5;\v_Pr%l?R18 7Mۺm3 I"tyWVO-A"tGy$Rܨ r<.U,X$i 4L}:ֱ̑'Tܬqe3'/hkD.y9٨C t|f']y-J*&L9hYJMW# 0B,$L, ħM"ߨ9Ԅ(_6H2 ֑{(C\n< p+›UD)YēzDI"f2->Tߪ/9`E*1 t<^x'(͉ÍQo.»x~:}|lI}ZxFo%D\th8%^ 6S"wfT&J7KߔݬAwllƵeK Qf`ΟsfT 1/fR%ZKpK#\i6͉;_J^ Q DJE&`-t`/q ~mpՃoAo<֥UA+$e0\7_mvF TkϜvfTf%3S.#)gӍ sls5#5Wdp.?>;wPu@vpJI,N`.$ qGdy=Sg HnD *e&-Ef2?VoKb.TM{N4r{0 Ne5J#a{%*l6 OXA- =A"T'fЈF1w1Jl4@\JʨGbT/K)M+9l'Vws46)(rr/Ϳ#cL:DyZ ߪ` TEteD=&Ph;+tٞR͟RTuBõ杍!V)6 bOCp.ZjVXͱM+`ۉhJԽ@.dC9O\( A\H> M؄fKf%hnvϸ^Z?ˮS4\ 5T-Ds)^kzbx~()'lH]"Qq,?cWΑa"+KIZ[GW{ H b۸3:=he4F;h0("q[Z S0 %9[ j )Ⲥ '%\;$]œWao͉|6;ݮˎ8w2'H Hl$Tysr&*Vb狫=2{kd;#jnQBLL/ E%>$G v;*-kѝԐEsVf0B2soKЃ%E/H(NU ւz.6eꐝ$Ta/eEG7Ⱥ&cXCYj/ɣ@l X +qղYӴ}17Я >*Շ|ZHuНLzɶXDIUX/!'9`%DA4!7Kqqd /Cðlj?mIP_;f g|H` :{i"݋ ,N{@5&[4&lj>[6nB3A]Ƞ׻ uLv>] uNU|bI\Tޯ3":!$mh.;29 &hpW\.I1Osul!$RM\԰0 `UE =4MAPYXHclUxpq3Bnt%@-RB /eu0xn$xbo4;8juymkۈ ?71W[D4%N!:/V!h<Y#9~AfXTQVvV: &bFW.>5n݀d¿2c^\oqq  \KBPz'4pJdP4רrFvz͠w؝/[!\JTP2>{_6տ'|f{c&;nv%2&~ehHX4N _/u%yv }ה<Mx}N9z7W&" 0p&H8 κ^'۶&2gEi-R?'}lYBܦp*,"3GhG #f* M!B*YH>Ǵ9S!q=(%E4/,!Ə13p1 &!\/(f[Lx)O݅NB+AǶ/~ 4xhJx EyWH^n[t HOpZEi%$^)ˮ/(I5l8'c듣~-|3nk+ 1^[Yg&晟9 nHܶl$8mW/r{4/D+>Vu(c?\4t'ޛ1:b~Q^q䭟nL-+ϖ\e_M$̮H b@&Rz|vI=!-r`+bkTUcݘ=.gl#L'bB_*!v ],CD 2ߴ]xm^bX\u2:WToD۱eX<O),+&7Of0gYQkP}:O܂4;׮ϖ'&B } v3Rf#>6R%CEXppiPƗr5ywM uZv,tL]6R# `nvt=_ ]Ea$:wc{|RK!=[۰EBQȂ "e|ݨc[yX~b!4f 5H'˜f{$, 2m0Uۻ}-JiK_Fz QKogOsc)~@'JـYooLuԙ,lDְ>*n D]r*ZK9D2ܒo{ G!+vL >b"@?0H\*;V{뚉Df'6 -}ܼ&1G+D*x#>HNePu$ 2(Caix3)P C.y0 9m^ - k6Jq;Ǧ4BY 9-:m k5'GO$[疨]( ѵZ0`KM!X }j DH/:ĮrQr֒IH/E|ص7!xD 6@N2WǺ5Hc"Z_KG*[;O^W:]lff0't8k~U=iq}^H+ "nSӒɜqA{: O^hM)Do2)O؂Q_ g O4y[ %["2dhgډT+J۠ 8/W>; RqǑLN=9hd`:ұ{ ܹo`DLm,o@}KǓ?ۖm? gEMNs_Ki^B4llg}wen\do7 wn(pIU)c¦oD;"1FE}?w]qr`yVˁo4w>}b1-_{(j]6tDF vHN!]^|h@0{?TAZ@66Dġiw`8 %ʹ`{@ǹv@L *͞ &k.gwmA% ur:ER/ZŶ_-e.>;4ՔHIϺfW}[Uzz\73Zv@R)2=fT3uTJzHz# ~*O^{hil.kd8vTC.Wj<[9 J H*+ӈH[T0VZ*/U8 cU2Bs?AͤCrcfog21664e'=՜j^}̃X<وo(٨A&'m$F<t gjYM^coB"fz7]e娅?}aALDЭ2miE3wj‰7zuJ5oKEYZAe?! looz$J9n*\~@y7 < p[lWG /92cn= \_1Bw8FӨ <|܅ґLGIlIE\˖QDzOP|D8h"U|]#3R= _[߁J>TŮꀶGDg~p J9Ag/Sɘ{W ,Fh$;<0u)"Jj/COm| Xl+"5 ŖH&+[yf6]!$>!/rpS@ArFSDv3s"fbdo/IIwjG Iҁ*YF֓op >@vHB@Ztg{+CSsĢJm'"[}j#N"q+AV^ϯ7'=Lf]\m_2O\dp&]r!ڌuw2TJiJ0ANL؅2Ҕ슍øߵ #JJ_L,[nw{:9'"*QgqU@F=XMWؖaUIddHue!\GeBȱJeT mn(hX_pFYmfQ-@j'1ixBa@?V5:Xwd|A;_ *NGț] R_ӧ(|ofu';Wb>ࢬd"|\ɴ{vJ1%` p\eiXCtJuH1-6/7# p=.oW P4TQX"jsB8D0oo(gtt,b9Go,p>#9"wqlĿ8^dS+ɖT_ ޘh;91F'6&P1] 6累PM}Ӳ{@4VxT`_Ko|%7p1d)%kCݴ=.}Hߕٺf!5󿾎*QjFyIJ6HWC.tJO]llRNЪ0__`oa1ݳ^LOu  V,VsT&-,sv $&({ZŠJ<Ҵ}owTt,VofNݘ;P\P\=+q)3ѵ,??iF "s`Kp/t1S֬~{OZCp:@ld9-GֽXTRY鳟O9P ardHbfLwC"e[T?zUABm,CGdxcZ`% ,BaŊ#ᯓ&D D:g>xm7 aLC3p?5Ǡ;VQܪDYT4wwu ۗv dl>º)Q,u2lo4>YJuyW^OiJ|.KYfW Y,J&rp3Th8DLxwʹAKcXo_%_vF>T:I`B.kKn+8{yP  CyS[md x+v4a,ég6AI5r-r|է.p{=Gڿ[$Ӑ׬ٿ-'N{[R3]ɿ+FBZ:JN"@Řy3l' yh"%+vtȧ d9;תlx>_t,=Y''2VCo,qUb[@cV5@+{pv_yǐrU`21{ BgOvq<aLRr[(aG[HOÖ .`ś"D\HOWQL1 w>qGcjo]V%Fe3F%֊j6PR%ga4!y/+MA_ +uJIY[m"n=`*}VnŒɊ{@Gi  %@2|4HY$H~b$i) aWMr7[bq(NTeSݐ@ SG5 W-΢!nx<8[LEK #QKz9j,AeԷBRBP# Ytgpn- ]Tt-r(=4Lf8t0qJOv=7lDpiVq=hIp TuiN;0%Q%AuKB-t)cd8ITd~ryu=/aJI;w(lWMLW0f]ဏsEҎF%ȴL \9U#i1>':):R)qoBoabϧZy޳'cnE.:ahO-RǩWLJWK=}p(ɔ Mc.)ϴp#0쵉;AZ үDd ^ 3*huɕw`q ÍdH΃6)7мq0EPk4"C^;T(%U=eMaE?!`Lج?NS;*Ɨx6>]邥MJKw/ uBD"K]V=LH@g8:i2; 'P7hʯ=kJ4G RY_jx,R]Kp!dЭy.*6[~lak!^=(&x Z1FWh9 J̏B۸u" ߠwtAFrQqΌ#>>)VZ &0QyniL/>Wh Ylq].(W&+M[>BB/߯AΓ-} "+Ƈ *y佐33"cj_ZJo (}V"Eifd %9%CfYp9%~MfWj&Hf"ܤ(;+EҸg[쉾A۞ԡ' /YٓI_%Kucp 8a n@r"+A;Ì볏%!;J@NĵPjvXn5A6oAJԒ &1 @DGkTN^+$#951 , Q755Դf 3,51Ʋ`1PZ@0X9#MqZNV=Bα2 Cdzo(9*!jX̩Ƽ=2ǃtIE#GwsAfq ,pQҒA$7KV|pyqqjIm0w*щr9\h۝ғ!\_(4cm&lZ#emZuI,4'IU,leg}bJڦ%z=mqTA ܬTQ9p$6G=D8Dn:׋ĈG2S6: U:^ֿdvTMթ.n~"`\Cl1_Wīo(ї:Ga+36ʷ2B'@ D.G\W^HǶ&}74SnCLֹKxY"~p%&nrJKnZ2Y̮E%ˁM0K6\YwIB0xI)P02H>ڇ*jl2q9*;\Cj`P d.YG{fmakHH[:8`[BդWi#Dw z\ݹ_g GB[0nIPD7!iݝͤR/^-;q1{SzT]madsC12Ơ5}瓶f/!JT>[g9ׄ!rXF nua-ϕ1c7U'bg:T!6sg]w +'T,ly0b&ЬK\xZ*U)͸[ ÔKq-ݒ/gϜ,ۑ zbb߂Rk1qϡ~yΧ>3MQGAXgG^4p5ڜ\Gp:o7Y*.UxhoFocB~-Ы'9mR 5*+M&2Dzi!j,$P`q<2a]Mw?P+pWيENd (-ח)(HHlq C[╞rb9@)\5+^SIYYF迣M O.74^t"]g@Yp^K `i_Ԏ1t .6KO^EqtZ}woظŸ]Ga\p l^ 'ٌwO2@>m71Uhcc;av^!$ T} i0Eסw3~ q/Gl@a64oF UI+!Mgp yXu/G`*z;xCItv~361'G=jH^GJ}9IJjzc h 6& ,B&sPƂdVeRWtl"@7!] tlb;*>ldq<)9 RcޚQm־\Hܵ[$PW3Jyˏx$Bu98aS⮻IIb!*:pC[],3"J&gz_(]DSΨb`|&FOU4mN*˥[OZc޲F53g''${bcU2B3jp*gvC$_P|kOV:meaqOw P;^5 J9)(YoiKHmbP|=I6Zc12In`F~gQ!@%\̼ť]&.l# iS'ypk'UxaUPƎ)"7]h,<; &[QPYDj[3Ea9kTؐ -C 9tG*tN]ǽ85g0)YR7XKSD"& Q1I|oe>2[+x=w^yDga{4Ӯh`r -ji#-HH)Aٳgr6r,jaUd𭎠"G)(h5X|~;`zA %I 8oQ=#;Jad- %śEXpql7h8]ckx؜QG!803?m)irF wD$"_vu"Ȇ15i% #QǮebpeH:͘M߭[ /gHqtu2LG=E@>8H*Vv!l8G8ӇW&H|gHr +h(Qv !5n!%)H