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 69~t<\ ] HOL-Datatype_Benchmark:threads=6elapsed=528.925cpu=1945.708gc=722.4167zXZִF! 4q]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;Qxvz<3Q^[ƀt Oz@1Vd>n9vg|'q aTs2&@*wrjiZ*G!(e g7 C1>v>C`R~cgdJA' Tc :59En錭gS➙!_bf3L$&KnFG]B?[̽Pt=:J3 TgOGZ@krq{lځ4 Ǐa%p !8MWqt(bN^%mh@WlJFITfIptw+}7Vi 4j& ulpqy!Mlz@_|$\d{_TilP̘FI]44ڔ+V9zS>͆pr?MƅgSEZݼگ@X,ܖVUaxpoZM p!j܁$8=BdиQpwx9WTSmE3%"EiYg-﹠1JsǙ20=2U;e=[ e Q|Jt3/x*Fdڤu0. gNƴ͔Лw4v3 }+ hsJF`8OTF.SBW0+r.hXq}u>ON A~UjD@1UF~@c="tvlE _xh"!|tZ֤bw"5~2D=Z,+7)hE>&$NK|IHl +g5wݬ _=2^b겋o^SثjM-m7s'0=v|NA i]/KSGRi(qә'r`j$sKL98YQa3*7ZD9g/JVD4r) 1%0s~qc>x$+COa ;g K b>NY3'Ra(zT,'3S|Ӭ )`"ȿ )H *=+ o*Ucn?=^m eU.f{5 L)}K!mbSvȌ#> n^B0F4Pkvb( P0-[VՌn k/@Zl;b.Y2wwe1% bw74 m^ k'D(րrtnw_б06ކEctm+7eEwjk0 ^ݝɖX?m6,1þُةsL؉&+T//K']z8p0U/qe:ª? QyK裌,-XW>cS-cz!G|{ )}1YpURxjNT`%I'`Jy;,z=!}p$tjYR+byO:n;uUsMтpH1Z<ƙm$)q's#z kf[3q۳dx*,.ᐨ4MO-9٤`ҭTPuMj̵L3Pu Ѐ*AՀI!{p8mM_o  %]SfVT1Q+=g 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 F|vo:b m : cu7R"Ў J<[SxNٲ,qkYы,?[6S..,r=Uf] 闌(Y@۾6VO =QҖbCsP8{z4EcLEKݷ 4CӠ_ @韸a5^oKex93VRҖWEO.5!NkT\>b9H,ޢ}~XKJ O5џ6.04 ?%K($rۤΥӇRuBsJH"H!d9ģ;`j_>+.6.wuAx¹\x¤71`vH#WnGʀ,tGig5Q)|@ge1%Ё\릂d&>EHߺ (7넳& y9OGA7NwX:ˈ/D.\Zm]#]@49=B&ppl9v{yա~?d71jZ [U/3Áh0 Jt߃΍##= f^}ShBAW,?ے2}Súv,zø>*[1I9oH,*(!Ab 4RyR[R+x2W/mڙ_ (s(H5 ͱ\kRU:5 .Hcip?3V_g?Ɖ?H84'r};L (|Sw0_82,iC9_DFE%>.`0e g>]Dz#"H} h7^Tp9,R|K>H(ܲ7Cs"Z~L*۩[ FF. š.s5.ht4(!Wa=yHV^D.P;r-=QZ"g5\E$ql:er]Vxb -/zoZy4$Yonޞ3ݙF1~'̽&Oyv g2⧕}^ M Qysykfi =q2x_-34 >% `H͆6yS4i$=ဴf|/a'}8.CT-K47w J@7gxUUH3 >_$3R6:K]@`݂[,7J6C;֝'\uT>#sԃdO}G+|68Ml+ē;;b mrMCPoG9D nĜp$r0mMO#4$XJwЏ] ߧ,\'B5p }>!o%fg5=ab˞2Uċ0 ̫(~!y:;QbO_vOTmk[|jej> [-#&:Ν09&S7m8S.|7Cmj@iD>u./8'8p}U0Nqw%^hpK' bϑ=mȖK$JOR(M KE& 2{nZpj;yF!0d?޽*z:'zmvͣ#8e0NsRȷv]a8SљB(iHM:O F؈-9"T`4BwU1x'ׯQ _A 6kJH.s"?.'ٯ/seD~uU{:kbvE`p<)92cs7" 8tFe?e[2a<ʅcBL ݛ-~D]7%[X eb:@`0Ԉ>/EzЂ`9&Ʊu-2)Up֚S{b&[? E$eEhg5ǣ}s 0/Oa&LQu3;$ 1HFG鑆YedJSC Oka+ :/q!f!F߈:NFN"'cN. Ia/mX Q-/balO2:ggLɦ|&~Bpâ_V|6;5wR/^h7uCvXy%&MLӰ5!9UXS f`Yr{WVs͝iIzBcE8NvqݏӯyCd@V7z6aX1ԩA-W9 zMn!il^O@ s*ߐr3MdãsQpwD`!٥O>.h9ނٌ^[nEc2-|[K0,"Bj}@**ZVN Zہ&=}ܫٜ SN@]<˂Ԫ4ֈTۮU @QVOkup?Si,;ٛ2tj eoNg`p/U(4/Y<[kg U__IםUEj ՠo~3-v!a2@FDӌiIvrÏj8JpFNn@/͊3Lzts uOj?{6=K8>4Ʋ hb{3#]Pʛ-v'#1EImMW0x} .}f룾q㞊lF'mlazH&rIc Nkm1caM"s6̹=!J}EʌTJc2/i(1*( [VxGYUˬyT{EkAU+dyM;YymO1=!_<5sZmjRЅIzvn:p |7_64齠_ ?Vf~2;%:GѢT2F?(tC!J  Oq ,`#}UrVHo)cN㣵ydbboLo%@&LX/S] IT) Zid` s c?d 5v ot |FXyԺlԅQjYNߚ5uďTxJ/tWrpp?֬nV rQ>D}?E0?T~%Z._N(<a"[=ſrݝ? fmu1ƍOS `#&˃|48ObD܊ڇY r&{fLC/~ o)\ 2Bb6՞ {j?)IQm$5sa4+6jR?)M$Mpr])K- Nr `{ԤcmU<)!rjLHAFNXAnri B wFvZ>hJdQB[ϝff .T༙.Yflkv[h"hAH/1kF+d+Wj e_N49gPr0oHM> eڮGif p.8 Ybl5{Oۃ+P,%oJTt=# =E%>Y81!`-QmK|-`XOW7p$rY~*'0!:F_ CiS<2?Hc0G Q#Yߨ7ӣ?V75jA|8{E%@\a?fd?&>$awX i> ;rUk'0_=O~H~bo\0o{tG >,\E_MHW"S܈ ~۹ I]ryX-VU JuKBձ; 6_u+$ Ça zVmظk%NPt  Dtq-ǺbS:R#X+7 ԼƩ6DP1RB?t⽡2 =Bje ù_BF^Ps5+`qul5?XokR< ;+¹|qKa7 @>X7ۉăsتŒN g^)ރk"6h 'F۱wN`\ @ϟ7+9&vײ 9wWvqs'Nka˪%4|BCbelz!r lTblĺw7UyzYuU SBe ~|9z9+9f8P~Úsxkܒ2:FBD݉dumf d6Ext(]F_#e?Y VئM.5͊mWyMEF:;Xb/ȤFz\Wrxu5~MP Q"{G1ژ;k8lj<=_sEI“Բ,_ JD:fjzƊ>t@~?}.Wg9n-pAT ґL(NN"fnN8vpSQMu-i\Z(vW2Q4t:[$DnP. XWv-:a\=mC ?}F{]KifI ' g Z1(与s&Y"8oй6 bx&#%6޽% >e^ï ]Jj޿ŀ{ZZ6tN&!);sL1K:[Ko0ZhwiqX+RH,@/uNxBl)Cmvpi{/ g8ga#hjvBƎR] riv#!W ]i)r$1#b -'3.d J6%+:A1y?:_ƿS;5Yj]Ө;0vgGn΅n4:ۇ~<;ƃ_yžU>wk'K|풲/)+/ l ƚkץ@#'Dǭ|2 'tȑ@>IM0d+xp0l0w QIO# 47S4]?`X]bIqdG=q(mU83~CziCFn ;oNpπa쳞BKu{sN![\e D>HJ{m:DB-R@H|a!dkDC`;^LfhQܩQDIf ۻ݀&jO!u`jQf"-BDi(ʊqkIip_^ŹSwM6uGBr؛G q#?ki!;R‰]cO!sLX&}ƻmy.iiWθ%F樧>}w|;1h6c X>$vS4 VE[Zf#~*yY|!g :y}]l8Oeq'id}cj߷IR Bu-<"m 0˄cI@Pr(Ww8|MKi!!*͖ B ъ=px+w9\tb; <`$'mv쨝hdP]P 4D~"U_&#|JΙ'ƑafL1S;XGk5XNE"Ooj*gĶXa>Dx"i.A*5\# kPϞcYn]Q'V].,"SL.i@9, hu[dۼHPΩ=5(G^)݉ͨj7zkHމy$Ʊ [p5;& P.r>w7glD1&/|.,wcɄӥ/∤WvBs]puXw!5>C1 gT}=T2lWOQ5u69pKq*(6)MzCjG9%ZV|,]űNʍW1im]{I&x8nqtc˻m0 N{q t|)%X"cvo]JumWjCj|6cWAOn]sF,w纵n@B??kTXPITj49A V"BLc̲/x},n.{$HolfdlhΞyI\׫``"ᾝۖInRWv55EuNÂ,=`8'Jp oEtM-Fx-TMcOlW`Yp $eN1R|P_ % d& >$sfidH((Lx!(a:CaԻDt, VE}əl *Z&5j+[xml# jMf;;-)K.+WV؄_.[B0_@f7|w³I ėV2H I֧?æB9?=_e&'Y,elNPG9i9K*_uOh9]]|CD.rsWpDюUV.#@nkK_,7~Ru/u**j6GM:MaǦprm\#K |Yk8^05R&w"(PG _CF 3g6Kqd.iϙc-‘Y0ִv5f4{&8R%>F<3^'בsz+q49F~ Mg[4:Yj66床͔< }s.pMkk~Ѽ렗6#5#+>>ɒkV!-Ͼ ʿVُAN eɊC:"#Pz2@]C9fK%}ꀘ[| mb6W `D4{iCtM5Uc6]F5k8%NdXLR}2Hx'N)2ԷF|o*%be҇NOn[.r;yCxtA( ƋC-' Td#[<+%< I&Y7n+> 0x5'zx0k5s!ک iMmV4WdL;N wyeU'm=r&!׷OCD"$`XƖ QKXѸM;6W<f G홣*̲A:EUۘS+e[K ^x2QyRL,/vՎ҅餁*0rԐ>3K>|y;R 6I/}W37JL!qP<`%YH15V{]WISenap)+mtd_պ%$L%;לhrdv147kD Q izS=i[]?֫XJ8GL#٦ $%[B¼m% Y˲g >^oy] qm>@)kFΊZʰ׷SUs,x4u9MUR|lyą[6]'?ա#1qJucʳqENDI%4d ?bj r/V,ԗ;4!%#ܾ4 6nYfW8Zȍz==RZuoLA/$Q%rI>3}2lF0T ~‹m5D)J\:xʢ^7jO.6$'y?0Jht<ʷC)aFX|b|ANm=_j:7ᙪxɮT`G@fF Ƙa]ز:0hw){}?g_$ <٠AL8jC4 ayEތ q:jLX0{fc!+: !ֱ$q/fb*V5Eƀ˜ x 0-DCU lLPy/V<}s}1oPt_BcB`#87 xen+*E=lEZ],`}8q-%X| g|rTgc3N9ٶ#3{^Ĝ#`AR8%W<]e e/[~x?$Y;&!*r+=dLZahҐkz] !fU ))ZLr9=w^8 3hU9!3݈ǜpJ!c..-iٰ<)|c~jR*'SseFN{ m|n`s]x Zaˮ-FZDZE3$#P)swnjw\;_w 0k;Jm@lx`$ܴfJ>Ohgʩ;N):H>ܑg#)boh1hڢ}=ckcSm;}i.SozD;rإZ=g+SBgbX#`j#$Fs^S"#eNMEhQwec߁YZ:7K}^:ź@H[,؃_,ڕ|HsjI=@r,c m]Fs?mJ9)ZR)`w KYS9r'r:9lTCM0tM0#i~, G A8R<d~Al!bfxabgIJaBݨ3*Id/8rL(AF %&-{oDgsKn3eQq!%H>a{^T:ӚpxI-`whSֱ06LV&.˃n kUV0UMbxlX8sX+JrIii%4f)5=H!?0Rcwi+ ==k#b.*Óaςi,iH1Ӱy ͘%1qʢx]Sdظ@Z҇&"1*.=12/a&h+w<7 ׺/}m#osSgN`z=|2?Iuz=SFnٙ#|D[AB@2nߎOS{`a_H 99 ]kਿR~Lig_domV-ҷtPvH\[]ӽ>` GV.ujb4gM8UV B08VC~߯L9Ű_gA{H7 8867h[ gA|ixQWmVL.,ۣwUK1ҐK4]жI=jШ'u)) dY]da-9!ilxT띿LZ8)*~#0\=Nl:~[n&xkבY?GjQw(VoB$d~[MtRѕ{XF3]!IuA3mk' Joč\яg~jȖȴ ^6mpV??f"bȞ0%dpBSs+*¡Ͽ^$r'kAOI*BhMn}dnuj~fڃ;ЍdU`Q8f Y&.ҡ(/YC@T|Z=BCy >>WyloX{'%U!L>}ʐ0(+uUq8Ϗ XHr&C@, W(3B6(CP( _|T pI\@ywLQ/~u;ޒH@K&| 0^z$.lֆNbq&wBD:G˿ CZD=/ Ľ+HH(xYq[u߀~ke9,MVC<-[rGagJmvhpmʶ?@-! kFv| &BΉܒHzz4WYuyi׸~Q+\:ϻLwFчKЛb ZuкGɪו` O4@#>+ͅ5~0shKɿG$1%™{>Jm,B' ;+NSt e(TV$U%5> z:mZrB$v20OB+Άrzװ(YaFMmmGA׎bu)*,-g;]Tע$#V9R씠{eеoSrͶFdgWI7ŝT h) 㹀'=xJJVwRE5Pd<==/-5E Tڊd׻ˍ%&p %lK) av}#;Uu~_ u%MHCƊAYwI& 7dWx$=Za`!^.o]Mn=*6]\ck;λa c<8X3Y$O4 KHg%Fe&QŶ+ ZִoJh^[ ;R]-^ طk4HziGUs"xSF`[6S.IPwj2l ㊒ŅL`&_&\b"f5«(MG|2 &:c\/9H͹Q55{O]Ry_ib'N#iKFOhD]MǼwL.ɤސ$Kf=Q6B&X;yΡqvD0]Mc&8`U !Ȣh(<)/wWm%fu_ؙ7BlmfdC I{6Pߛq:s Nݸ<~c3m!bF?iY$-\l_#(FWIEY"D+*`#"n&S _nwT>}5]7ucϵ8ocTUηpb. 1o:FtK++#۽{a3&+Ÿ) X響0~W~7>I=x+L%~QqiCҺO6Nb*')i!1Br+j'h'3cOmBjn{siavje$1CR3bKeBV^-IS\E 6[ Sw;{hQm~QӘj|kotYǁ" 8]yF=eyN9R|NT]E#3 mL[!XSMMKxPIP >n@L iKm@@:Jʩ>ka* b@zlGC!ƧझP J֯zsr;-j,T Z&읿D, θ=Q "+\?M rm޾2lOI}Yckx243~B~AV-DqKQںtfƱ_5M˩_̿4A4{t4cQVobiI4op8Pi:]l\vDCY÷6T0gB}Hr$m:,D`ʬOeda 63|ߙHa^n4jGgr`MxF6I州*҇o:63ϴ {sA$=UxDo8HFrz2M'vBNht%_tܿ2GÌhMjz $dm|#1h"bU<5@4+KF5$k"B[F߮J} %&qtC Ԅ򳆾 QNTžY%)Wܔ fA%fJ0l h^r9?%X4#1=|PmhH&H ծjr!I%ȥRiL DjnS,gX_rc3s&#~!TL-:PY=>PةAw ߗ~R7lYi Wߴ^pvM&oh{!M)?΋0cpнtC*/.e m^^e;1>G[MI{ >((v-wfR{Q ZBV![e`m|c z0IŐ{ADG!}8@ߦRa,M *skPĥYA' m AU4Z<(ZYLe~rZ"wD^hz 聧r7 šנ4y͖DR̅ 1^(%peO'.o#9[GgxʱpqǓ-^54q(9)rWzA7*_x#?u/T7(3[H(FrW܋EeM5.;rܬ#!3J2VC JUٔw٥da  Ķ춁6W0.9w[gGJoP>zI4][8f|Aղ 5}3]\(94DMp|\H_JɭRb"b]v7έN-%hޭސLn x+(ıTkϤO9_Caao"&A"ՠoRٓϡ tpGWw(.L" $eĤ BDvۗ` H+ޠf#-ǣ2 -;")\~l6tʾx1hwPRpeb2SB@R=VVc\54?Tء+6_)SS G_|(}2Xs?<Ɋdx7&|=j.yo"$էu56'y#oRXr=j5Pnh\z4k Q1񫧒3N8 y|iJ iGX<`Oz)Уf}Hq>t݂Fӧ33Yy~3_$Dෝpy0 Z%"woUV-貼D'Mb璶z(@U+jA)GvRYngX8/7S>먻Ltڍ{h&XA5wӂs8!3bgOPZ^{SsEM ۴@rrg7..6+1Ȝ9LyZ_wcU~5vUt~/{4VgcE j" r=6b +) (s}AQ޴;&?m?|BE*M#Bw#; U)d]0a7%wJ왆qw0'N d1?ssVAT#.og'"!;/DR:֊Lc87<>?{+h͙WsXH2d*uԑP=Fl_=N\f{k/G|Bpr(!m5$ESa^MJgIa<:E)_!'0BN֌D?p@q.q޽b ]{ݤ+C I.ȭ) =^+m`bT=,lIH5LR%оL3;ѧc t$ ?TvՐw3߭ q?IK|d4 }j\g!&XMǠd$nvSQ`u䄣ro|IrWB\G$Įio/ν?օ8q'MyoB}iڏ6mXE=,e\۫΁a1:5 q^naTzD3f=m F6w_8^E^wHĚD]#լzE?@4=LHⓛdͿP&i˃( HH:?QϬ9S,j|{ uo&kz6yNxMc(3`cw"XGhhKB',UUDHܿpO,,%O@smθoV_Lx,j0?6Y=u\8&f^z8gT=sk9Mp' u|#&Yz!"l5 `t+_! sff/xU]s-0( [KcSMß#? \}ڴل""nmHe|mҮAĐ ]$ORp1[ !]LI NUzAF,δ 6d}~M#e#Eq> = ڐ/D0wҋN 1qjU5*>x|ɒCvb67.7i5Kp45$sl$/@TZ[XLGߝx']'Owzb[Xm }u1A=[ ]$_%x h8D;ZNa!7*)Dud@h$zrj2R}Fl/tj'cmFndBO >Y/vQ櫱7<3W^ L/%^se,@,e'"+n&'u.P L)*[TqΜ FkE+\"x$Bz\iD,pʎE u8Ewc$J&ϪY0T?P |`^ |/NtK=qHbZ_jڣ"߀i%s5nje;>P+k r' `7$E8bJ3+Q^.=pn=FrBj4tXޠb#d$``ȀVت9) Rao,s ۺ-/^uf6xN.4FQ ٍ2n.Mj N  zoe0yr־> Nu'7ZpaKivW2_;ؾzM=&V;"2z_cǚY*D#-O!Fp>7ڣ|6]K`˱?w}=V,J(.󍷦~d.a! D,ŵ j+b \SÃvi`ǦYLwm7 bnʳ~; eͧ^PTcEJ<3V4%nU)BO{]9{Oǔ OH3*7M} w=+i& xE('UqH5xO_CPÀdbX H _ftIƖa|:?R`+F]E9=ōIDia ?۶#Bw JޚE]C[VlҚ/Ogl++}"/c~+ N~u?^οd -ur;d'+.pQEmk$* \-Jh >sb SO@bD5B@ DE ;,W ?,;{B] x./^Qf@ְ 3exs.cgyÑTM7%^ecp#ΕTQA6k5M>淸 Lkxy :+)ϣ_&Lf[ُND WnGPT oh¹m»֍.<7Qw ob/O|<ѽ^&+ny@ 4ꋺ$t碨kFjW9 Qל@җrR;m:bvkA,JȦm+DS@:x+~QӖtf1aHe2I$zt(F/𣜇#eBP1''(J~!F03QPTADžiWV4p\hqfwr~>hsxf䊖MQZ@K暭,Ќ8ݛvsZ;#uCuH?v8|1)|@<||(K6{U?[gn^YUArGQ`&ګZUA&X_DN9Y1f] 5auf9>)z".J?|haB\~ OkF_Fw D,5QNHuLkwYYÞ 3gvCdحɩxOR)G+ԱzRvAS1R_}4Unbb{n8 J䶗]0Y&9y`)~ oR.k.R 1ɺV`KbK8PyV}9H&l.H k-'~M2 f٩y&OskaT 8ml4 C)Hθ|0pbwwd &ÎYu!mz?i\Sd}?W{SYhz *o{:N7Řc3|Ӻ[NUH02k5a8o9O165Q՘mku':4t[ ,ԱƸ_C{0*^y x~=wzO*9񮵼v^yrj r!:}5}rW|%e&%Qsf{b=ToH![>- ΢Q1=j`oQ5rs\):IR`XGU.p,>V-j~5 -ʤ`n͖,8_GWmON1zBJm!|)`|`Xw"o(#45<5*6Afx{@4Ci Abʼnh{Kˁn%;V p[_{luOivo$cn |u섔\HU NSG=DhrE!矰!Gas[SYsu;en6 6f~ $=GAR_z\hL Ql)8G 2i/R.l=|#=ŦkD~p@c# 7R6 pVF܎!U-t_nj׿;ENBNP<$vs7d0jP˘P߆7M`MNoK=RAڛ5#hPu@te:ݽ7ʂJ>*v Uqn-"Cy"H}+ Ё!:7h&V^# CN)SVduh0wco ,kdh؉Ǖ =;W2: Nތ;H§#GɆ*9铣xׄRyfT⎑4}K1ȟjSʾ͊,R٦5@U^3rHC]V)ߠws4^|\z=q;߅$uwv.]<ʳg^KxPM)DAX #}&: :9*?,X,L'"#?(:V3v@!.Th3숉&!Ny8rLS3 a$2p0:Ngŷ m8c 5ӳ6GYm?t2th B7wXf nY5V0\m%TD} zgEOLr4S[ A[i'M-+)a!dMl>`{ W>rB l(6 =.0]z2숥|ײ(_CxBMeF0feիؗT ()2nXv#J%\dY\o+s!]gDGOmښozt\Wn3ɌZbP-&vH&C:k OD9',11粴\7(F h}Y>Tuis%J6掇:Mx\:+]~u@@7a@ %$"b{9`.5YZj%vյ.R`D{p`,#ZMcIΜj ƭ$ʶ\&2IX?'@1=]8/E{&HYU7|(tVWk(r*fV ^27- `WY\C\{򴇍kh'qp0&\cIzT#F+9IuYZ#^* ! =alN%W q^?܂} V|;+ ?뭬Xd Y2Z@2^ %)4(D |]|fl>]z9 Vl̈S2U_sw@zA^D1F BSHE~aX4ԗ0vB=9 :ILsZ>֕arةbQJTܚ~YzYI/10ΧCf5#r2CcI0~oZ -[[z7- N3^<:Y\&\tv󌔿l8V!| 3r%~\0&8Qsy#;@<{i;Yp.qf6a! ^42+|יw=gO!oߧ8"oz`tQ̒VkHA }c˗rþ M?Eו5-CB}"=Fxo"bc{y@-9kc(Уʇcv'4$ HFq#a?V6G&s;< ^:l(cf1Apt ,KR>p78zM%Rؗ%=bI2J5w"Ewg}ZbƔ܃/0Y3БTj*5yG(E< =bïg3 pRdz[ RI%hL[M8?a% gG8\S"oi\Xȓ>6O |inR;[X0;SOG~d.sGJx +S>OI߷z1xOGsZ %6mbB*lt q gF1 X4=\kJ&H[B.M8 GfYC.!bm|0@UcT1s^fRnzn\46Xô`D 꾰~LPM`Vyxa5A}Uwsb)1x wR23{=嘙,!be9VC8v v!Hb DA@EbR3v*7I!T:{)m8LpKɮޟN6o~__"~""0BZc_X>񷛚Q~Hm<t1ED:PX:!fO`Ls^FF wq7<ۻŤz',ߞ}U$`8`B1Ș!06(upV\"қJ҆զʍ,1-zBm7_?ᘹu;A`Fa0h#Xe^Xr JtAx򖲆YeۅF6Io]u r'3Ԑm `?V1D_`50$E6zJnZt/e(<9Z }t2r&Y`c֦we.ݛQ!T}Îq*b*lt7͐c{Y^}?жRG7[#ti1byY7