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 >9~/7[xC ;.uV P@s ;T6BP-U}/ 5r [S':_=t$2#heA78EF cra.Cby:P"b*å 7s+$NOapm'H/&x:1ԣ mcw]LKz >O겦Əp Fn.Ҁ|z-#!+A.~4eIr@qf*eՖ:Λ逬>سսfLzw)Eܪzî\[Z^`V8AtJP2}[B*([]mF$?V2Y/WeaW+2v)+$se̲ wf_.Pq (Al~t P$wwF4[Ex!)/9)Id^RȾy.-Tj":L\e8fNNH";A(՟Qz3PY([55+r7։.H/9ud0ѱ;myV0{iۜeM4[cFhQS!ȣjVƴ%ȥ)c_bV&OU@0| 8V|Pf LH@U1:&mrs;~lNő=Cƒm+|)+GZ\w W" Onֵ :WA{e5WabX]KiQHiqW BUՆogCCF9h}#F i&ƱgYZ7zXZִF!  ]ŗXiɟ1)*u%9r8j{\5(͉=Do\KyĹܖj%WP-k D 6D9fHWŀzBL"> 2q1 DBEYlȕ?*?e+iB b?cjZ]s0V2P~󛺏 9D.qs4ihAS[Hl"}HuiEޱwPv%PAO&i5px^).88Qowx1ѓ>vr*Xz-n_FRL.sqAlvUI6+~/ѧT:Jqb| &a&EF6U ]DX@`CЉ]+ic01m?YdV׼JMR/h[#/UpZ$uo}3nCH$7jc}$!,ﶵ2y`AH0Uh)/v]s9́Ya,ȘI V|q2hoƷDmUJ_ @oB.<L wAˤXQCo/1{FvCZ&f+5rNPFOEV4pfi;n5gT,lz`m~-܉t@:G"nɅV4jG\ͭgTb:_;=P:6b }{|%/ RjKU@jn*o9\et3pNs|ѧB OAg_D*֨ l1EտrZѺFRJ3E:6qwB/*+(V1FLu%@2FX{}%L[#ݒ шnx[| =Cbɠ$̓2d< 9zri^هdG@u ,uv)3D,͎MOymr2sX=G>Wa=+UD~/HNS*ťIzئ%%yi&q@;ı  SòY?,67ʊ$đwpP,{ L8Y˝P LгYQ 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Śj݅5&|iU076[9Ak$4ܵ|]x)Fd U_MS"U.7%,bs94򆕚bn/Sl ~>,%sǖĝ'Y|  *LHm#rߖ7},J@V}d>ѵ7l/E&qUW[x~&RQ|2Nao0ҏ,PBO$VäeN~HWʺtm0Csk&ӭר* XY•+C]m{ݣߘI<">Җ4d'5\;}EU2$ꩥ27`>;hE0ek{b mZ#ɸN|"vy!hs`>7 d\frj4w Rb75YF"K*Dk=#v֏G#N*m ^" ޣa'q0)V4]=F$.srq09cHr9.,4нg;y.lxҴ-4j kM}BDA3,NCn<-[tס@"WrBDy3GݨsZ Ѷ&ejYvXKwvQ ļ|k>MR0回܁h! xc*?%=t6izp!wYbN&o#QEqxo2>5IUtE,q=ę؅>z?ǿ+QfJĀ!w\Ez=K÷-0"h iY{7h8ֿI> ~1t5/mMG8UX&\_.1)݉]|Ϯ^ /=3 RE18d (١ @0g9?q!xqMz <&V7_`9xهzT?`09wUx\T <;`*^̅JQȤghhoƘ;cQ8f ^uI`I":geNTP9A0@Fc}t\#ARE 1t (eM\:$$@F9gO-tf^mԼjgDnwq^<\#FiĪQ CG;.{rBHc3ـ# /5/¤vH>f?s>\wUA+)$BCӫn"N~Euӕ YX5gcuӌE51Or%Vғљ@ ??@lkh;p&`Yx_e]h; ԗ8*@gE4I$[[$><^ arډ&9=|">dJ %$do6O-R~iEAZ^[\D~hq;f3}"Ʈ"іR 6fky$#{7f&-7X`/}1aVv ivB#6ctR:6jG }blH)SF+T@ : $E/҂04Zu^c;t=Zs@ -pTØO-!p6PtނPW,ϽȤJjuE}>vL,~S5"pfOEėQf*(0]b۪qn~.aL͍. 0(htu:g;pT@B~ybK_n\!@Ƒ/\j%劄#"dӍhfno^soqÝ%zo=hpҲ@@ɶT@z8"at߲D,ϐM+饂PuVY zI=ԳtKĀea҇΀ ¢ qi{35g'e5З{WKM~ =%AgiάvԐ!To;O CN28A_Yք%Hh,Z gwxʯJ3qvxZoWEU5=(#&eO"s`Kb!"^cŢ;:&Mp5h#Xqv4lC<%Qexl#s"]l4e;qZ3#,vUtz2#<~-ʪ )hjjȟQG=2q#2NcxG*喪 w^@^W ^w\=LՈHwjV!h@R 9ZR6]9龇i&L,Dԋ'BcD>[!եWC-}ϱUbP/~X}T>&hˌ qe"͚ɻM 8#rDi+?PW`=c1Y~pZ/| X.4I[PNϧH䤒yΙ| +Sϴţ_.9֎/;ݓXG(MW5?,"<^KԌ0!hf.ۣZէ;t/[Z . xY}xet 67Qo!VKT,JZE*ۋKn57Rx:}8Gdxc\NSדUJzU@ItDUR.8'! ڽ@++ Մ @c!~+c΃E3((״b&9*|R jS.ڽ8eAś[tǣVg9&xY7]@ .oF?)=g8Q qMYGzB^+ciUoG/zǝ'A4/Vyp {+LaBZ!FmLo/TΛ œ! {iۣVd̘}!i)i] ~=ECy:i Ɔ$ΰv'ad?mJKq,2+waQ}@DX*g#Z&wTfC7tR0;ܖ1*@,T_K;YG@Pw0(v79y?臧GN#>G U@$4 T&F00G+DSd;\D~#jD~mܷTMzR(ݠo2P\q%|ҡyϦ:rRK7lNf@Yſ'8hkI8V)DHu(gYzWárLo˞9#(\x GTur qIx\baJUxo@9(cGWPJǮUtw l*g4غW_=G!Z4Uj.rV:h|F>Ya X4Y#FHv(P[a ?jy[lᕹZΑYD,Jx\_kȍ"4a~"b/StiQչb|A?@ܘsM\3$Q-W ==&7!4P hJ!&xZ1 &ۉT1+־̽JK1y=HeQY c>OIJȆOW@N4Y_v&~q MX&#x D>cUC4=YVϷ̬%-yKk30cۿJF\t؜Qh@0l6(BBsڬ(q,|1zoJھ..!=<9z:6Ѩ5%,cR=jPhEQ mh1emn8erT @ʀ@R{w)ߣ{{Sq>}3}ͧi\%7Qs=Kd(,r&}+*0~SrWmF~ԎB.μ>^Z#cu"@+؟< C0 sS,}C>Ŭrd涠'7?>8*aWR] M,OH %2Э6/[4D$3eh=mz1X珇-fs9㜖qwɿe*ܕ]o+7ǔQ{/$ޑp\tM;8b))R3JxsɡS%Aχ_j`uIT%>:g"u+QY dPk4HVVv2B@'߂Y5;Hc;ӛ@z{-fE|.)-@"-x-=ĵ\  ^H^s=NS: K`޸E[}BzQB0k,oك⽦c3}&T8' E1< ed]/^ UWcQaD#cDzP=)^ں_FJR6N)T]B~uV2NHHl24y6ҡbTKӡ7 %3vuD*'J{POFזH鉡̜W*K esLe'OwoaHTb#>I9!d~=u~ڶ7Q ү%,B#Y>v#IYܳ'\*>"`=U/((a2ё#,h?LHy[/ؠJ%׉ZF$F!vc\]8{g}% ^w*ͨʬQ5 A|jug+:Edb*]& &l1g/c+4޽j-R.=űNz/5/K-:WMpI@I>aVssn9u9Kџ0Fi@8Upf?aW\YC(إO1 {Y+ y$%2IW̋b~mBm;h}}}>^d6i  0"കIQwp%8}md^uXf+}Y_ۅCݔҊl>Z#8-pj- uJW%PPm] <3㒬%۹ u%hnIW0W5ïX(WBN;:Y+M:P +?3띓Br !G̛ 2TϴUڌ_X㿕>l?-TQ7VAo`>VP^'$]W#7N\1@ BþHM y X#Ym3>VWmP^u *e<c?el޿[НJJK+zSsu,߬ c2wӧks[YnUL`|yf!}U3e8s@xCC/h K:nLT Eo-?^GLx8NU4w|SNE. 㟔1#V@*k)c2sJaֻ:Q$.?;b}q!pܾRٟ4IgT݈-ӨwS FbezԀ17cJs F%M?R@TclE&LKN z\|$[,qJ:a|muH8<`KnR9ޜzfx}jrtkzjGR'n溚@l+e8k3cF@iЭ;*qSǤ;yzu z]BjkY,nOR0z=p6uQg @ k?T.EjS"tnTݺ"D Ef " /ZF!6dTYWHb7`%]5#*gB E^ųAây 07ŠZrk*4ŎN%+v\![Xa1en>qK.q_hlņ܊d"z⣼W;bU4(eGp*80d11fI4LJ6fWdx%K}{H$nOEjlͥ/R&A]8܎VoڞV9VKn_ao.tavp@Y*& "g_P6 Xbی )rP3G` o-,斑Nrr(F&8%F} ^ 9.2Rwq ±/.eeq2*Zaq ߞiK јel#8hr],ktPDVgDcldn0)UgآP1)EUL0P6>dOA{_mP7<5Pv;G=kzBA!sMW,D3c^s~1diQl4A&.bNm­07J:P䐝f6Bը߫`Z(e_rGF;Xd_*z9:~6Fr˨0~N/'&d\ݹs6]B12t}rE,|s U zӯCDA _6%evi-Ng6"Bmj)fonZu*xxdK:z&{ͪ^ytkDR򞟽5{7h׵W3\k cYY ` 7ݬ 4z }*ьkd ޷_n8!;N|ʧ, /Ӻy!=uXC(q;& FąhucrU7) qԕ*teaPQ$1"oM{/V~;:=7^EVl*XPWgbt:FeYv[Q?zwɼ/Z 16luS /πjGS!/uA1MXm8HLC)"l F~ ׵x_B\[ug*kc^}@3/m3Iȝ>$V=&D\{>]͏-&9~J{c~5–!,Kz8J҆ZV`q6S'?=  ur ~F :5kQUIV!q95$a =z2[{\eIisثwsIJE{zc@%DurK2XdF+y0t $ZD^CrO;̮ʹ|%Pҏq>9)ʜ^wjE Udqw~aHw*i{=2`.T| B2 H⨦VLuPҜ%f{!% -i=cδywpmsYFC'/}yxrNuĞÅ T_ T$+'wXfUPdϲ`0sPy̯ bȷ;$1>o~<tem\OdSN>;?2[j[(:4ȣW߆N~/ed[ta婎^{ic\Z^# & 3Q+-`%Ƈ*dꌹ_EmX|ȦPM/kP(+VAиЭ%K;-[d[/OedhrsZު [4"9-J33Bl/սT455uL3?% @4d1moT{n\:( S_[ssSDĔ<&Z `57k~!g Suy>OPb}nAÈD@sd3芐1t/Vy To ?NzsR2%K]+4 f41G曆Pu 7 ^QkQ! G nJ)d} -IW\fc5'K,u/o7y\gK1 R%-9KH)T:#$ 7&QmZN$S{ |C"0yX|L@NLApYi}2- G)+ZZ;SlRXwSϵ)xn,H?zOc8זe!t.R3Gaُ8J7n4P fs#LH*X^(ȿAPK 9yY;ɭ- 7rH9i+˘r)' ֔??xg%\М7;) E‡-d E]JJc1 -#Jix;+:Ր9zФJ-U.mm@kUOF{ו)eLE[kUxѕGtꜢ.Q긬KD-E|uHVN>?N[C8Y#[fhEJe:5==̱骓wݕUmmjڗe+N1\J7[]=1VBma[HCfOZK3B 9 it/TƘEvGLC\NBm~eC~.w-Z/f +[7jg "}V䁙pm$^vc;H?J^Ǖ+P&ˋr6V~"Iau$)Aʼn9Ԇ^"-7] ʬ7( V6lujxe$Mv>oVGqGu( 6sɄIeFHU?WX>}t_ R9?Gn%ɿrmt[0 5\`{dIĈŰ7D׆Y( [mANZFgE|JsƝ>ݖoHk_`k*V0sHǿKSZUQF9/i).Y 3~z_I"RG:"D3/}_ۃ[)/ȉwl7I5cs}E.v0!D yix tF.KFkwCqWK 73ǷIR /Dh\cyȠ%7j-T GU?"Qjt0DOޟh4`.݆TuI|V,^~8*!{`P0XDCX=L>%RL߭V=--YWQ_"@ gvm y,XPvbFP,6:"R sRɃ{E@~ R f")}|u C/ +QM8IBcYW93Aj+1xn\Lr'h) fd&CF3QX%肀pŗFL!$nݕ8vLg՞8bt?uv;S!>MtԶ`yT%LbT,qƑ኉o(b s &Kt9-`;c =Lv;M+`%]o%2L6AHZ\X2leֺT?!:ߌ8`c$ـSa3 Ş%<.-"D#d0<H$]sP[d -}oKPMm@;^=l-dT8KI,|/ӌ>g/ua  |Sʞܹi!o#~Kpdϔ&/@iEU[ߤl:LRTX2R 5J}buj n;ti=UӨ|LYbxKl/Y\F0V獫%(Yeoy!ePp?>1u 0yF!ݖ'윦}޽33+U(BwfD#cO4vحPtہAݗ䶂!NߗhXɴ>+郿tQ6l?]|sE_=.bs]=L\Ӗ0_ _ODGws{oHœgV]Y@8 ZEMthH:4;P>/aѢ>VQUP^)wv[S֣ڕJr DK^>i<; jrl^Uqfj)ro'cie6]LA.:Qw"TjU&׿ۆ}彊GNe~V܀)S^P^]_ֆU4&]U0;땿d坦TM9Q.m⨪_YEYwy[cbWTbIHvP0n9ߴ.0|q{#[Q$rǪʼ[҈TWP~? (%:qo=&XrWHc6:3f> dY>SGy7"nRtC;6 K'zC}\uU<$g쑸/.}ǫ5.o/%Z&r3Ӊ/BLCĆGW~8N]`$R=KA%I4G3!/..⩨c~~;pm.T[&0~JuB*VqX u6dBBwϩ_OV)d1,^oEܦuGJ,Db2 < MaW2c\.vNwb`:9LZ9ya_i<(FֶӫWhaORP"0C:g=oFB H7! b̽. F w^!ZxٟH=yMlq\64qXUdUr iH}YkBr8J Q )[$Lw6F5uw<-Bl1*` CwۋE܁cS 5-CKtr#xoߙj - ǻrN +2حa/:d夾-uB/ %jѰE-ͧ;O|98; dxu]DAx%6FFR7+(|TBkU*IUaQ[D,p^FfU =k1^YSϩt<@0AM|VlEܾt=.bVF~O܈vܭ UgǖӾTXQN%% e= p"CS7BaPQdAn#(Ǭvzaߣ̋?P?_M_9/GAqW/Tī!eCu0λ._ #S9Jjʖ1Gn"1M=ed"doEF,V4c);Gꪖs[9Tdb'sc bhsHTd ]In(u6FF;wx>|J$MU&-lC@ w5onW;W9OhnBCT#fݟo탧XTH\A+Lg10S${kO/8s枀h_:ܐ eBbdlq bع8 YЫu;GU7YM1!fG7])Fj^}"̓k?v 8dctF#X`c+җ*ĭhtfhZ JkyѻrlQ=,sDV sNPo9حs%<,h& *=="_7yt٭Mf0G>\ Ia8rP]KX9Ԅ<>D7EK*H?a-b?Y -2E+vΓ['20_T(C'MhHr<݈nOGZ87ޟ[e\߬E;˭ OiǩvDšֿ/eTZ6hC\7i'Gra][ 4 NxIhMB@~920V `ڝ9|2d)Qʏt pa*Fw+%*HtMEp]JO>um..ş'<~P Q9 Ɩy,_> F%M􅝯0WT@XeH+ҩ7ZHq+jb" <҂RTP :4S<"DÏZ :k8 =jsSQ Ur|QpS8YHUh nBW74oW GZ:k&~`WH0P1/pm?e;.?l7O3k^%ʒ>4E IRg2~jq9qTe&am8[Bm(|%R*Ȕ,,;x?#)ʷ&./Trtg=A FlScN#5&Dh @j4,?6'Zsmd?7^c(.&IA. slu"/uc½F44XߏfFq(zG#4y R[9ѐ9kH4Զtf9'rPVtYUn:)y5Oq T G0YBn,fKjWJ Vg)z"`깃oj-,3D&]/x^zP7~v6}~˽1U>Ne7s6Xo*:dX dp(!T*W04Sp$ =⚌#HXRr2U龲e —D Xf[!d_oV&קb1Fg:Ka.\T>>N G[&Y.bF a,iXv".]1]L]ab`PIt,e "+f}zy܎arҼTGEzcI+j;Zs)OCicyܧOAP磵Ǘ%h`260ߤ$RpEd͞=Au~0왐T@WN=JJ.Ԋg,tn BwZ7r 5\4me$w¨)Lh,te<fFHA!ZIf9"ZCQLvܵYix=kBU5WkdoS|x5'QQU$7bKmA.BiOEhXSLo6lu&*n;l>26"ke#4g; -V s9<+!8i9yiȶ )ɏbGG8'SkR8.2::f797f1AmVɪ\fDcL4ԜMw\O)5;}Ī&$s]e(F&.aOp+bh; ˺:Ph5!>i""66:W/<] t܋9dMh ޶}ګ?]d),Lś&~ :̓W[vNk $~=X`ty\>WckbOW?C|hb`ۦDĸM*9 U(aA+;gBAuuIۜe<-f1bV!Fil\#4T}%фVR*IC?e;/cތ.?3$xHIv>n|8)I:^;NާAtktSz+ЕbQ,mp߁݊g2vڽ_ٽ맘vUnz4v4SPIo=&$A0"KͬQ"vzDtp] a1N@2Q܍*; $Ock3'>T5;]bV(`s?|u$T1?8[A_&ހdi8SGZMK4! /.I$֓e ;28|k np(MՍ`_4L9]FBEדf|\7 @Yǃ]o;*5ԀP/3*乃&Dtph*ũ-?i'-d=r";[a3(QQrue >[ C""JneHˍ˿ f; /K2nv<99L3| |hvT#tyP͏\$Л5vaSy Egq̉$/s(=4AՄml/;0_\v{h+P9Q/I+dOt@bc8}sdc+>i& % MKn FR~TK[O-GTujMQl QHgi8d`J>!ƦV߈hP9|ZX6j}PZ0lź+Q\Y$ q5IZqf`@WwۑakiPB_kV돍g֦i&h f b~lDrز3@iQ=a%t goB¨0)laG8:uY[W@$%IB`QY*kqzBhp[sL=V-B@n( M 7fYd uR멢 )Y2[A;'+hãgPbxbu' @/]}|g/TS*+pH0 q#ɉ9\5HgnPmTOʹ%Svn :stFf^b=,zi|x.Sj%J:ӿRV#7odZFm'iH6 ߑMLt56^NJwj/mμW(lBM,#?s7N"Um%T}X-—V81*Mβp2K䟨ߎg]~pzSl C7Wa,1X5bXw"HNG 4BDdEIƴ͗dR[ڠ}{u 8i4CYjteq=w *-&ɍFQ)DØ6F{uOFhð'SMŚdxp{lY.Ұ/Ҥ4d>h ~{2Py65s<^gŻ_{:9 f8I*Ot@&P9wRU@ؙ֪O9B^v8%kct:/ wCM/:pXTQ]d +Flh+#|;,"Hlܾ{󏚹QzB౹Pܖ71J9^_G}SZb0CĹu'6fc_R8U^'\P)Ak&*+mDw)دԒBH ; '#ݥD r> ."hGtr ;q57!@?`%;Laz2Z2JCukVyULೝd*4L7mXFKбMҺ!xSynV|:2MG0^jN3(ȟ=Sv^m_۹p4a\ڸ_7vgù2=mdF9:tesbɾMʰz˗'%ºRJ$7"ǥV^Q av}-iK3rG)U|37%J:/M?kǗܧsA|],05O W5G3XZc>.-l=Q&D.6n"u3D>0oi$_F͝TewV~ECCbvB3 JɉۢWr@a <)Tmo9.v:+(c|WcP IiI蓁eBwY3^lIr?h=aڼ{cQCNwX\ԪHnp%2c95iC2oi .T7~^7PX>7 pVY6}3Ro 7-RzO&+JC4mлv$Ub7is\Ӆ"kAsDy$Hx+ yad/\$u|86-1k9^DLG|<`pR.2AN^’i^ aF!BPLN]Ʌ9B4w'`P1$ l1]wAnI))*BRΣ} h=;:j:Yv㵒j}ښϥ%+4fչQkMK闓M|Sul{ aS 2 E6 {/Yŭ?>D ~'Ù37117_-s1V̨=5ZHT[ēs,v~:ʼ(ǼYEꟛ}pעF& sHa5QU;ĵ㥶ʄ턆'#uc!V뀢j?5΀ZkEcT$fSb]ɼxewj`.Gdw\DFucV%F|3^YS~܄,ϱx̉20)*#úX,HBVVdH"5&o>X^_  #gME6I5MYí5TCXP"NBRj~`G=*gfܰyUW<X{Kl:tOQ w`}fd9 s*J;Rs^}?lp77E]]mt-EbGmӰJO:ZJ0ްEفi".אk,Rզw;iE&5 φZ4Ѡ0Eq|" CZUhc7&7pYʭPnJYO}Yj,4~^kBQd: LmεO+諭9RY.:տ&{!n6okxHaJlY,U 2A~47?{¼ۊyNM)R F̀?w lPD+p仉/ !&",d!$ךV౮B/ B݇ȉ(^aNrHvq,==yXBPN*uMU;hg %bc>p+Gi1/a8>cmPl2U{/Ak_@ $7ԇ'Kbe|.;r)*wAbJ%S{ 'beJMs!ŮGjrKGW't逞iF#nJgZ#qFI?L8> 7R~HT%ybF(':ʫN)&q+AyvN ,fmnڨDr>T? eVpŒ~LSVFXt;~ J)owQ WhEMi>v1nDʍM>=v^ǃ 3~X2 E%L5EQ(/? 1e9d`hl 0+nGSڗ۶[Mŕu'GJ/Y vLivr3_H 9 "ACw쭈j95,ny$F(ItٽV Hiax9)%}9FO/3!_f(OzC۩knFt8}SHLɀԶo2zfF-DB{7Ŷ7eB/xlECBݩI\)= ;:0%?5Ab$l| q\ OBd~5lH|{j/Oyܭ"*U%{'K9, #h\TiRqp.=3X.;sD-&UM=NIʫB W8ⲟcq-"z2kr)JB֫>y@j"Ojx}$2 p0V7?工fzr8Ahq uDꌓRkƍesĆү<ʡb5J#D ŸrGsn4q3O^ T&աVgh4J3G*ȲUe'Fd9c _,Kmߢ$ͫ*%8O}m -eP@+H7.e|1b+J& 1ɡeg+犎5>#?@zd ͣ^̎IdɔѶ,FɷƠnKX'A<fbr۴C}TQWL@܃G3/Q%;HO =1Uw"NƤ+T@_&1!uZ&~HJP؄ 7㈔^~Ā;mlaO9h9dI45:* n0ӧW TEFV\Ν'R.M$y')j|NbXKp=Q1BR@x ‡/F$?0 o; $[;O}GqpB9*+%ŌנꖉBJ/&-`_ D{<]a8$aVEI2ARGYKaXC˨:m.\fxq0-텒x5̝g)yrafX|"n{$a>/)A@ym,7&?)~\d ?wq;ٹ̰ 70gjv7okuSmc|A'-Q/&_B}bBK1(odp?ǚ7$9)H .d/(yuºQN.H19-bYHe" QSMкfoh?Yz4~IF 7;5:#d @ kкK:J>n|}HY%~L 4@_MnUi/;WdD]^ۛ11@,!K۟/@hS|2X._ i"Oz!si2K5ZG!!] %їZ|EhBp2xZa2(ٍH&M 5E!bƧ/ə5dVr~y45i݈un2]b~9q;5)ǵ`22/K`d)&*5BؑN@)ذ:|G-M+v% npV較^18B_Kq !䫀0OUM1R$*Ծِ9o8,\纔`p1VNcOkW1C ,Mt ?_GC3\_63P6~ v2dJH/mD/`#\4j:]f9YG"MS!FSڸ| +9>y!>'xK^Z4T⌼4[9i/M,=&.> g11{gܼ~#+fs郵"!sܬFBW8*C8d4^Jٞ?^FV[,@Rl5JNI:uanFr&czxAyDӌRVuT8(\3\M×=²!tG I&~%;?b`׹_C9/tu_KVFQ aыŇJz[D*`~MNI߅.mq7Yʌb/V& *1;SRԆGc!OLg?3<j2xm3@᧥Rg &Orx"{ͮfF+ DDtnj])xkGwԀ}|Gpr{:\Q|⍇cg۔Ҋa^_0~=@agGy3+L!/!l0g._1>-أs?91(?Zu+vɡ{02;l9K~U@asKpYY3RB$kzNItBJeWM9+HqyZSOjorKG.phYe,Cq9gfbmGW8=-3 !5\N6U򑃳iTnM]Se[T;¡S`!y'#yΖ?it_N%I7@ad4H.5le=ɨ9 G׈D D r<95 f7G6N% /u>W*̧ɁyȻ$3M6I%H9 Foةc?g&w]gni&Px!k]M jܝ;k44^lR#~5  "kaK7VV<]J?{^d=YfTia/W C4dց2l )y_jؗ ԛ7:k5l߸C@QuuWy} WobWɆ,.2RgULf+ #?G62׶Q3\EaxVfl_(uUcqo]z]>%魫eb֌k( $u7շ  NMc{$\ :&j(X;I+WM[uLѺt.AtIU]>#i-ueppe)?"9"tgCQP7SYo 3מ*`OGEQgkqiw;s"Wjoqxv;dfj˩,؜+mB/^@#%bv7њ +pEM9+ -pMA<N31_ x^A]Z[QM OtkoSf HM/ĵR=X*Q(xs.)~'nGPuhSxϞhF#f8;w) ]!9j ,#tOy.ɞkcPF}T.M$c·Z:JvhoC{v>PH?cC8`jY:{ S(B z Ô>0R!vB(,_q:u$kb%|짪 6h*uF&})D-h%}^ or\p7렛! aC@4hf0g&XiҞ:jo aCqă<'lORHP_pz DϬ݌o2bԀw4n}rQs9.ߐ8h=8F{BMt{cgrbHr=a"El/vn".=9! l֡-Kk$hY -bE2F_gAHM{QoRfS4TarpN޺6'xuIz1_X x Gǒ+(@CJ"F!kƒ֮\/>:"@H ėlU(|c&k惥qwl!^rEI+љ/D)v87y91-xuzYjKπ:)jQ؄/#O% EVöď99l=PL*1_\ sP9u|?OVXc We zt,Lbd9(B뚂`%":P!'Y`=sML $W])cm> 8o'm0<혩jy2uk65?Ȫs\1Яv{K)&-D$5?/H%bgYZ5e6cec7fbc8142af871e80d2dbdeed92346bed6cd68c97a199327570bbbc88bf3960f7f8ddebeaef 6559143f0d47d16e6a6701e66f7790a037da1ed0 58b1d73f55934cc15c4b14db928ecdbce9963615