SQLite format 3@ .;  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 nnj9~D ] HOL-Datatype_Benchmark:threads=6elapsed=523.721cpu=1952.900gc=731.6687zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;>(APŋ'q6k1k%ǵW+b,0v- dl][Pe{:_ P wGND8Y1"!΀HJF;{OW@VYr0Ap7leB6'ru>ew888IgI`uZ4='\ U &X=6m38M'GE~2U H_ -ʈѷI ё~ 1 }F~wz3?40&= xUHO BPշlSE,\sc"*,`\I|˥a=mmˈ9'ȇ UBجIO+NZBgMu"v{[X'[H  ;x?2c ,Ofi- !~Geռ/"ඨE#e/N\8Q~]o2,!o$ 9 lfak6ǥ;5yiEXal4X#Hxss,Ct6jJhX@k׉l8! {7W/eU i "/k*yV/`.׬ejI|vԊ2mJ74 Μ/)v %7SPs  4'pA:[Ulψ+Z!/q$NY{/:,@ăF/1ۜ÷$xC#!ɰ["T!VXpX {OTnMNQ.bDp- IdX_,)l~vhW U*̢ׄUo&JH>^F^⼠ I} |}X]0lBwJ/IL. W@ r$Q 9 HOL-Datatype_Benchmark K Q ]K9G% HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument.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-mbEya ƥˣP/0ɱE$W$m{4նՐ\yB8<^M{?RM 9ql` VOpRTG>+',*q0}leFn:MbP?RңWNB,l\T]3Ϩ̫"uGukt R5Cn@m@-@$!NX/JzI'u{(,N 2IX8]Hָa}pt3x!9SOQ~,>%HB"Fyư[!X8 M<,qhLCOA$Nj9N'?^VBc@K?“H?$Gw>8iygλ5{q/F͞8ʪ8իtdƥ/~8/%~mRQ _R1^}};X `x?G eNOÉY =CzŘ~|3YX;pGd30Ĥ%n:6u-ضbSy!,z@*=+z/'Uj@z˕!A( rl(e7Kt-ewsD_ 9+b4LX>%jN 1`.F[~@=376ZP J(_jŪ-a㌚hNu(~N~OJQ[8u񪓣##tg0QXwx1{\P#ߺn* <{]l[[KY7u㑨% qwuYiN hRqˣ4L S962kƢ]RG Vp3*|gr֛D0ŔaIv[<`-ݥďL+aX%/vOx{TyP"nox9'mn}3zlHMG*V›Sd8|89GiR`$(52pj^؝m+V>h҆Z6sgڔA9@r(I:gcN6 NdǓ5ERJȿl;]W~Ar LjJ| I*QypB ڦ4( 7H[ oc&/4Ms `;;SNZ,a3O?A4 6&֬q :Z0jh?zB^~>9pox!,F65k2 5*l|\ɘӟ B;wzهYcYotc)dMS.px6G wB/r\Sөp'BH[D;+$Y6+ꖄND,9I% THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument.tex7zXZִF! 9$]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7J@7H%Sm/CAġ9STQeu1E3^֖=(tMbr7$J`B[znz>ȈqWOꖐ?=Y+OUDGAe@zM\"zbjdٮFҢ]13Nmd[}*}{G'M6Auy.'oNdhoEǂK0v!22 h C[?W*n ;ݰ\~9Zѫb4h~9b`{Eqa f\3" 5(k=x>YgYZ ,,rE9G%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument.texG9K%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument.texE9I% HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument.texIB_:T'nV-( tHecF"N?GbvlLuаXLQSwF8o *' sN.:vk"8簟k$ڝ3p!tkR=WN f@wk\+kk=S!G`4e%F^cκp.;+GT)l+nL ɗL굩@vN٫w' LD˪ɵŕxɨz$OnR:|8A8?Ѣ`9&Dy vpوpUeѦh*7ZWAd8TM5F4d1t%A-yQ3 8q?!ڞ5\3m a2|w,؜] +s!d )A:^Ax" Z>br6> ]'nw)Gۥ:22"y5 MR/>5Ȭ ~Ii?v/62}UQŭ0إ4aM7H?8C!0w#'AkᖱGy m ?"Df(}Ui]e#6y¶Px {'jUen}J7Z^BTx*`q=ZF\Jkk J4R7`NsjWAR+;q#A/vgc.KU@Ӕ}UoE2c9Y.珝֋m:bt+4gBH+9R(rܹgTG->⻁47N$7_Xc _`2쁗{Ed3 I;8AA_o2⏟p}#Yxrk "[Q ڳ"jЦUs'R (\=dDp(ha}1RI4ptՐD)ISlfAtǬam\Ɍ 6Kź 8Лs+ #-mMgPJʍ( XQO>ouz-Kܵ,`Bv/W,(\ƚXFrqP~u/R.nBrYN0ڋ$1-@7$nV\ER.7Ŧt{6VnQݩ/@0WNsC܉ SG|ITL㋀!^5)ne5y\S˔t<Q8EPٻOMMգ7RH`@W@lȩwWm &#.ĩDXڀ 6է֫Ҷ=5 xG(ԕNm c]0l)C/zB!DJ~G%$/k$"|n$Mn\uYE}g[زd_)TE BVa5RMzʦ\װ''!sͫv0 qȎ*_0շ,vK"*\1S]^qdU#jvD3X#aH]JͪYݡH:\8;kvo}"K3k &LTcV^IEwف _c.G9IU^vs_sWYC6uLz>j5qF%d V9 @P]ec"BG vaݨ,EUu}c—ANf+DYo#%k 7{{>IQ4AX_$/F49 *Z3]ox ##bu"]D-8S@}[:y4_ 6AʴlMNSFc=;SxgB_+MjJ$~*ԅWC %XuerB_6H U<"*%cه k 3'Nk~#m> ` '\ҔID>h}yp{FcyPƐ[aEK(A!ܷ\8i %hwJ'uOy)A- =p˽bS!kdNTHDĴh,ydڨH 2$Q9%ܡyT7-ɺw3E!5'hXeR>,`-&Xt!@}lNՍq]78X`P?6 9vjo1Ѧ'X; rˎ8 xjK߀9!љuf enzȯDP1q 6enPHw[_~Ǐ8ϰA7sid# 4 ˇShΪuJQ-w ƾPð2zpP=V+V)g%9xkKs%PC6|E #ӱ "=MF<~^ 0W]#wNɎJoX4U%T%6©~G cSti~j(w8,535g9vXu tax7N_vZCR{}]]o&~,.#>x.bupӀ?$Vܑʅ<@B$q8ڨ%kTu!lPC!G>'TLߎ1DʻpK6Ab_aO,9jឥ}OV;E7ERn>p&rC hGGX^uJ [mtrWOKmR&AayҖS S8 xUoHû@.i:ciJ i`CGt=[bZn /_-:Us{fL7g?%?+E19b0Y}.;h`mo$ B O"Gh~: jw%==ҲI,ZiWMz-vA"MoouyN0Y^Ua]vdM5PHμ Ĉp l:@wHeAritpA#Ñ1d XR "+o.Y˧}2T$U@%yvP*tMNGD!~5A/ͅ`A@Zk]M#z3j-SAPd%kU'BwB#eϪy{Uoޠ*zJYb š[2>d/xtIwߛݹR"peF}m82G~ _Gk11(7##1\ʮwVE+4}ܹÛߵp?iTίIJ`n.:~E{Ҍ@((Qπˣ=]#|E k:CP1@iLhzɲw*+2—Xƴ:Pj @8X۲6%|~x>Tq6K[b!O|étjʊ~ĕc ؓ#dpŴ2H%-s'|}8F^% ?L_%ͻnѥqJ#^VUTڨ7A#_Tu\8k۱4ƭ\y U$Z`?i:  dXR\Mᮏ#컠Q8euǀŴ׍w#` ]BnSMW%yT%/f gjXXIdj/v^uLqO{ȔU1i/ H/E s42Ibe7ip9GWlk*psUٞO#M7L_ҕ=MhK |2u%juY 17K-сnԋ= {X2~h]5+x=uxc6}LC}@ "K,<ظR">lsX#4vQtn+4}?oa 7{)ԣIr>Cbh8xB_pZؒFږjop;z|g=|`R*p)Ry(քAdC̺64PU|Kp-Nq5^}.m1T<EE;_Ue)nsH\E]˜"͘3b1?b s}໵EqfeQNg6[y`%(:ohDvYk#ϙi&6*:CnHMڋ!Ӻ>3&p7@|Fzސ+=u.$'1˂SD1j/\&7>XQւ4l^Pӈ#C4U%jaL wdEp IVab6n6T GV7@S6wb-;@ &سZ }2 BPʏ=)&ˍa5_c5r*n@K(ETԧB́Cr8`嘮Vs|:x`CŚ gl?"GtMƐdȃ"$9H$i߱;1ʭm<܄1$V+9=sh^ MVndx>g%fM̙ڲnQy GamLw>3Y2 >#l,2mpB9۞Q3C̓ZM˙f}4Ο6Ki:BwdΈIEz$ 32 x s}&5@/pr7j"¡vUjf)"&Gowd⊆gW?CB!Ȇ5DmcA"#}֤OnZ8C"eP-yrXm8Hϸ?%sU7@564O N gW\hkB3dgi` omPlr-:=" o0DbGKUڹqŚڣu?K\ <)|ew>ߍ,N_~ ?U!EmBܗ'E2lXd@ 5jYneڙ`H%"O@lә? zxvkBG)7{gBr i\P=.H5yd~:PgAw*z9ՒMl ^XIs+,ucu{t&9!X2`6Nz\AgRNC)+/Fvߚ]< &>v*úr)%fk6cH Yc<əO#uH($qX$z͉kgX,$$Ċ Cl|BCN[}htgWu ;@b^D.DY@6t ~ʻY9-ҭs6ۋeAdVS]Re[ZGY9 M5~(5 ! [vDuKfc:CCg*ǖ v<(H2$CZ(S(3n)ڟkpiKE˰B: VED\#Zv.\aYS@c&dzʝ{fvPvO}fCibJRORDiNvmo*ZJuh %. t_-J|gRYR ,-+Ͳqod:9BCrCKIu'M tEVEaq9<,H]t6c|88BdꔨrbQo!\q>2#K]B`)y_- yy>izl~܃OHF-:I}`wiD^!\&_HVD̄WĨg=fQ5r "-^ n>pƶ[Ϲ}@ϋ/yȷ Â`k̳x *K ,C9iiBB^ɡoUBa/2e{9#An]!TLPժ|7oG(K#B{b8f]A32/3N*[f ˉ>N +qxisiQH1'z |a,Pks  D>m`ɇ^~ȳJvT w +eA.zF"H htR\fz4b mfv\q /O 6{|.Kdf#2j/\Ymd|Hgxf $?bhmjg:oʐI}0黥xoI"zrGBs@e.1|:r#g'ΖʦwLR Ni-dEu8z؃o_ W5{EeghϋIWϜt@%\hPIu'~IƾbmD9adJ1+qoǓ' '("xHa.{Czm4#&7@T*c]琨(p vb]$|W@f9HrXcRƳgD8UA D$t0O>z=BQPIOpbs(Wu^~oA9`K7Ҫ,Y1tEgG!sz&\rSaAMRzVᇢJËFREF VK \] (Zպ:;bՌDjn3(e:ٷtnW=?VG#0j Q?a[ʡC'($CM[ l|<`*M_M@ز!Zlx/=2: @cvHbv~e1ԤOrOdٓXR\QK e v/O*N:wZg@4B4ٽQ;+tnϊJ$}ADH ͊qsEC"P=$mثU=Ч;/.{RSz-c N[B{g6}I4I Lv‰tw};yw+NT<='QrɧyOeaQ  IW}s H I X6"Ț9w<Xz)"*,;AjVaY~Bp$zg6+L=V S-DQlR:IIPI$F|uř Ve mzߎcFpWזK..zf2M- 1b=R %8Rcr犯3$a]:Z!LJ9D-Hh0[G)tm4(`LZ2^`j8V!sib$9S))%{.=:1'd|Q9W*=!~vC?"U iq҄2 l{Mmw 70>IzdQI8N}BST&LʂVS6"Q;fLu5nƇTu鏠J/=ݍ)qLE£r4X^hvAicrޮz@-2El+6r@ϢGgA{;ÒSy)# A,)X0vҬM1M+M \vP5o&$O,vxXs_q ^]32&5ߔ4y8P遞5}11L6 d!H7OMFY>{=<}Bc˴GHG8dv։yqDfpue(UK b2CL~EjR7Âj/4/WڀwZ ؿ`[j1WE֧?? Ncc.hzO3orc,+wLЩ7PQ1=h?i~qWI+ 澴E"ZMR}کف"#k+g4DDޥgO!\[tS?!  '٨=?I.锘G;Cz#OUMDSc'&V][ZwmL~vۍŮ˝>G- |j:֫X8šREC/O<I:Gx:sT 9{J}p(;qƻ_}ù7ΖDl?>-0 n s/Ӛk 3T ]_ ~ή!a]SH2M;Ȱ|D|jsa e臰i4(9߲v 层.}:A&x)Y~Xٽ }J?55?#Dt`#oMlgȊKQΠ^qʬmA9c7Ob<ZjoT‰z)8ck.s0Ѐ[㘴D64l LO\uQBH|RG4͌_:Τc:2ɥfC  kVi(e8-l"qy͔,*rjxh*wSy0c'd8#U? -|Ғ!?a~=ɨ*&C,@M WMS ll~[Nm?oD4f|lD`Nwh+>~S_k`YGོrF++Q;x~TjE=EM/-N݈>';+a~ *#?3Nȓ$)A/P xĄFcxa z_l33]kt1zgj#JpK`XW@,::r0o_zZ"@I p;H1r˞|H: *"~F2=L@k+*GY~ ?()#tf^  MlYΫdXh߃'+6G>;,3/2b*U n#<4zPn %"-|̔mbEAm"W[k#1 kO]6eZ5aR5L3kR+@+r+kEOl܄dL|wa]_#A7Y2ZJq# +bGؗ4]ܨJ)*E Ijeؿ>VH :@9@GL*gK'PnH4HVLZ nj%XERd84Dk1̲BwUnugz"ծTnb8 Af]+KSt 5T5<ӃlsΒ-7+`߲R(Q-$G6zU!U8?&ȟУJYv*$V!dQN"u1V2=QuW<1@ʻ S&fTk6}&ҘfQ^3;,QhD T"|h˔ 1ŌS;4EDHV}aOSJ;k0>&xSP: ΡܠQLm\u 0 ΰ}OQ5kXq`>,m+O~0T#0o~Эvh2q^+';ޓVG*[z`oeuʛ:lb*W/QiFtO `JSWZu1JRN.}tuY(/*]D3J)ɹ.R/oQ(#"^ LI!}#m ؕ0>%֢~_~`3Vpq&ش=lظ:"tv݆VCN[Jz\SV2pl̪o3{Fl* ;B+ʬSJMS ̹*tv+J@bQ%x4AVl~+Q/r:Py{ivZ &ގ3Gzy9V(e}EJczeeetiR\29@d(tl@18W{SMsbHB,R!G3<9ӿ,zK@s%l"[l< 4uIl ]E܅-ڢ/ia„7;/t0\x.+^e 0)ଽGG[iqt,1V/LBxR]J";0h oQt7~]G1;v)]d.D('CePxޢDJ4vвqP&1]P]rinZS.1 UTl8u]P+E^ x$?uXܰ(Q\֛@݁tg?VdNI?hTR|/y~p}TU(g”9R=oL_rAv~ lswlrhލ#;P43u鑝OoK dB=TmXm8]SQ `lh}z1B,x51|]:6z$ڠwN D\B;yPɟ5n-,7A>/ZG=V*bݴVZmR' $_nEIT+BEgcw2>αXxkf\qpF'j*|w^u7DD9givAUp /*f%Uaz#Ln<ЮW4ϴu(n. ɧD` PO(P6!1 tgDhUtr A3gX83'H)'ꖀMasp(aaV"\,umԖ3=b=Hcd%ЦwE ׏C8kafL=afL >w$5znPӸRE'ҥV9-#OYF%$>YvDaoMվ6Eҹ<U~~Rh9`\9 EbW=FKOhQUek qa;O;߇Om=#0P=~4Ħ Y Xâ s鴄y;4m%|4U>lP37@5t7$<;`% `7$bӂ`qJ@IcwC]aJsvu5HAH9j Ǎ/ٜz{VqigB ZIyJ!Z|޾}1${{OY tu/j5nCf &WEBwQ N:c X(1xğ3ȅV57*ѡQ[Dt# Ԟ$..L.W;c9z[Ӫ)wQʨlKGljJmҲܔ-jKb6Zaqr@,r}BL@0h]'8Iq@1h4]XA[)ݛ `V:M}0pS&*M< N}ïT=j97>'^y-p9 J|VYU8#]]ٹueD@Iл/Jh>IWchdunmRDS`Ѹ_xvvAsg ڬ 0|=*W>;ek`_ZϨx{=8aɩ>\GrLOpp-- ø@NlZ籋֝ۏa"H**f xnRngXR g(9~ܦ@@Sw|_f8;9I{ ;b {t3U%O~q()m7aD5~/mJQ3Zk{$`J6fj*CBwp ?8իm'\QvbQpꮖ}v.h ਖ਼._hI1e]b9+OCkRn\1|L*?NDyk޾ف'F5tÌޛ I.| & 'wl" |~QR$+XQ* +73*(N0Y[- XkLYk~͂[ 2HHP-KMհD)md\L@ t (@lD;E*7SdǼ;-&=)UR ֜}z'i\~ٸ[I6p_I$ż0MZE3 C+T-/(`1)xTqF[ۚߓ,l&& p=[{SSn^tow~]Yl򄔺"tD34XGp4_9}{P"Oݙ?%ejwhAf}Sm:Q/5x + {YFAq4_sO&j&gAZ;늢'Zvwη.W^ǧ{CpyngcqBӜdBٗfb{L^f~6G3$/VWs[" 3'>7pbE0v:PO/rAak0nR9cp#"MT|%) |~;kW dhqqSZHd+YQ6;0& zT߁8@sՒ8x3U2NYd@L frBQnŀ Oyi"ìx&3rsT~=H^EYuzƨ&xבA2!o܂ 9Ǽk5 *G%*:@i8!Õ?DMAXXڸ'Z|YXzX<.nZqV!~EL#{j㱧xToWp"Β6g]kTdpi*i*E^D^a5b@D(R+jAT3PհNtTSW3zI9[($R|Os=u5$d͹1y2Q2![],f޼>=uF.;r!$.O a ޛ'ewb,8oִBk׍!yj,k؆bD3[K#ī0_2c Kv-Ag"H6jO ֪ċ8{l㑁JSy+Pel @ų9{3 !``׷[ @?=UkjS?vB#Uǒ?HΏu|UcT㶉}h$k}x?TU Ou~ι%=}LZEYzdKfâl<Ԣ^?B6[YXEȑ @ 쉠/6"=n@a[J&䦸 >][wRjX(Ԇ>c%\inDռS*Sc]?Ԣ2z2͘2"\uռ+^wIqEr b C$ee`R}%yFdt8I\ZGw"ܻ}Ҷˍv&|lIꟿ4蛽˯M(b|77GVbXA!{BX#/YV Pʆ|5gm3Z 6J&=|14~ؗ/*:+%%l ~tRGmzdo9I %] Ȁu5?㧳!h( p j%0YvD\wE U;Ay(іmKtb򓍘s|ut}6`gf':VgjX;(~#By3|5;57Ө\^gh DrCҰތ2vKQeQhc$G:@ݱ)U*S\:\wn@_jzS1*cQ\,V~ҏW@Ъ%_M7ɪO7X>;i<ҳanG\gvDB{iS77HSVE;&}{Ԁ)iIGދhS̟iߏ"8,Ee`J8vh ZҗWO6?HsgzT{N-%uL'-CumRm-p7b 4"Ǒf͌ YWMl;Eur.5pJcEՖ1lNjOf-hY5j&Oe9W+"H:lg25oNbtB3Hj}n%Irr(FiB)j" umFzz0M>64 @fo\i&ƋNMNJAv*ʬO׬Ӽ5wqlϞ9H OWWT_s-'\mf3 Ln0U39::Fr]̜M%ݫG#y>'_c0 $~<1vxW.2弤aGS:[:42W?fo܆ 7d/O|vا*7Y8_zIem^9*+TJ'n'.i${P<>> Q#=f]'I1%_-@>1$\kԙϾfo?FaP#W .,;:g_"W_+ 5 S7,}V1ԅg4"@X&KtqbJȼ}[X? W?i[EwOH ٕ3HS5o-&)S,aN "Y0Y2t\`t%kk4Y4z7ƠBmӠʻ* 0M蒔jlSn.H&=6LE)[!X&Y^̡v6.FzN׉ukc}FE@*cIwMcB0:J[S{JZ5" w9FəO$$HrPB xV HWBׂ@OI⼒ OaLoVDxL2o¶ejBTi4j} ,twŮ[5s†87)(zy D'FGR%3 ^.N$t,~LMK èyt|YJ%djL\Y('Dk&DGG{~# LY(hy^]}ԢtOW.=>U* +3tQ@]!2rqe%$ty_cd(O%aV \* @A֝bJrBᵢeO[㣬E:h >a0TPv! oI6CQEKOi*h2OIK w q; 8$B!<*XN?rcI.3ePKDGU#h=q}3Y|ui_}Āns";#p'9={gsk7 |H/R{bxDq[|E#VoGv >^W9* Xg,Ah^^N?$$X+&+T+`*D5H`-/L5@ 6v qgj6BTi^sR-9Ъ ?.Z y^I}r1bJ4*Ci*?q 㔀2dn*FᵒTHd lqw: (HhH"PV@Xp3 o5r'_ۼʿ($ KyZ즚욶nJ Xh4a)]7!k=z`un`G$]4҇iЄlJ NUtNHj3w :P:%YpР*ѽ_RHBa-@ \.tpۣfd)ŸKiy[ uh/͞@l|̛3oX@}L?eE?OiH3+NRJ Voo}-d=ga~ӠeGyV9lWhȪF}O'x^@c(KN W5!^0NJ z`ZxrG .v<0{K&,]mjtb/TάLd qF~ttC foDFijz@2UXhbȨV[f~:p\;#U{0ӗքv%$>iU}P"xAo}x-])D`r" 4= =yRchMucB`i`-vi k ^x=D:bdŚf' iQ\@jV4t6o_=TB4Hd*Ye(wF`j(m"lr9u[qYZ"R&9[qehMCD9!I2Hqͤ lUelf6'e `d ZArޟ20lKԳz(}s/DW~\m x9] D̡POg[ck^.ovU,|;!Lck&fOp yE=e.Mf3eSsBSmhe0A5Pi;͡q5%T5OJzAtbn*mb.t$<K߂6m tkۧ_ RaGy #ɧ~S A^5 >7;jGsE_bCOow mB%jޤ^gc,# ,^y03[tpߙHG*x2vܪ+"0u4 {5[ KI zX{Q-/8 (% f2ZB`5J6[n{eZsBưdϩ1@\>ViNI4)Pa 3 ۲Rhg ϬXħ~Fԝ*]f ܌cgSd1P(.A@xGT𡥫U//:m\Ʀ]/hVv{X|"p.QΟsD`O^?t|1@-s1/,Ғu$f vk 68mPѽW4Nvu-^Ra9x}|NE{arLuX\Tgwt&-qeuoe^AJX1BG{uZAUȗझ^Pos C*݌7#Mŀ[zv_=ᱚ`b#QSrMƃF&.E<yh4&ԖqjJ Wn0s؟.j;,9%^$P|];A6Mkן/?ˍܮн}o +þJ s[t(X|3S{u{jLz:"6rNHeJ- puIץ%9!ʨI8r:< oI wPca 7 Y !diN!b#+rP+_&&ܜD 5fz6_Gfi߿y{PaJY#W$ܭ4Dl2]LwlȦTAH!ScTXpꗡ"pJkcCщ "SWv w7WYŇO7C~ 3lu-\Gv mN(NdX58]h' jRxt'c >d@ li#(Tƞ AǬ?3$ ~1=68Xga^,q7&3my=tyh/=ݲ47iXw&lu~9SEsrsp>4TV\ߙQl8F\ ꍸe+oV+QtB5K3,n&!1,TPbfE t|H ^#9W`ZӜ8h@WyH㜞_Q F:Pސg@pD|MwϪgn>; ݚ+4ުyn"ְ{9$m Wя,ͬCq;c ,㇩V BG $c/jq0U-J%eHN9 mmG:Lꁱs>ۿۉR DUtZ>k{@ُ9TCl#WiYOk%azKJ^˝ߡ2mnW4H۞U5Ks>D9㲀*υf0~'@0g/NՈS/a&QhrKݎ{hi1 :}HUrЕI5K}+Ɇo>_6 KSCbag~ƢT&viT:d0<7"TWѾbsTsDw`COy ~gŃ.i(k-$!c8ŏ;|V*$];kʡ0X/WK_e<:d[.NRUJC-701>ʡ fA y۝ ij7.eL_9xݾw漥#|Idhh,`K1nJ^ v[+RRaz>Y6Z XO}._,&_%YϫfyBHGB\*M]PvHjRyZ| yyQ_&j*^`'eKz-5SΣ dW{3*9157U*Id2d5$4Thfvm&YLMSG8 qIs߂z0%0bIٮss)nYl.TV5=D:}2eKA83x~1+ L3TlYH7cIWƊX-$A-uSF9DWߵZ0|(eq.d) 9=+|]N2W"_d5$W X7/0')KYK#Ulלd~X2 XXCʻoCyZ2Tu׺hJ2:xIʏFgK߹\>iz&xeYXw:+DFpcyH[N"T%@nX À(^1?BQF`3 tBSE6),!+@1\P9-"H:4}O;"-bYf?KH<rA?P^f%0Ș7P(1ml:.=t$3>w?mKAfY>2JZ}V~H%:Y!ҹ*obp9qfђϵ_E^ ^V:CY۔}Y;TcY^HW2<5E^ͷu*5S٣u:UB$:("im?F~{b %+#˸]FYlKqƎϮp}/fJy}䚩.8%]M|GfxR322jIJi3Sk7ÕDG'~lˡxSbKF)f򧏧GXc|^"_{2cepc?1kFFߏ(j v:U70-|?֏ͬ"V2GgƷ-=6TpəXo6kʓW<:`6wqli眀5T&Z+~&ZzzG]Eb^ZV<aBdEHLoAG%YH)sdq?y+85l@UtgH\uAh)j)#wYN-#w"=qvn~]C\"X׌L="@XP7~dނxG4H OtŴV"BUf<8 -h#+ڀgQ`w ]ԗsj ciA1y5FίCqZF+`|2o^#KgDzI(Bޡ-ng__G~p#/t9 Rk; *(tr!;^1 X/F!F@Ҩ XWc{yNIH\͚E,3ZMH;co{ 1}b㔼#45yo!xbVq0Ok")LKK 1͛'[֕C̜)BQU*>u BU__풗7k1V [-4<s@1V !ΒӄBޣf\'8XĞ3syvY+ &ڏ(ʰыlcw@}w;$|]gf}*0 [:A㚲Pu)|rId E4DOQ 9'+M#Mc+#(# q"J#9sK+O*, !`~)[AdH?#}ŷW4mOZfݯ5}+ TB.9}6]K<*AluwRH 2ʋ]_Iwlc^WNϛfQ,ciuW}8ః3MHmxR߆A!MCCVBF[VS?m\nwK VhŠlJKE8هd6uCJ\dgbN s*)Oo$Ry!)&-仄ZY&J,~KZ$ 4 r>|lj/@."wpbYEӎ%F}c ZLo8aZ&٢T#= R+Por}Nq%tFe|W"'qNB}PUi[~Ӟ4Bl`W ?DtL6FwU=pљF>B̹O~p"N. 6P*>2`uoԼ4<2X{5;*\aAWeB&m.m&Bw[\­wpD0{Yryc{$L4iΌ a62جJwfpYE5E#? K Il^سeD܋s@@"T;Έ:GYcPخ@FbҳK塦{ pYk%,>GKK̿$1@r0JI@Zq1}#0}>3<59i9RČK-G߷>|G r$>e0ɬpeiO"+5BCK !Ar3YiUX׀NI> )e'CUQx[a+ ׃TDeesZ{o3Vt,]xfRW%>[$Zt -_-^BmRb̋0rP].u=au'6B\*zp J{pQzrx;h~E0(oS'K5TS.߾ "K {h$Exdy]SƧ{Bcf̭O Jŗo:R*mHß1XʹV7d s snfTI'Ih|ڧkю}ku ̣g(hڊ麨ȜO#eEH?% % MYvrN!jzch EQ'^ӗZ|y |jPk" 'eG(zt٨UqԴ?@oJctHcfﯔVJGP(s3{j`̲BdQArh=6*H p7~NV+%Hπ(AE >aNTT-W8YqgH,χ:GLᲒrePna9"q1,:\y?-ZޯI X>ib@ZDN= Un\oE)R6*|'9$>F;r1-0OJ;HA/zxB}LGU8qogh_`U}Py=2BH17dGyƱ`J!Nb?}ֿM"!lI/}&u-c wZf0{qZ (GWYuY|lBvilO_=ВExh7 wFf sП] ɀ&3x$G5a73իe(93p * rg; { CUȹ1s[W Gp1sоyN.*p1a1!rAN6T N٫/M+̼';C @LJ_ȍ1%k8Km`>!.DN6\N˨D =(t i98:#W}V"\q\<9E+/8J3S^u5DD$i,dPa6[;zH6.wXO(_{،QIuA2h|Yu Se{Ke4G/f<06X@(0b~ޏNF&fj !t `<ϲSq_ZD+9KR[s7~*Lv\M}JED 'ϬeUv[o@VvE35~7SDk*U 0LP(ʫ^d'_GGCHwQ51mF%KU8ͭ:-eV.\}8 *vDny?z,aP30D\RXެ/"l CWB*V1kVGHIS35t>(mH}7~M7gJЯ̃RgHJ,slpfK߯1BpSUϳAȹn^,= BH-KQ< K=#-l)vepweQ"4ZkeAwFнH'rvب$H*,-Ri|qR@A~'ָR{FMryN\ pplRC3*a2ٙ6vBgl\dd>C8~u(N#Z[d ԍ,^ͤm"Le׎~ɽ•PۑaV1da0~nE ,*ҍ[vZEorѼeCLs-zYt>kSZShsa\J˜"[{CԳDF6/m]ͷ)Л. QI X;B?@(T+@o0w6Ȉ ;tȏM%o:v9%(Ӗ{ОHC )w=fgƗȗmִHu)Y9/>X$adb1{#$HԡdJb<J>v`.H}٦ . %'᪅vU֢2:O2qj;JKK~<[QYvW›)A1 -=~;}ugkoTb7!?u0VeSwy9jT`D(d~,xj6bPrQu |=yj)&?Gbx_rY7 `ku$]􁚧P'}mqmAÝ̈Y0_O^׳qiD\KejiKA%HxDCkRy~Ce!UL= 6fv' h@cixnȹPͳah-!GFCq^)|Sǡ#u4F2 +l>3.xi$ w{ZB{*gĤPґe57epzYT=u'zSHEb'Kj@_NњU.Z~ªTR"SLg-o%>Mq|\+ʢd0""2üVGPKP%8Y$ƱDͳtrplkqأ22y.B&&ף.:Y@ +t1xK'dt>*{ 5Q_`CыSd t#fsu^3tI\l,mfQNnKh(!}b PJ BɴN.r4A)$W[nDᐧ% ܯ"f Oh{a([QAW@42_!LƁ1:W$*MϜz++ا0Dx`{|+,{Q1>6I R`Z أfBSh?>J(G6S*@-A k$Dx~ssy b ec VcVajӂ`]&`@&~OQy0q&a nO w ,DP̖wmkYNAo~}ɟU2+ǘN9`eZ.H$,?Q?ߎΗZKtMC^\74IKõN_F.0gYZd706dfbe8068b2ae10d1faa6760f0ec2aac805615adbe048162ba6286850b02082ddf88083c0b4e5 3da023d1ea27c13a4bdc6e607859bcb230c86ecf 6f4460675270752c80c6d2cfd841a7dc84fde40c