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~T4L ] HOL-Datatype_Benchmark:threads=6elapsed=482.874cpu=1968.172gc=713.0247zXZִF! 4c]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;珽P:ݝ|(RhJæi]3ϑuϥQ7!=|Loc+ 5)w9y5v_[a_#~T0{x n]Qß>0 eȋtD]*_G$gNΜT33$ `3^I#옓ѽXٌwpLx4 u3'?t.e}.hI=o )ch? Tt2921ulaqb( Dờ:RcFzLŢ 4 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 DZH&ȧ}g@m8*XLY{݅DQvl4N[=Y2b2Cn;cZ%(4`!4}^ZD8Ns9\h/#6\;K.sRN%4{aQ݅ hyCz͇OZ;> !+1 YT U=M>'jcS$y]K{m)Ւ(IZf ;PY[Vū.JorS$FUIgB1&XJۉN.duLbUZ%ET2%x i*{)4Mz@څ B91c ny~vҼj@< ;(ʦ{6[ GI\m˅)z0D{ȁ12*jWMS>t?ނ' &$y{-PԼCmu15IW. *]`Y/g8GGj''&1cdXԛ2wM1YŇY=/(·yXc ?(ry0j-ECoDꁲMc>z '!9_熉wx.~e?M-ɞXw5ͪhglFgYZ7zXZִF!  ]ŗXiɟ1)*u%9/0DntdWŇ %l*/!eB㦌{6F6J=H)e0([ Ǐt yytyݛYGg=u 0ߐמUn ޞn@R}KiWoށ;ѾT7+:\ٙ Gn,+HL^@'U7P1~.!_eO0 sA`ض~/+`ğh-}&ҍAkp`}Ŵ~jȊąo!QWa2H-䍏2!F v(!|1q={UN@˲BORJ0W{yn !A"FGP8xs( X؁,q6X~ D=\P6rC]I'>UEgP\ LZ`SHwl>PG}9~-[aM$ήkjD 6ZW+1/ YqI ;%-"zP1+;u8b4b,3pmNJ.j 2RS;3u.xf7"y&)Rre#xkU1rC\/sݭޭ9f[X1q;iL% [ACIɽV δD Sx#=:~U6m~.œ qFN!ƳJܰ8JK2 .W*ˢZ`gE0[< 4 ?-Fߕ?'z rK? zD G_ K)K$#1ĝm1{'".yPm3~S`axƭ|lZe&n굈& ~,%zώmH9qM5=.c | .x'n{ ۥۦtE@6E$lV͸7&#:U^|:cEWOopɾ|Tu:ܶLhzd-ʇ12zooog5ܸV nmi6My4_tdlYOR"T )M\K ^`s$159X ݅1?fk5‚I%7 j`cČ֩Oh R014á;%[X)[;@%fHbХZ/N >lZTʋ:UHC#vpNoD iS"ЧҼDщ&@󔶞kKYWMf*6S0=_%_7xEa&1YREqͱbaMR3R/N !|jg;U~o傽$\|֭B$*ylF'0y2,?E#˺xRJoYE0Fi6-38JV$s9ǟrˈJq;;R*@D Tso۝/{T>*> _#[H}w+=ٿFpY4u/?@՝!acmEJE+ڞ2PIm:h#}!Sa]컡Y(H ?;S#h1F쉱N 9tk-rC eI :b( ^xΘ+bayᏎCV>*A,saI(9o,%3N/ .]?|u~{)%vIU(:߹˿\.\WH~s ?e5pak JCؔiE 9]٨ܞbrtFc¼ ߿XS/ #IY/8JOs@]:mKNZzU :c7. 7^&t,K}!Rԙ q.fqj9qs*DN.k&ZA6G (`'mR |i'#P@ݸgǺ佽l8f^uM=4B]D%㬰ӁRn.`(輷̆@Ft)tzGwa֐C.@:vW.泽BzKS0RPezҾh[*nѧxguzKO%]X N8+gBt٦3\շޏ6<6P 6当fI˚O$%zPef]L*{oVahh<|Z&y\EU,]Ʊ  )=4c>lo 7Џ*CqAŎ!Ҷ}'sN5ey/Y┇2X|J/s u8>qp m5Kd\ j=X 37c`mX$ vT^q=}|\2WICpJk"rD@,#í"\')Z< ;u , I _zs+œ@>#fkvb:}vMؗNo+ Iin1+)^ΓJ &3\iO';,Yen玖\g1aLM:MzП.O;ԫQ\k;Q)+>cU 7$FܛĨ,I雄+x? 6l8F[PׄYyqv |N2T_g J5';e<Q.bzQf3?K;nGE Xƾx㻕Tp0J. /PyDGԣ^)(Njdz,I,񇒓2g?q\; ^+O> N]mE,8F;Ю-pɿ tA,5Jl#G 3˙ǂ4H8zIť6ӱ<+cZo'd] ,AImAo?(_O脂&q1/oUO Aיq7o]hnoV?kNZi m#,pMOgO/zhPVG\$#+g(qƔx&qV"GJ("wi~ xSQ)6ʇk|OcVu~Q)n!7!Gj^ԫ.5r%d`j7iTl^d`1^y(1>vU;%׆N1:[q ⾶wU_}ZN~~NK+x_Sٟ:~$JNLm)BAA8tmfe[.eުW%J0XnĊɶq_'qP^=SPX!pfMmېѬDD1*|u:bXS\kG5(xVD#=>ՇFCWaUۃا8QQ@fdOHlmTh?&#/AVv4/&,3}\RX}ã~tts g%瑾ͧHusC[Śoo;* -BǦJ^=IEr'Ϫ73`77~m8qe|͠y8Ts|)y[[@/h *6vvNn'2G>@DTkrCԙĭi +L!u4\=/)M*)fں>Gso2+xBOOU͠7kw7d (%[9\1Fqlc xb_\heVKmi@ZSފI.yԛDh5]j.G6:K $Qo >R,Qܕ_#u9L5edԼm2_ѐ{%sK_wO]6a΅rV%&td'?4Ee[|i |WUUNӢ|WSz{E3aru/Bӛ|5Y` eRB?kA!uqJJ^*b3?ٰí.D˜eu"R*!Wf2yۗ?m֍EЋnOh J?A<խt<$+R L& P`e7ľWZU4'R(C{Kآ˰{G,;UeQ/z !!`6֖LokYX"8ej2}]7TeMw~To tb UBwS$͖S\4`躲L䣛ZT~'LήfWNN%'߶wU(܊t%_g2N] 1EwB=hN;jB*}yCl(ǵ\Q^J*8fJz- d+\sUI?.`~G ^MY+S  ckqR!stOFם |(V<KPK5<.u8)pxh"Sw#t^9S#gխVu-G]Q':0A%ZEs0,s9 `N6s ej&IFPkʉ {B4\M^m rI2"jYrs̳So.eh'F, c\ڒ_}e !%$_\@އ ϵp\*:.p/dc2g#dQ-I[ $yFR xVZM+72L.sP)C%* +:X )3 !/BgTz09f-/:V ÝSYܺL zgmI6Km8"rS%` .mܯg`|Xjr'?6kZqR&z?ƯIS4'd_HLA}5Q@K-J %;ja$` ɏ7nO3ʃ'˰a#oE Қme=JELVL9+jKP _!󓓯.je LNxr5gSn*(#D>?wWUn_/2+*E/5jتrE.xJy^P㌎I,1+ϙ=wS@2;iz+ƥ /g pNH_B] ex? v' ǘΡ=97h).wHP0R7Ifhɗ*fsZ\BZ3)pC;f9ksU",z*mˆ-"H.t dje\`Y@!tck+ˍ;8IE%(kږ{}z+ 鉔OרHqZ4';3u 0Xe)JED]O_xxz~,MGGNH'[q 'Hy^FɔRP w;m. ŸM^?)'=]+9stq4j5;K_kܓj#ٛ1m pSkwľ↳#&Nd%8,>} 0ɞ c$.SBAtT2"r׶{ Py @.K5O eHuvH5`YwgjT/[`DZDwk5%s4Ȝ8 7n6 YILբPT AbP(pA]DG򦚜[#i6tþr=8ēF)\ĜS)F,2} T^lgت?|LW/vCܵۢ(݋8l/k6o5@-Dҭ(4E(NVjKΡ]MaRD˨^RI}2ܭ0j{_FJ 2#hL.ًZ,b!v NnۿP(ه|DEKa7c%k%97JU7Zexr+㤲E j;ڹ="\՜X(`ALp9?L^jZ5[v^7~k%˩+-Nːi &z*P|.{ʨDMC!- /?15ُFȺ2o&folx89#`P.pABK3pugc">kcj OXFO% aXc\ XfÇƙ֙ejT}Yn JFjq@3Z5ʥF ~aW&F5%S,qL m]`b;Sw?@On9 ?9VVϳf`6E RCn2x&ԉٵ`Al~uySL^1,7baὄYB ̙#t q%yMpO3&x6T3QU#  SJ=|X/v}2JѮWN"0lexj՟'n`V(T􁹀6xj9$[?=OHjI[ =\)t"|vmR߾YndFWK7Ϟ5y;QgƌB=6{&J_":Yߪ<vn!}gل,E6QWA ⿯gf<{۳51ݖZi/Dǣ_ypFZ¼(mV}xLǬ%G U_m Ŵ߁a` l]CjiUnAAE.w3%K"ʹdk$vL^R -e(叱UxrEʫcVjѕ.3c7Cjr b+8ZBm3Ȧ.tgi #jc"f ŹINݨyݣvၸؓ(nKL=Oμ56UQo#UY :\#X"3db1fs5$8lc P_5tb.6"[W*S(#6p 9hm]RVYLw#2Px{8: \9ћjE L(f c>S7x?;Nlv?¸]mNmΐEnưgr"8Й.EM"p;zJ_iZ }5~\i~Tx_7ZoʞkY |y`\Zu ݴ0ni SZ7Rs0gKr^!;R f%xuNӄ׍h= `S6om_o -m4d\V8/ViG\@ڞl:R˪Y$)/vnW@htYeiKYITluP͜M:N'Q=VgYO]_͞lwm?{U|n<$M.XM.H[UUJቯ\@[tۂ5My( ǶYh_b$L\eY(H Q WY| G̏~ff/o!4'{ZJ빲! 9ѹĹLXPF3 :cAr? 5R6{d3XLIEhˬARKZE_ȁI-ќPͬw^Q]){ى7PFdv%|CYI}m$% ~)CX͑dM;r!49^`o\1d4#|vɥyyC͵sq;")yj׽J~s^9LɁ eKEm>rGM5ifhC1w\6hAQ:6{\>φiۧ[|u[/rm]#H(Hx"s6:.O 2&%'mvvDo7 ig-_B$TڦZ]йqZo|W(IHpMԣ )KģUҥeCd2HgD=W<2Il Poƻڝ bND&Am#qAlƑDN8~Pjk#Շхh܁]+ǚOw!zߨ``hEސ f %A?GI1I- A%$l΂j7PִZ;S80['FVA?+k¡F;6~%T P/Q‰\m77\r-~ LQуH5N VA='3K 2(L[G)ӳ]OB%+XU~[$aa%R|) =wu^0'N±G sGiS6Eӿlk3W;gE&?wC+TulH[~D^Kqb'w\FqG0[8% epenj@R]Dz@&`݅/nnD+<քq %eN|Mȉx{i;cn`歔/Hq>pt]MhƱ]ZX)MCe;Dl^Sc}d%iI-VX$@>YxLA͓5NqFq*x+G { X gFp9ORZ-!^O )V,b8? >PT5$lI@~sR"QAP8I0uF{Ó(Jidt}ٲpR7umbI[c-W[.X[٠Bt&*,L u{x(_?=?+ &?1ؾJ?lYScyO&2W6@${yL2&. +;H$ԑ#_:~ejfJ)ǽ:IYcFԦjkV)AO`ۋ Q.%pu?+e?̔?HMVKK T@=1Ѧ%Oֆ&_,G: dd%-NGD>4 @*iJ1"rkުK?TI|$A>f:+'ή B~$Wjw=6-'L@u_-.~١ip JOA1WhQ*T|]4NMBm?oFZ:o_GZ sJ%ZB"kp}0ʭv) p=@UM~2/P2}q=ϴtT%;" 0ᙩRD#$-2c9Ef[X X \h\$h(AldoVh%'K E6Βp/bRW"s ?{'wѩӍFPK|ےYH1AP(,|1sce q2a_݆X▪7jPKu)Z ۮKV,1>[@NRRζm *Ÿ6r(A$-ն)ź^‘H,<=2_Y+VE,S[bw~!81m ip2XF=`DPqlcdq=g0u} BF<7޾9:eX [Wqei!^ϩH #(2hՁ=v5׻^yɤ37'ۃPUn.vr#1 ^KTEoml%ĥY9Uh\dw96{JQϚPP|\ cR]Ckv:g )flF\6 A'g)5Ӏ̔nuVL;wD._^0(*%qDfw=B6P2qGUP^,ԁNXx`{ܝEDZn Ϥ\ j~6Cʹ\"GdXCRhrcQ_!0F=(Zuj.-02r1ͽЃP-1c;M^l(A; 4S\ P};\J' VxZ̝1i8NR::5fC̼6)(;Y*fA̸hlzkgl^>IPX5bxJYTQc%LH˼xusz2$fVZ9C\yԆ"ڬxp4D܁ڮ07Ekvy5RBЖZ-Z9O-Fut SE=w௖vYDT!BRJy:_ t6/kv")cK.LٕcKl&o](F2 |JWDa~~.Yqu *ذZg6녦+x; "ߓjač?̀^`I,6}Q` `t`k@ȨUgP5t6! \vP|r(SiCuDan(l n"#ٙ}[ ~\qi] >QݒXiiߺBvrvnCG?G\{@qCtZI>,N=xAZjM;a}pUjΜjؕ36IzwT+)uN#Zx/!NILCMQ#N;?>sLJ^eސlDb2)^@8G ?j7i!:F.Yq1Q5ZH6˪GrH? &@(^FXgs7Ŵ[GA\{+-$Sd}ĘGUb̟Ӟ\BP"L>dI ۮDD@۠Ɋ+bEo~UPFTB`ܣ-8Wy.c'VKK'O s_1/W[G#. JmLpֺXOƨ/oVh΅4 "BW[# 4B;v=eG%ElҝWحV#B59?0?;>~ِU@Qs86 \ ?5̧؞'f/Y;D_з?\iZkZzߤYZbQuU[7kX@"2g3|w-ԁYأo5k%@B]LhPG AwZaޥl9%K7ZOaÓ"phQru8 o9*wx[i/8+?IT[qEPq[EYaI68B!FAu1^U:@!ݙvUZQo {LEd䃲z1}鼑ce==|8ljɮJI$qw( yRxU Hꎌh`NXV#T:Uw wUOz~ aN}"=<{2nF?[Fv3F!B0\[ VcOP.vaJćkzB Dލ`Ӿ:ݽT gJC_M dr!oW撖H2S1rJCwZbTȴZ!43~+!r5S,@b7ƀ"6e߲Ar7>, E1,l=XpD%YQrB.,OeDbBi6 %o*RZi⢈7Q]J>_ #ذ 5$t8PqC>ď/^E!hí9ikqwg}0cGG7soz+S)H/|)Њ{Fb_ _.]nN rǛl㡒!ī2lRWk?` og7x01«C+Y!ΈyEA>r'tTX` 뵧-N eW7DCUkEXQ+;3 zބRZ7ؗ/xa0l|fIr^mBB&dAi՟5W'agYF[ gΗcI|:p}4a 1GMe˳UT^/3,\u?m+95Ȯap/ MTpa[By K jZyي"^Au"Fb̾P#uC-V@.~2cQ6oq];|yq:WւV~T~#:0vQoOűK`W&EK{e-xvkP*#{O * yJc&A:ь8R3"\XI ԾK`|u914_#`Z=>BOY?- dgstר@CxE>Ȥ)v x8w=-ZHh|C_$ke]Ij+ޱ)5.Rv۞Q4{Pzh*7wf6 Yz;3Q܆~z}WurI)owDuP#ڑj NF06Lc"U"PThn [@ry?$an3Ur#d`3AE%C"q_k~!fncrpJ4S%u}BZY tܯ_ӢZ1xK};Ll, Z$Kj55ЃM3rP96J \W椚tɗ9LcYPf键:”*tne\ IyICk,EFA3A*lj3񎱩-T@$ >J\A!EbjD`f2'g5a@ & bG~MH7eUjVmZ!1\ꤽ,򷒰`l&0J}X7;i#j8% z3!ixF)@^Fav;DT#"IZŎc͈! u)/N|\1X9R᳘:/ ڥQ|I\_7q ?^d´g\p8 3LGtc1:܁d}pT!Χ/ 9AJWZ-j&~&e=&ҿ=6Hl3c#:o$NI+"TlnX6w_uܰA;4\dRUzaØA޴5&?[#tc26yݗ77_Hb>XKrL r R{.nQGO5K9֭wF.VOM2 y-B"{Z$bW..`=-0IϿ~W2+ q1Aj tO6ԟeH??A6MbqŹ<@ FKq+KomBz=d|+3SD,/w<D9D2I_9Y=GkFO>Kpߊ.jur73h4byzCw^[nvڌ w 'wWSdT@׭H_xlUcoՕ^nXm1%޳ԪI,^U8uL/4XTCK]?p­EɨcA 37N@k8yz>ۓP J\ l]/^GJaoYʬ[J6tkY *֎bJ.\:k 0Xt*+G=7c/5$P,pRN-,6%8~b$Pu>:4Q"N]x撺 t[mC6Ft,g7 g!vQ<ؽ" Ikdew-*΀t Ĭ盡I<Č3:߿Iʮ @5x{nG%S"sˆNG`ҁXĭ&)&մB%$D)@d6t16ZĆ^? Ec>+p u w6z" Vd$}1ZN' 9>pZC΢ CMW7Ft[~5@{~~Xiw歅 ?\-ehғ{DLZpGP|6H6X=W!m3eG%'(Bͥx.S^j"ɍj`DIЪD-*HAխo=bUb^䏠3NZ:lxcF}q՟cպCXh51,uy[,,M#T*15=OpVAY(^u*g)H &믙Ѡ3SzlFQemx[^"W0[.Vb1t\>HДh -tqoq]:QqymFЁ:kJXB֧߮L 2JzFoyڂ.[H' c3GSs2wUnztq_Bs.M;+pGp?d٫{Gm'Ƶ1Gխ#-a;"*<s %c7mAeZ"d6!d)h;0BbJKoUF q_ʃ!%*eYM>><{dEĩDFvC߃g3C} Z *1¥K^- -Ol6Qt|x[/ZYU l Ѕ)]l\մvO:ӥ3>퉒83pmae5/{cOMWX8xC =9WO|p)A5gQo.!ʾOk*o.FY2)uZN3L"W wh]e[<>(FP/a3:7"x^^9o:\%4Z|" x=3)8C^9jy$ϡSc  o> wJZ~t"3N.:svJ:R9qQD+hB0@;[^i*jf'tfWIbd)25*nt9pI~2KfQgݘE>o[)xr4_Dw>Bzp6`"lt^({"5$Sy{C34=FnkSQZMLIaa2XVH%*3$'D%Wi\wF?6i.̨f /"(2Թ'j>P%{3G嫝 ް"0R}JrӜ']4aJB#U)E6"}Fb z[ąoºfFXL+NO!vC$dBV!֜ q(v@uO0{i\v S}EBb=YfI(,1},Sgw ֜h V}&`NeKѭtrQ3hp^Жb^{2bs 㴘 st A[ cɡKNQU3&Ls 9 !jY"傱+Gtx&0b;46 5]I~cp,biBfOoT;S6{$a})Dm]:m!5Tmkvz^Zgkޠ.D}sɞA^J5Yݵ](gf&"}  i89I$/zsy3X]yMh{muBEMe0n5{bWV^f6[?J}"H45 r?AT`dm聟g팈6/?r ˞qF6ÿ%պK"R)KsS(% !6 亶nwiVI}|VKAaP4B/]lb.l <'</3pDjqL679Cd 5'HҔZ84srW K:p 9&_0GF~eU+g"&Ae=hn2-UMGT$54`馼xz$ ``RT!ͦv02xD>3%=pxCvOI/HL]IOb!7p%]3r)F՟!Z#" Ԋͽl k"^#O*-";6 g(EbJ{̍B$cLw-_RY]}~nM98[GIH!*g\)3:no;reS*81S5` a, X u_OdxDK!""Hw(vy[a؅̓JM$ j2`SRI 9(Bcg ⚾>Qۄ4(4j5 6O69-s&/_;1$8:0g/T{Y4 s^,,G^kx1f/XCv`*Rv Qg2Ѣ f!b?5U)_idy!K Wh2L媰U˱̔6a3xX5 fˠA-qlh ʫ>lFi Wc\D6T;r/3k ÈIi||HPcNc1 Xh9ؗeneE<@Qe  J-ߠyh%Ly7AT~}s(S k ҇ hzl׊1ҟ4<qt(%z!ZM5Y jo _á/vQ"Nx_ ,l{!a ??sG|*MuEhv1/%IS"\/I 6ҞPx^.a}- 28rIO"R!WBYcdM3X =x`s==[,t>J|Hq`eyD~K\+;4#V f:(]˸. ;v^e>e<*ȵ]HYtbmxFWd&Uxe1:Ӭ; fsw}§;+\ chaH'pv  BplGAϒ'z*Z Z=C1c(Q][U՞9"WCor'og.dԾL,&ˇUr:Ոr5ER_ B)NZZ?'{MɁv5wa<Z uzMC,f "IW+h]X!$wC\X=vbt+0\ěkY[%[!k>rإơV _ 8QB_Ey]~ LG @Vr"5tjWji ׬X%R5E ,*/3N~s]m8@<T=Q27Jp1 1K`aʙe8úIb(r4*v څک?7: ]ŨM> Y)`)[d'rޯHQC %bzHRr>MvPfAX"£zD v4㾾}/TLҿfj9%vi9bq&=^ۿJJ4ҾY-жvWı*P9`^;_i<54Z=#oQtk`55eɂ1!s!0!S u뀠}:J <[|[W̙=D"27aO^$oy,/lg2`)R* wäݰ !7dYKO -}l?v?s/ =йYZQEEIqrhrẐ!t?b7" ғ7:ApcZp'j ePygF4sFOBNفYK'7mֲQzMW*%o)6:5+:UeNܑc YtSv*#ͩhV{mfGh4 ̗Tlr:><߈JjW`ϧ~$Q&,Wp4F n,$AwE*h3 N+2Q fkie Y.`"y-"Ǜλlb^6`![Om(aH{.]*hN-kܲZm挂U~5"%ϝcumB.ul$ hόo!!ʮw8 Q̃xsX1z\UvT7L:DT/!i*~wFޱJ̩$ES &XbZ?pG+  /&b3&Pd}}a(9n5`Z;Ku8<yxC֭>GE*}s] =LP 4z+e;Xiu9GwJU]/Ɛ/P 7sc+l?:?xH _D"9N775bk,T wL ]:@p V-aԝ.JHl%UsmaO:$ (fJw$pE9_u-cxuXO4"8fףOv3.I2Y ځ'4tCp$[aX bI /@ɥ'&y0)3\"::xk~; HUJQ/KCPyW yO̱5oN []L >-0M9v@R g3ʾZQ,I|I_~ bPeTY?/68(PYq8x]jjM W|W=Қ<@ߟw=KitE o/̾㎢X)"ԭW{Rgrr'1d e0{m̋*5g+V\"F=kgbɺB)Վ7r@[^~JUc@X;r͈=B`Gɞ*ڗ't5N,W 8N+ ^:{GSGf׃`z^UN&UU"nV3 <-7q4bʳ϶>V]Ў ==pU3@aZ7d#I%YA8BpZ٭^yS$ςq}6V\ w0~˦hc;IVTԯQF[iol1DD}Ư&l .t_hNj}"|l}"h#73s3*zk.b[Gv]vos+FH.HM*Vn,XV bT⁈u#ඇU3$:x[Rʸbo*ixv]%O=/ة(ovj|14%->y VHVWffڭMx NU :8N7tu3M:>U$l;haJjpyX<ӻ}f<5*t\WUBqa44{ űS5rl& q/A[8v׾#;uày?SU%*LiE1Cgxnw{-lU z"#IO·oY9]FbN{㓳7EP{=6(qce/Ǜ޽ʛx2w99ry0,ܶߛVˇ660[h8Ƚ+>ەTy$?{] dV86/7 ߎ_sjܲ a w>_~$Jk{1ɞ PY*&m96#m 1#L *~LkK4!QHj~R [%cn*|Q$l7a,!nɉ$UvXǕFwj/jPf/]`6CS1J< 7T}˸|g6`#Fw!V=MbK=V;i_;59DMr1?cWw@a[b)4SN,CJ lD]S4QuP [عQ$8xZA0h.:]Nd2m;E""{* އ bwL#L}@';V ṢtG/#C"֩4~IZuBmxPjr,|Yۚ~JAJ]tKwD+^U8tldS&m6S>Jhjqg᤿>RΜlڿψSc^`C̑~g"MHTE&}pe?`}ND E; cEKmNzf7!BPбJܳR2BZu8ddW m$HXžHЁycnK>.$"ssy> s'po0Dk*ū M_c3&j2I8 v0x{ju*7A+R@pZJDޛ9%"@r.ʥ`5ph2M4h2 b Cc>͑KI>44S`kGV-[o*h;|kTqph; Gbb"*ZXTD0/L;Y!/} è,ZE3?{#FO9w8fܢ˽틎 q䕉sb>}-z * 07aI $2sW"Yr:[1B|WחRƣڒBp(9T"=]w+<v -ng{ LI0e*)1Pە-=W5g Qy*.#fy4} *+4>hȯ v /<ƑF Zn "TPpl<=Ȟ/AOz/E-j/O%ߵD;@qX\Kf@}S DvRJw׬EK1U|e)s析k<*bUޘxgG1cC]ÐI%z+ ptnv9@>NfbHqNݷ$TD/hp[C9n ֛]YjYZ(;jRm+,t&g1&w=v:k)A1CF@zZUcT%@נ{Be:ơ=-Eylj:ou,K9y5QQA{eݭd@xNp"5;ׅn#H,^'lI`ĵ$}Fj5:tYdgJEQv;39.;: 2D6HPp样v. G1"U+gUABu%,KF e$ڡ/LKK"GR5,;@Ћ/dVd\o~!,GjT!a[c=dx^QWz6oIΊI Mr"o.[ŖkSqe˓ {vP /C>@Xy^ ;kY<+9}r☟p?|j,"m2^ roֵeSr3i%צm=hy1lEmJRNcYkUפDB\^c6[{7SWh;~9ɾy1r_ek+&OeñPB۸rfѤJi5 PVYXw[C̘EӖ5u8'>{W;j <0,eMkfH-(haz" W[;zw/PRG\l>jSݳLūIq>VPIT mRb^J D"+if3-޵ XIoht|^2$+>w)u7 S޴W,4 QtB%ׯ{EaA@s`1pMٟ:RaCDM+ײ*x-LHg6v)?{{A5͋{i**.+,+gYZ3e863915ec8a892eebd344be7f6e1b194208ef344c23dca2c69764faca7d5f4195665a237a606274 a5a70e75908aaa1084fb6ce900cda62e8b243612 a49f0c38d5be714969812fc1324e41027112a619