SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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|?Q]wSN2NbLoWz2x cRJOO©Qbb4Twۓ2"H9Psaf9.DT$BvέǦdqld]7^"ZД` uU4q6D(хl.dP><~qt?;$w*~dL|n\C8׉%Zɱ~aMLNqp˗?%iT*ry[N0\tzKuK@ NNL-kԼV`/&I?7OiNg޾0Z]w)]ϝܶoПA"6c~ѿ!#oݮ~4U┻6/g,?=gRUs@UJ#lZՙ$4zkS%kHQ@Q d-AW)Aębձl*4a,Ӷr^ʰ Y(higy]g{uL2rK l@DDeWϕ "^S0E+Cʐ0hddjSς-O";bZÍPvw~^&~`$fq:.s3 MUOFU*U`F?_ɥhXKA~ wS?3llw(5WzË<\V xzW]cTS8y[E<[d2tajIoν \[:$l`L(JozR JD)kwŒ+Jۈ?ug,of7\!W鍷N^j"fDO>Fo,YpOlEAoCEgЕ}Pbm@fzwUaʓ6ãř!'i%x\g}F!)?CJ/r2w@Cykgm𰢦2sw]L$O𴞳qųH*pʕxP,jjXu πƙsukg@nciUԂ:# /a vU_-֥85J7tӆ7Gx!Djf=N 9 HOL-Datatype_Benchmark N R _N9G% 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ŚT^1HhL٤nqv[ Q+##LDŽ߃B^$$PPzV'_n_NE?0PK8y4("$P)L͖*wʵ! 0YFwH (tFyiJF1C~I%p<gǯ+GZ<^(5ùRYdvBp lGy,6Wh|l8kw_DBziob2@P3PV 7ZH,v};K6CU!CAڽPPs:@&O Yƈ7xY>_>ZI>t!AJ`ZG M&L. K'.L+^kEL/?Mfbri'mx:Z'"gRC1cVr.WPͭ p=5'.W~ [2F6.;D @fW?&2_)p&T*FMK?TJCJEqު 8Ӣ?{qq$+2/j^xbm{X xH1 Cu pM!W `fs%dSռ3@0GSS5Ծ ?\n/2}\cGsi<̓i.X9,rc@܃ʯWw ~nd7ة4Mu/[XJH#|umBC8;xtK|r+? R(u$nbE&\&UHYdQyKx5h1AZ֣@""̡b]hv)y=2^Fؓv7R{mcU'hə6XlP_<8ˈEkjрOv!n 6 S-h7Mϳfc5[AKҴrqΉ6 {Q]r?{fUsGf$`+Hos9X7B HWlw _7$o2IDں [HTn^g;fZKu[x@.嬖„W}C$9LUUN+K4uA?Uᅠl& b{G;s ǼUA0wc7~jN, sj~ᴒ6|=%iٯ~̱ 9@[UR賳s$G(BtX7)e13{l$a)[5VJ.IYflU7PbX=O h'f*O^v75C֞l/)əNP 盠o /Zs7b袊B wO*_K !Q@>)ДZ!|T2~\ushB {:7}}W('3ץ}u/ #>RD^Cj~rAMphH1oz8{jvt[;{ ;QHHG2>"vfv)2jDaTL5 hWkXa>yD0SWqa2E?= 4~UiJV'?Ye,*?qMxgq욵bu7B%}0~_$Ly# y' xc)IHs1m=2P7~('S)$=h[ٲ MAǦ1̐3gӢ㊗xΤLysX@@G+Wavo`tI%âZؒ^'.7wԘ4?{(pU,`/E"GcȞT96oět|Bx^r>#;]eVl7+Poz>ޣ0)DvoiCS)I3 s)HvH(Y8&JEc‘8؁ h/9'm'aAiLd:߫$%`iCC_"lvjGu#τEQYm}?q‰~A kţaHМz5[桂F{)"87bikPQM0-|z-o/G]g)rg{ȢG>qtw S;[|*kJ.)-K#iE=hh6KuŕKae_4u{)>]Q'Vf[X6&~H= x3IX= ; '滽`NjbvgoGsjb6ZTOa'oi R $ gU9/}Hgǔ |P<}-"NMd8ɞ[nqVx6 FbSqFea kc6X|xxMf;;/pzn5`g>q%_Cvh悛cĝ)&:֬Iʠ1=1ݱfn(߬H.we+?ZYHu{2]V Y nvz \in&QPdQ5ۦ-ڬ}Në2u޷ؐ~SQd cS^3_xSw! D>/G%톁% rIp+;d1klRAWtUnRwX㽢nQ/[ԗ4x%BAfz)I!"Jn(~DBw<ɍ8cỞxb{52/\% oÖ9NXa4NVۍ.i[AEZÿ1՜|X=k.Z]zff,1`4fa-R[J|[@+4tV|!=w0t6;Gl n)m0%MTx٬=[̬B*'M^/yN'U;`v]=Z={v8:3 i"U#x%^JM[3½aJchL ;Z8#|zK9/~!i(G9xs/o߅ 6au('ف:F{ 0ŦSxdS8'y!QvQ@(cՎ; ۈ)p1.U~6W_ ٤v BWo/1m?(%3[ޗ&G|bk8VpSZ΁^_) ^N IF[ԯ?('[#]oցq|o( YZԯsޱvN[鸷>%DCB^M(>Mdx la8 eh 5f.Y(95H4@kꒇHZΩ+q)ŠhG=0p4?/ wx1j\)sK!r<^ͺz{eLIF>.yBv]Ψtmpy$h+ށW_.-X6/O ׺ϩ1dGXjВ$.cJ>u9DtkSRM /oy5RNņ]b}\tiRH`X 3)+NɄ\:T?vXb{%s>7_m1JnBfLbChU!RtKx ugxx D?gyQw݆2KAsճcow=ԍЊ%d,#c6cYv20a6H7Oh#_l$KMY?t|iIzVHFMH+aB%,3 ni~%윔D${1Po^S8ޭTv3X4z({lD"q7KI'K jWb}^ @;@ĔK{FUnlGLsvG:5R/_/sd~!qbA7{S շ"kg) ÷]pq8?XVE$J)Em(pfD큲qB)yb7r6V}-P5BhQ7O;':])W3n]"ei|a4kl{,?e%]e+̢A.vej\$o`bKponTZc*!D$[+J -EMS#r*>RRUETߵYDR3 saȪyAAяn0K4U=}Pj6 >u%q**PjXwy/ܒ!q r7ʻ)Ztn֭ c,lk2t!Qjr1U}&^!ΝOif[hE,f" jE[~NI 񥤜1U9^uAB&۴$C`#” bؑMD)r*ᏞՒk:On, zxdUP}lYA̤U:8YG͙/::XBm=v8p|~:N[o )(^F:&NXumRw;U F/Fp6hL6."4xmR4-؂9L䵡2ֱοTp$m?ךoHe74EO|vݚG;!h'kDly^`Kg6 gybW ֓|cl8Qjs4H7UURfaS0X`WӍ~N\. ,1Tb88f׎iHY0HwGO`"CۘV$i !_\i<`Y%J 63 cP8Nz%(NR$_jsaI!4zsb?1mW/ y ZbL?gm_Gomv@LrKX%Z oR-|}Zw^J{cAB]\d LvOcNO?!fBzRS2;Zn^ fv^1i[}7QZml䚚 {ZAbik|msٽr5RG l%BA*ņ &8`6R"ۗ"uZ^drH!֒fӔn皒&W @p@ 1BܸW6O?p;L _(r\?c<%52^ [)V"Gjug9V?%:PjTZ2Obq*QUuI66F&xD?Cd2r=,+%tøBoޱa5=+hEo."A&63M->_;L-RdvǘjafH@cuw80FV܆jƒԿ|]R|kNmX χ&[H~iOЈΐ>9vx4,^V[5%itgbl^\!^=i+Х3O+ѦqKL)! |UzC_(:IM=pW&aPƓc`K/7YaYSE|Y/LI跙o9,'?$ŝ sibϰh޺ f{ijrMQ5jl&/m\U\Tz>@w ܶ;Ԭ#ӞSq&zfϲMI'V1Lw7P8²2Ia6 PUMLQSX#>Op8DQ .u6eЎG h>p#D:k7QB\3a8#b`=fI \\WfYBVlDZ&ʤBa8C?κ|/x_ J3L׸Gw ]lF3~2xWN@Bȷܲ:v,u0YzM6I(([ Nt(6+;x `-=ѫHM0[FzR ^PѨJ ݪ j k֕4u)"e:p-\Vq~>TI0+-8CR9F@@(w5}ɲ`*ޣԧ*n ̀,(ۦm2?0Nv@~2:8mQrVXGhzvN AwJ8y[m( #?ERVrBoX#b __nt-RD=DUCGz8l$Ȓ5 $sIHFz.0<ӚH60: n7/Ik\1?)RV8UHRm;|bf?G'k^VE; a]v7 «y\ctI +%!%8?39R=mIK>ͷF EExG"?MzLFWKl># pVN |j#ۍuR>@QкKOev|hU<Ԫi^e ̼OU 1G2JTi׍V -'ʣЉk0 jq%9 `- >?śoK;]}+&UgR7M7KH  o :W#-ܰHXm99IWBX/:;{޺]Q_0݁r / W:ܚ?1:?c ݪ@`eKPn.]Qu-mn Yt7n},GH(!Ѻz,vD1 {CI.+ ѯچ%iÍ ޛ/$c?_WQ<_L:MȲtIGbp9c/x!xŭs`JqȞmEBnh gL-~J ĪU֡!]Fv-Fh[uf=ٓ2wDN7<4qZkS^{ee+c^š+[صALEc'r*4ML Z=Pu!F{akP b.2")ƓbC(8 v')[j ?nIx̛Ӊ}%;k۴Y05OvC:)Cܲ"fu1,}y<ʦ8y'!NrҚo@@-'u~*cjp.AB4 5G} \Ӆ{z(hi0sza > K`mץpL9lġ坅W `)Gx Nպ"_&nq;)% @+@˗~|<wfǹ]4B{`&7 CH7݌?zWwa&]rqYuHkEs}#LdYAcRF/^s<C tǚ~"(^0l=^ .OXwz9 ygM)%Bb:>%wIաhy*JCyr }{FC.[^4J^D^pfԿ"v+`lM^ճ+";.*ꘃV#~tI-`:"PM=n4eW.7e4Ţ]#'H-$y97Y|eNQ@/]f+%X6ml_hΰ'*=FiyE|$?S9)S74M{H#r)BY;)* ݒKbÃJm&GAۦK9=YM*h5%^TuٞơqO:*]>Y[U$u.p1W36?RjïgZG;tO^[Gm HV\3̖Ql{)Zf$23-=[i'x,*{"xhdeӟy;=`%Lg ۃ;{<ŧޠ6o2\:"ƢނHJwRw2A 7(털 #Fy*Ȁ/Dk~)\>7JoЏ8[׹,S|_T6عh¨u>e0C&쑑XyTm/ YZiM'KyJyy~/!`5\[8@»O=Fh}=EzfX^[XM-F~ХON_D}$Lg%\ {ZSAeǓԢ{<#W4~E30ﴄRF dB$ra\LWBհ:75?|Aߤ2eR$jFhb')D+ނ-ZBN( g q7 ]VU~2~v 8 zSwy(($Z2{B>YcKCTMz(~#rDq55"Tuw-(qրl`C&IƂN JXY5#WQtx{5I`]t^g)gӃTCWoD;Ơɦ] G͒z9vʼnm^KfMRtWO~|[Ɯn;h*lp7 _{ihlxV?A,|; s-P6fZ*jn XR;qvd 'U([IH/~t/^ӪӿpOCLV&L%ƅ9B-ec[25DsZO%x%R0"Iʆ盹F) xX})䄪J[0JfSu)NgA7mH\?,=j?Dm3|P/Ec!Sx9NC[u3njHtU5|J*vg&Z )!$"\`a-snT-hdN^;R(#rhal#-EL]E^JL%FΟm;xڳ4-pd7$28#&)Uzd8b&zPVm _qL2ސc hRNs&;hgs%}8+#Y8Ive8ϝgDJ?2̍YO;Zu;2^]gȈO7+IJĒERc3[PUes]8sὌ9厂;foJЕi+ jk]9u7:TgSVOdro.t[[U8W#Z/_kJtη))3w#6P We~7TƸ8T@%䔰HdcS1d $iA!XY}e实{ V φt<½ tm2kxx +C tJϠƩbi 4ZpgJ|M &Ab]#.Vݧٕj lY E [/T/lH!Nfo{\}8! ݋4]RG-njx( X2'BUe -0-fPF%0E;w 1j!UVg[ Kn1ƯmO=hQ˟L=xz:aӡ@.~OM&^zCx]"IZ~fմ巫?jF GJI61LUcEԓ ?E7e DH#R:mE Վ01"-lF$0(vSK gk`` 88ESuO>S>ƳJuʑ)Ĥ|WM?-$CD4.z"l> .(F0y7Hy>l-WF°5ݢ%z+ n",|u!91;mb#?1 s]\bBځٺS5,JoN~Cizү|:0Ls _OSsLj@bU` HUL;wJ[^8ܬ1Gxt 9SVGL<V &̇uk Mm90vE6D" I pqi_ 3`͉d:#B䝾kfPoR2 ֐55#e`{YF za{̫VyT9ez jhcKwc7(#Ĥ o͍faώ?m^[Z_Õ~ ;3q]!>xDwb*ϟOfUT~5:tvƨ*` bȔrφ|!iޞ8v˼bUwc](5혤2Gi@9uRh! G<@+߲3eJXg|U].ASdN|X%CvOVCdٞy >. hsC `%ԍ癏0~W`[8 R߾xz,'ɏ^qrp ӎP-#ʋǾQE&UȜ-$ яQ,3>$1l ::Fz(Ps|ƋT/VY["FΈmMԠPe)0)Z?sh,`ltH= Oh3XRz#*i A2]ӍCaUPJxgsX 6uĞ?s$|-3k꙾/73%9?$g' O\}e.qp8"@djeN1Jd,C]#}lW˩˘S?2 jsyU:gɭ 0E9uDnKe%6L˛_\S S \$&H sD41T`X|/l' 犍^aO ?_l#Q^4_c=V}f_hF/ߞ޵qNr%vпe(d&T)E}xNuAG|Wbjc+7z3nl)ñz Kb*30O;-,*8zVbjc-mI{(!* m;)Κ}!jF),sryث,qdž*,w ӰGn=9a@v^^;)x$eER-A _هKP1 Ť֬e|LADWKUt%V?&07p:FW $\{&g<ÜI&5qb|cd%&LeFh=7_ͣ-JV'lԒBѺשHE,vW1 ۢc`k1nAiEz\r13(3x|>ƈj'rKP>TÑ?ehNEܫc ɦM31 zL ?톪+N5H`uN"ϓpFAj xb;A<ޢV$D5 [*!XSخpD_}HMCBCC-y;  !SdP.ϫ 85ccx>PR(@1 HԤEbAeAm]֋*ײT-oeBLC3Lâj~>IDȗ&O~7-AP9ʵ`W߽8k !HZ}=x6S^]ұ"*QIFܼwWml%NSϐˏ0f"gh5n&yQ+Ut{qPnV\F:t!G\LAҍʛ//.N(L5#l4vVmq!=e.򴁺*O;7ɂD2\0?  9<ۼz"{ʥgR&P { t4qXf~?dg7;7syl'ܬMU* фK+z?OT_yXz췫W/js@˴k`@ήMU4ƺdUx\5e8% d~;=")vN@vVztyTjsnӅ忌6?yL⍃3 -C`qDuliɗnhiػg >/dAh|lA7qS+`\,\Tp6Xe_=vz,߮#AsM6A7MNp>nMg**v"!r=_Z`VD  kXuUH7*ƞd$(Ww$eU;`Sg|9h0r?05g;h@Bst%~>D`Թch[= } DnTj`Y 0b WZAy7gS R  m❆H5X5{]i#&IRAp,/6YfqK~Z9 EHHwd(Egɨ5T%O8p=qAiŻ')Op