SQLite format 3@ .S`  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 x5z$4 ]/ HOL-Record_Benchmark:threads=6elapsed=136.892cpu=214.088gc=18.9317zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k&;wA>';1'/9VQ:*/Qkǎ{e8'ԥ|9mu翱gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.zELʿuAlnΨٟdJw@ڋdnOl_}YZ7zXZִF! ]ŗXi%z_dGv 5 HOL-Record_BenchmarkC5W) tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latex7zXZִF! G]A-MՋhvG"uIBm5"LO*5fF(^e[=6~NE;,,țV6t 8E)\~z03xikci+p/mb7WuAe_+D8*=SF 5 bƛ}ʠqi;wa#A1ɚ1#qCUT2TtD/qEq֤.2wR0`M绍I7 I`<ͽ^yW s^Hct@G9Pퟸ#65ExabmK#eI&Ŭg!nr)6dH+D͐G})6LE"q+sCYɞqR \6]@fpn*Ků# R\7L\c5p!1b"'>]6>EEaMcK_b"BMZ&d#ZHPهoN/2*'讙nSvoEPVn#0*7D%H?ҘJo57KU-T~xCF@t#x 2wR+G~)[Vb0 ,B (Z2ݶP8#Uuք Ļ{exFkkm}mf$ҲՓbVj:~Q߽5${O~h1 Gu+1+;"z? F7TxI^X^ME ;"T ٺ"owL@lWM m5Qcm :7`zY>`BG5Jxr .f]94kxƣuȃHI\J׼a`P%|/\\A?ʋH!rYjw&@ M5ߗN2I"okxknwFe<_1|Th [aʦ}oO_ >AFtWU3nR!D ;0"n~&A2zl0+PKSt Aw},/K4q1dON \5BnXzS(LWV8qؘվHx1H b2$'GNIХ<?zaQvlXh̃~HMEښ@Cqezc/u ޳ Z^?HlgGۓԞbH-WȪMFR Q՛ سPY FFYbgoePZ3/aD-8+G) NZ;܋\W"2MU|H\l!3rN2NGSxߴZy9ӝxZvr,zن%s/-Htťuc6P>Of9b0=V_ܱK|Iĥ4HBn>>tgOJ~*SbVv}s.Pqf7goU_ 7?GٚF.uLZ0Bq^H?bE mU~BnKXȺb~?! lY|Ky@6GY0|~T+#h3U!8^k(``u)^X VZk:8Dɘp )"{(b1M<`0]w ؞z!l,I%teP}~\9@㐈oy{!miE7:6)6\s5˼0L?GZ_u5ȈЦAtZ8K/7Jgg+n14li~Gf4,βFCcD'[9*d-r-/<ƌׇyGI^2I:;wrP.WRgA Um6g{|K^ ͟*8 -?o\jaKb3[/`3맞@0w3ZWSp\pa_Ifߡ,"eQC!a̼Q!KTBg.)`"+Q j 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! }]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCrqT1R;Æd[ /DPJVbϑbճE@Zim$CI.[ !Õ>_>s,¥)׉YO_ן:}\RL׫İ%b 4j?:rw$@h >.',%7FSKW&8'J{q]50Хz^@M""6yx*=|@k@pF=eY4mNG4ܿqnS+rpiK9nὐ*gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchma    _ A _ 4gL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages J5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup I5W!HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files O5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id P5W/HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/factQ5W1HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsJ5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thmsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axiomsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/constsM5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latexK5W%HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/typesL5W) HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parents  U١Ԓ<6C75u$do,;II5>/fVl|toH>Rb F㜰-Qj|{𻯜yM:Ej?2yGbHi}4M'R3Q?Cd=lafGP'3օ/nֈ5[!lɧY&Adl64އ4w TO0,~+Ċi8!PkzZ$HXv\FѿETl&bggA\bfH,gjO:&Ѿ* ?Lo1񱁡[3"߿)Ӎ9L J[M r,nݨ_c/xFTfs8lF՜'ꓓd1T)L'Kh(tX XV5(]ܓD9vF nReki1"t0x4:}&̇UI,DmP)쇥5{1 0iXKCg++mFy'3-݀4)fcS!̒e<$f ˔UB7N>zzǀW݁ {PB7>[eoͶAb:Er [ڊ~u[7"Z10>ٟFͥmM|¬.ٖi&h \;؛_Қ&ҏ}o(v%2C)?=Oմy .N+s(:Ո)t4&XLujWX=[Ea,$FT1? @46P8U`B WP%5دPjWxs1aQyf錔 ' j\4|ƝXʨ"8Hߝ v<:ilw`\]z8dPcs6p4`bdY0v!'*Ow==CmX8@7jJt~O@Aȕ:`j޸pӇv6-g8x7m24f=]![D^iuv5;zJmXt=eIw*!u :]RL;/䳸BB+⸫bj-5hC_H>< Ǎ,wA3nd'T&gIL}HtߚĚS)Jdf/n|QNw3.~4#Y+L#s<\ U&zEKæpmwDeѱ8f4;屦 $b4-usug:+x8N`QV V̇gyX=&@azi5e#$dt ]yhL p۵{}c!,;}3@a◆o|eMM@XVd5 AShNn}!|H߷l~$U8P+Ay]pon;XP @ߒCѺH#8}Bf:G^;T&bGO~bye=E꽱$QF!&R[X`z8n'+D'u[ ףܞp|O->, p'ۚu@X̎5}s-cƧ5/D"X Wd{j|;Ii[g%rV zN$2*.zg̫4Iy(}UiWpW&"/LH6,kcoldkq{d9j|[ X l?:;gAvJGqR.3} /b8{Y$fDX l(qWӚhQ/u "ni=G) W{85~|DXJ}u7'c86BnRԓ {RxLddO2qCw.PZJTr3'ir `}wHzU;߆.aB`+M5/ӡ0䪟5:Y?{iiiK48"tP*a,!6 ~D<([TjSPU4gψ'`=tmY@=rMbwyV-;FEۯzxl pF7 JtDOcR ;I"%ߕv;.@nRY)04ת}쟭D[e 7Ċv)=˛xV۪xԨ1=HB5{w)Ӌ`*I|9qq,k*3<ϔkK^NTw\<"c/n~#-cKCV*d`>Oe)C?R(l:B@RΎd ^Fj ~!c)p0wVkWd'"fpqMnRzڭpc%6XuG;i!8(XbZAH.K@6waF_j3?e&M&تl0L4Vo EO48C`݇9m"werP3Iv-!L$ ~mmkIrpB G۝l* h!$z%[MK#M bl)гbI)]<]_{͆G-!X_"l9&MV2P 6npƥѭ{ %P*ʖ}kp[N*:|ɉkfcu$ 1 ^:B[bͳ3wcad=eefN+D'QS.P\UFP _yK+atkksl(I$-^\et q4G423;IፇQ]YX{vqE0=JjdJ6+qV X Oَ[~H>3f|:~ ȣ"˄$liqhZV70A v ̥Y-#P6 |xf&9r-L;˹QO!\k!hH>ƯӍV`]q1#w"?98bB~Ik.J3e2PEAL"KZX]6>EEaMcK_b"BMZ&d#ZHPهoN/2*'讙nSvoEPVn#0*7D%H?ҘJo57KU-T~xCF@t#x 2wR+G~)[Vb0 ,B (Z2ݶP8#Uuք Ļ{exFkkm}mf$ҲՓbVj:~Q߽5${O~h1 Gu+1+;"z? F7TxI^X^ME ;"T ٺ"owL@lWM m5Qcm :7`zY>`BG5Jxr .f]94kxƣuȃHI\J׼a`P%|/\\A?ʋH!rYjw&@ M5ߗN2I"okxknwFe<_1|Th [aʦ}oO_ >AFtWU3nR!D ;0"n~&A2zl0+PKSt Aw},/K4q1dON \5BnXzS(LWV8qؘվHx1H b2$'GNIХ<?zaQvlXh̃~HMEښ@Cqezc/u ޳ Z^?HlgGۓԞbH-WȪMFR Q՛ سPY FFYbgoePZ3/aD-8+G) NZ;܋\W"2MU|H\l!3rN2NGSxߴZy9ӝxZvr,zن%s/-Htťuc6P>Of9b0=V_ܱK|Iĥ4HBn>>tgOJ~*SbVv}s.Pqf7goU_ 7?GٚF.uLZ0Bq^H?bE mU~BnKXȺb~?! lY|Ky@6GY0|~T+#h3U!8^k(``u)^X VZk:8Dɘp )"{(b1M<`0]w ؞z!l,I%teP}~\9@㐈oy{!miE7:6)6\s5˼0L?GZ_u5ȈЦAtZ8K/7Jgg+n14li~Gf4,βFCcD'[9*d-r-/<ƌׇyGI^2I:;wrP.WRgA Um6g{|K^ ͟*8 -?o\jaKb3[/`3맞@0w3ZWSp\pa_Ifߡ,"eQC!a̼Q!KTBg.)`"+Q j 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! }]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCrqT1R;Æd[ /DPJVbϑbճE@Zim$CI.[ !Õ>_>s,¥)׉YO_ן:}\RL׫İ%b 4j?:rw$@h >.',%7FSKW&8'J{q]50Хz^@M""6yx*=|@k@pF=eY4mNG4ܿqnS+rpiK9nὐ*gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain *5W' DHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=_]g^NsO sϠ}(%WP`DkC*(˫e=<_y?*#IG/G ӯخ!R 0cwWSPm`k~1guƚ0鶪,HF)nI,9Kk#Ji-GhDE&,\:<[ےV(ka.|tW)_cE?&cMcBZ0ʹ-MvHb,L+.T!y 8iN\D='Z.8`يYnj+T5g%a !9"[^ŰBlzWmT/h&+tmk(NjmYSZ2R,W`x TnWAFp±~ˮUs!-"'ꌡz6-jl~s U[+֩"Ű!(rcApz RbENcw3|;xE΂dۄ?atd7j(Tl,U!wMqL^j6f&hėiQ{R}yǜp{f@wCinS;O".2!>Hz۶ $CP=8e:UBA:!*=J\*JOU`l1ab2i"GQCXj@K{յقB7U" $ |s1 ;7>kاÜi]\ۚht}`ZCah 4gj)`~wi1RiGg=v158o"yd~!"CIfr4)X*)!ڲ5A:C` &wTRݱ"|NVBӅet$C]K -M> N1TJ{-ע^|md 0I ߟ[VHVlh*}w%;8`e;]׶\hcEO}~ (+큗dsH'=\A¾US.*|nB1mW|3htGSūp.9`LécOƁd>MSd#w ]# DhLTC( #=[Gʯ̤CVD=PSb-PO} <g :p ǫ}mk$}69drOjP}˩^#2Ts d@!@Q:N=iـ>QaFS9wU;HӨWײtxlq;$R*78fZ]d\w c $,U &`O`B @j\R&qT4$>_#Ġ#s[d}Ck= kMH%J?OK1f_kk *uO=*; n$! LdmmJ A0OCV?)ku/4qa H(vVFwPHD 0 642V8bTasՠRN~tyxj\|4|CH98,NB]vsdyj^{ 5\R,з47}wSZ Ud:CVۜUkB=ѹ#$H; rKZ٬՞5ĸ"Zr|Q*UX`)2jp6r}|C_XLZ`2LZm£-\ՓiWih0(_+Q%!|Iȝ[88^7K۳ _'aGw=_)#z6"qwAۆp*"3CH2 YmHOcdspq'Xve_b45`+aǬqwvD:$ #3jWnDQ5'+S[^ɲqVZPu_]VsꕺQ~Mf<z$߉wIsgYZ`tlԟkFDO%^ejc]*/+:ѽU>3j"ys/Q&:S)^FIdifג,!nDF`y5+/Z~*CmJ)Ȧ͆8=i?J;_dcr?F;mvtF>7B4XIPh<L1'A9ɀ쇾(]K? řdEoM_˝JW=CN9|PhwgQ;ʞ Wd #k7?jjzP*0I~ލNr/`IIYW$wͧ 2nVިS6NVNq|3 2<o.;1ʮ&CM7v ,%}Y՗R:Jh6Ϙ}n#rt-Sna*վR5k x9|4}i8{ś<ble_  8D_MMF'HXl$h+<<;v ̗b̦҅ O}49Ֆ^;Uua ƒ.>Έ¼z_~wfR{9u+65qDLGbs$f5*. ]4؂&ڜtK6tWqDK2ҫI%`-ua ӊㄳAuհ IM*oO%=;31F:1mb"Nۢi%|h"' {@ݽmd7e\2*SFvO+3z:Iza+aFt GN[dJZA݌[nt\vQ;(MϟN$إˏ`dɚpҕ` VL0[?Q)Hߒ1pcOA1[)TYu~{j #XM9=ݍY4F8Ȼ>t)kk۬>\Di?10#hM.j*ɢȭ'F-eT-Lo6 9\~RVI! sml R8 v 'Nx=z: f,?n7ޣ O @ p4"&<42Ȧy GG2KgJa[fP<\0aYJ4)LpLGNLۍ7(VF?-~߶ˁ CP?QMa^.J6iNr=)]V6-Q=ԋf-uɟ {鈏dn7W%ߒbGQ &L輴sxxQ($KNBA"l "δŸJg=m 5ug ldRalpXgz~d( ؛*4ydAVAtEQnfEa#l|;Q\^B .fVtlM8=R1.}t$6Pc Ό kc+̈́XZ[W\L7Od(<_`S p,4ic#`zdA8˖*`lWQ\aSzU+/XA`J㺒 wQ>:S6(?XFqȟy <9\MJL(_fr2=C`+F7]$M>0ZamMgZ{Zji $ B Vܬy MJϹ^*^d?Q?I4b(9fڀpp޶h0'X^#Ԝ gM`C .ͯD–]&A w-EA)5A91 ׉gKUC):sp\=GE` K;PLEVA5ƙL4 pNX]2%UFJTRDIЀT0YjgEMM/_pV: 3@Phc3qȀ݅*݁T"|"vs)>s q2yܜb>t*ci.YHKL!\x0+ UqEܼF4%/$UlDGDxٗB!/ n*x,o<Usem?˸Ɩ٘x jEg/K s[ w(CR˱4B灥7 ZAxY[!C#6MZR~^PXG )͞y3 <#o`3Kn$IqH~ieܿZ[9N~ei;| 2%;" 5SB|a鍌(i͹Rjx>h^NfyHWҸt)\BGe9asZE^pr5`ff7Vr5I|37veM'f @L"$$x⫠%U%"G_|sp:䩄QN sv鹦<1 &»%-k@og A-rؔa3qӒ_sA='a{9`M@!g, ْ~Z;Lµ:Ś n v~kh*2(-\ qq1):UF܃8~n 1wG]TtTYWZ"B4m)k]$<)y4q'w2]t.՚ 6m<!(*AS4`c"q1f/d<ހ!C &ZFj\dVȡC5&nGRzi:ԑMm N'#@c̪"skx-2z2_P4*Oc:rB,7J[ EkRˉ}P, ڱCqD Y,vTZ7W?" ԸPu9FTӛ y.q,p˚VWZ@/6E 6 >~{۵'5؟È7<ڼdGRiNd c- [|ͰH_o_'"L\w;qNW U*0k̋QqD${W$Ψ&zjJ@` 89衵ujѲV͢R6.r.?ȵaM_Jc_PÊ1(.0;S EoR#Eoџ2WiLmB@h*q@ygCM=|h㪟#o*z54N$:K;?1WƦ 2&}tsIyh&`iX$,͐6SC; К{6Tj0pfOM_" 4Io4Es?K}] g6g<[rֽ!SI#rHeVO^Y_>ϣj"‹̩#r1ҟ]$2zY)fƙ#䥙I q-.!WgYZ oo  5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸL]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8+Er!aBh:7mB/BrvG0uTNF8pGбu$P,|lz^uxsqqɐcXn7Zt(}+ %׼ D;}`bŨfao7C 6\ք2güRV{ 0*=( j+61GS,pq1p_I1w?uV}o&s^qHݳu(QyxP] }j鈩'f+7=^:lNg-g)Vy_Bd oM-z)xcɲNU&<Ͳ[K%1]R39N v7ҁSt08tXsjA\,Þ륖j9*&Mqt{V8L:m{3-N$` 4 um8\*vPŦ wW 8|F!.{o@58ĤLbUpc~I+fAU1Ϻg4ǥ wWmųaes#j=u.F Y€1wIIkC_ l硪Mv/Uq Ǫ} A!N1+BrUc4Pqe'L&e|0_Q ƪ^[ɻ SE#Q(n74;/nv0VV{iZ6VJAҵG0z5 7%C_$,%AT~ S풏v^.vr3kF`]40@n ۡ/{|.C75,gR+B72 LYdEXAf>UOBy,Ni,0 RjHA{x-aZZAف1p{7#.े,8F4Nˠ5f ͥ3n҆=  :Ռ.}.W_@kX?,*)jNRLA5с|w3t[Fw&ݩT%WEɁt.$;O5I-/L/{QZRPs]啸?2_8U2oV06OTJܳYo"`JMfNj(1!bs٪fFhJihY$Vu1y%&vz6Yd,6+_=[YT1U$4$[OJ] _Ll-(33Jm8KORxʶ^8C'Y" [cBCHC`?by_ ~n:LarpiZ]^;{Flv%aXs5{ыi('w˝OΗ:vHr\QqqO&yX G{ <0f䧂ז&a ZyȣK8&#۷׹*ҤB;GBq;1C'3w5,PkcP'g`{@mWR}_`@!H1 6ocT{=3Z91)ۀXQ5#OewWP=fe*&w]m3x36. .ezI8E wԁ kZ\EsC̞I^QuR^_x/:/#kx~ХHy PACs >_!X*%i.诂uaf[2: wC}*yѯ^>B0$[ qkzGxs_ >Gus^#>#z5sz{& ìYjQqTw|"\'0?٣Xd B_ 8v֒6FA[ %6GkVPT[hmju%t7.Uq;ZOH5w0R#"; ã*pfGtIŋք;fU$i֖ k?0 !XS4ć8KŨ4Q^:֘^x:{ ][%<vUm J{z exQ.q @5G0~?AE.#!1%*쑊œ& OpDAi9i;q+OllȧS7 pQXD"KX%gv^|SТ6쑈h Ev4U"䛚 4n:=ւXhYS8lQ"ـnŽ1Lܝs)!;ھhd.vTuj2f*T^8Df k- /$i$Y2-Z"08LeFd Jx=9oYby|hVg>*3z[*m>8)|Rsl_}77M&LNJ^9[Nեun`kRj=ko).Qj*:{ɵaY`8b^Xoޚ آQnM!r0ҩhfj-^ݔEL5DKaT͍HIv175x@=OVbZ:+!xU~:u/:3CcasɆ(7 {go:WL& /1x7⑤6Pđdy)7QȰҔy'.ASN0aCΗb ) ,<="_[Pu4y ϡp1|m2ܞ FBI\,#P4V^zh|8_BM;kEK ꫪLc͂?ji5a[ɜIl餖}F>$#aРu bH/:5cl ]0#/Ǝ ވ]9į7Oij פ!|]ޟ̽>5?2ZF#>Ӌ]  ⏎1Mu10Hb t]&aD0ZҒT .lflm b5W' 4HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8+Ep;S!NKΣ$k3Xb0ߏ)u(=500%~` 8J$$47gA_RM m񍖠ŒN1w_yO_{Ϳ|ӻ9/༝sE9VH[񤝀׭+l8{ɸ#bqf\F|*tՈPӊ6+X+Ǵ}Q{`m4$Z2&h\l(Oݯ2:g| &\S:fz%5I(f 3y^l PS Vu jUvA0x}G.flT=vGJ(H72-Tg`?۾)Çꂸxb *9>}?qW#/︢$S#.'9?]\fv'ENo>&PWR5KCKXg˧:o KkNLS ,̧u܎e<\P2gmeMpq[q+wV!-L^L+lQ/QY&#g&?4l g̛0̄.x@HDKqj 2 A_o)Ty˛g*]EuH]()4 绱?Ci:HP&sVDb!쪔z˽:R߀\UJgă N,ϡcZȶwK0p<Ӓíe^c5#F:o痑i4HΖsjhz~ћيɟ&lBŊ0LT85WݣqQRb/%FC1avq5v-io|)gc>niڥ_c 6GU/ZqlOD2F b~SSgOcnQxWau/BE2! ĎoH* !;SuSEAu0ṋ)>`͆ɺSmv cQF1q_)-IDae|3&JGm)rf1$@x);!h[n3SWqSw/]$N7^%S  B1Ad0ӇW;z1ØNC% v[N֩Z1ed~9$sP&o{y#vͱfDD*n}OHѴ:/9a:c>[[Tκ"־$mCGItieʾ{y/I6v``a(p]nG{X1Ɉ(1q|,D%Ý]w1V.^^Mh> Bb;Z`3nX j?)z4 Z5uGp}fe!;\مZHF]{#" ~=Km~}zȃcl"ܓ߷ : N\2H,Hg xvZN4SmhN?5D*JEdu8k#D]=dR,G&<ovdѝ:G_^9DmVyC у)ؽ:v1(Z&*{ ,~:+T#Fi77 çy5*&0l%PĹ \VKu"xu&*c_de mq tF~"88lI&3ӦCiMP}ƕts9Jޞ"QڮPo&G+6BtGE*qA6Utži @/.C;8CPgoAnNK8~k>5%˙Ȓ%;yjzuFSU9nWu%~N*Gnu-?lfS#Ҩ0)$fh ۏXG?1-&:AZ)^R;[\ڠ%J6N8l:CYITp@~Jicstcaԓ9 :W.d@TوႈH[.- yeC*{㓑е{Yp6|w/p%R,!C* ZV`Dڛ4p*3Vg GCf:-XDD_7gq=Rz2`V蓉h濓9[Ĕg?)Lˁ(m5QsKbpM]HUˆJ9 G%҆-CЛGoVmSKT "CV dMFh^}J_v+ 3Zm!OHؤNڬHFIѻ\U fKWsAWH%h =1zW}7YN~+&,lرPA U:uBx٢ޟya#UdύD<*(`EFx|ךzULM3 zʟc@lqJ0B5HqIF!C>B1Rȣn7˧ֻ!*Lx8P'WȌ%MJCrorՖZ!P*9RJ+XH,co}M43,&čTD ?B0J@bjl4k'\{a٬⑸2a ] #[S9Τr`@RYX-?M!:fwmM$V{UUA[yqyn$ =,O;t %궔Vj@!ڤw{c}P>[ΤV"} I080Ȝ|\ _*8B uKGH{]E=w[gA>2P$:tɕ_=e3pM%ڧA$3.l yU8鍙K{n;-lYa "eKL#B7e*Nv65{YyG78q'JYzK1b-xK) 6%@ja(S=S*"ih#t疡y&@V1]O%K)ZVSxYPfc{I/쨂| 6ԖukgL=F By/&w~C+xIvx3GA]0uowHѦv{qce#(b1ÏA/zV<%9q*h=1}Qк5"w&>,x"XsJ}'~6EQwvckO4x['o?p랉_T(p&J5a!ǶaCuy!C"^0?o';P#.v9/N˒zcA $wP6pZOa`@?ATs mHY@8ZT켵'蜙}&c=<OU!v8vS`;Wh'v(5榖DV;s@`z8K]6(-7y> hz3aoONsdsbR>^(JN8rB';R~4lrYBh(>O@/' hsnMcxfxz0|8<}%*PAX^:bnWWV~9ɾG1/.T%\etqvwil9PIsum+ KeƖoϪ{ސ-I JLIbbgxpU7,1;2Fck=s5T('*+j +om!&;0Ơ߫>bK!SĒ\~ iH) .,&);OsD<r;RUgpmsgSQϩɜ:9,Few1)7.eC ɔa˒B6heC5a5$>3C~f #Ia5d()C+oK=e60Q]8 l 3J8OR]tːP顼FF{GuC;ZhvЏ*xZ8/"V@;rJ~j3B$7]$)U; ☣N@lRTS >ش|ibخD=u`Y1|IK7B/Dk'1 ZW@~\(o1r=F+<{Sr:]Bq瀤!GaX+\V c+{qN|{I^?@xA+y")RS?j N[3l\ q" w`ʺ !,TݶW1E߻'JzP>&(Y=dO޺A+úe)vʗ/z6 TuꛆcM 5õ#N_xgH{ٷH yٔi*LTQ<]95uؿP}ۓߨϨZVlvwXΆeWAk!VY{Ajbhq-|'d6Py$9Mvwj@jf$\dR$$07>|Lٞor&'6]/[dȣ6uD{JSr[6KA?0spv-#+Vy-cW.m])7.\1}ڰ99EКc<"ljiN 1L̩( :4pH 42: yߨx(퇀f4SdUYBWaSnem@{9`` jkS)-Et*%3-4S@SgR^#(hMcSgI>5;i Q⿂!0Zf;yʊg([AީWd=쪽ǐ'xlևjl _Va{^Qmc,ɚzn lE3f.fFz::d*m켂4/a˟&TTܭOE`eLw-umӗ82GDN4>|KحfQKE*`JO,ޯ}B}\ȰRk_&wK+wQ kqzX膔47;=\\/?I:w8 a* cz1|)OlnѰY'*{]r!ci-N yxR5֑g8O7EPsi[(ȤjK XVpSNޯ@3hjr ͤCrpLMs޺9Tm8$JPw;>3gl5o0 2]dRM"Ms!IatvK4}?yfBL[$׹myD0Եn* j8hIb"_e^XB&\ɒ~*?Ezs7j?l "KBKr ҜP m?Uڸ/AޮgeJ7qBzN;yƫ# 9ִveY}َ¬u$+*Rrp>&0m]I_AˬŽOdST}" Ek9T"iQ')۽y[[9Z-PDOjcM!$>R08R+gЮ֥ *ۑ8x1Z;cZg F$em_>7"ҳ&*~SAipd)6AL@ԌI:`g,ުjO]o~N"z5y.~ZCH /L[|q Sv4rGu8S!F2H$U `Rn>I wޖЮ竺/0 1;e|F8'/z(+̺Vi !+:J(A&Ff{c UFt 9Bd%5ĕdS$e4_QPȊqt'M)1\XtE<(yCm6w†(^Wp)b <.sLVplt=@Ynݐac0 e[/P=XʀXEf^Ztbh N1Q+*5K$z3 Ę {nD5 J y1$˨Wљ.&.ݛ0;&" >cr*~S(7QAI+e?-He@ܵ2]Eo՜ _+ҥHN4v)6( \ƣd8h tSt>L2}(G2$rELK(d!}SQ΍s3 6m z]U_MUzpMӵC6#6bnEB-.J(}5r Iz쮅_z/5 i]zaCdt7IHOhҙn֊q\'y?Q/|2i9@"8Tn'„Յt d*ډjpHF4XBcX?hE\iz؊d}Q :WDjXf P7\vXR\M5|"uU*+4RA+a=(ZMYB)JLvї׎G'k/ܑċROR;ۘoߎHRn;hC%T_ja[({;s Ұ28Oda=i"V๶ht(p䳉 WҒ)Pj y(ŒUH-vfQ6M>y yDoHD][&忺ÐuJ,{ 5qR w&6 Pڌ-nS,+POLysRD<s@Fʐetalu^qd 9-+m&l8 FPm˫Нh~V}3->.O|I+SWz9/?Ȼ*Zmt3X-V81e邊3"cT &`A*aAg֬g* JE.:CXHM'HO`(ܿ]e݇bB:)lNӍ[eTEBO#z8km!ݷKY^ oIJۮ6j[2 1wW$Ճ/~n ;ނ꣒92)^6fˁ^dեMUKݏE3hn-1N[>;VWao}S`D ==(92S5#{TLTk;A^Ij SG>CFȥc"J1U$/_En21xkhH˺z!hol7.s}xɫmi O-e=#ɐ~J/A<7Z}(l췥q0 Vz(lM;%'T1˥xRNÒ N዇2xSha1_:q Əſ?Ζ@ -ktTw`g-+!v ))i6d)_/ >S" ׯw.Iwӗo`N>d2 y<" }%*|5kPx .~lÖ0z9t=/TjKbϋ;:mTk[HD.Ze,[ws",J/Wݠ nWS Of٤ B9!Q~jΡ$B4gk {<3=_Gp½nާ;z_tkBZ}j2cCN՛8Uh9J]ѩMjt8EZ"+(!T,S6;lJUof?PXbt )[:U#rYQqFBڐ&uN>iWi]2w7CFr݄;)t͹#-[.|-OZɣQìw9y0El$FܹZ9L܋NH!#ۀ(~8칖/&zow:\ wTeSol|ZlrJF)DPaA~4Fu|W;`2ӂ{*N1pdDTFӔہKq(9@Ne#y G"l]VN_@৵eq11~2qֹ.r!0i޿/4Tm y-(o/GF, 4bU2lHHr5䳑5s>."\82vH6qˊ R. 0Wf/0V0RZsFzNFMyGA0}]+s<x]zOkq?`.1P] 6ƙ,isiW"4Gˡ-q*/s %_L 2C:ZSQ<\,|Et^M橋s^? uJ֬%[G_-9#o %5 ]n^o(Q#bK|ɟ[e@D>OJMs-xOvB{X!C kVO&54I;'X1!SZМhEEN,s7B "|jS_MU' '.ȮX pƘV?lWh\&? hIED֚5@Q [m "^T~{8 J@!= 5 -JsAP4xcV@;X/])A6?CoDVLn/=U$jn։GX-K?uXmiEɡk#g>fn;gRHT)}q-dymoWE-ԟls-s;-|\X  %'ػ_)yNMM[p4j}SJ>Nf:+Ђv z|vrXq@(Ō48b+k6xtb~Sx\5+e@C~]p52T; X{ՑUCv8 }]ZClE,s½CR+ t[ߪ}J AT&#O|7s}U<#֎W#/-F 9HN+s"&`o-?$?nnv3c`qdWƙdm-\"ŸK~0'{o@.E?b=*LXQ%L z8}DH <ŔHg"4}G3TOkc_$Ib̛*N&L.Di?}SM"5n;IB>iP_de[OB~ȿ@rڢԘ5|b<\W%h9xUgmP|_zo3"jG^lSñX(U/dLRRU(]J{`,*RX3/=ӇNx v^3+KYobqkFRHb& Y@Ez6YNGٻomSF_i"ѳΥJN'rt8@;y]b "b~1 )8;3AMGMbWu6YFI?*.Bs!nsr%XpEpٴud>wW'Al.]\.M߇śE6FvwX6`\݉$u/<ھ˪uurwZum?<±jhEUGAp$Tl~c|:2lfGTOhס[ŵ8egu%E(GFSv5m`.bQLԲzTPD4؄nm^2Lf\QV(R _GR̀։\а5)BęTKhp#ѐt t5_V4ូ׻?L ; 9BA]ץp0{kK_/sse߄Gg͠/og#n x2zgq*NB2KW k2gFԖ|R/'2 )K%đxr@y>%y|)mgO>֍%atTU Tb'"TU ޗwyl,sdE 6~g͢GQ]^r0tKyn0b sڣCr'VcOvx+Pkc+UC_DeTш0zPc J0j{\9D$;(?s\f^h)/%LD_=$B@d0uɫ_)O!1dOߏO'IRSGߨ6:8- -t/@O?^咽 c< ɝaAK"ewA.jq7 <,"j,ôZ==F}dN%.]]r Dݥ5Ǝ*L*Q"RnW-bq j|,廽7/]6m\޵-a T:Œd9oL"yɄCXX_ r$tI @C!✂"0ULJfoѸvT*J̐9{_k%W0wi(Zh yp<0}Y Q[4/m-$V~(ߌРHBu:F l/`#Md ȁ] gQpp~Ƙʽ`=猠Z&eNyg^hQlyZD|y>7?y+}{Cq7?^/d1T!(]oh\SMpBkc<(qG ;U08ȧ.:XN#!;6t'e(Mp{,!F7ъd/wY ¥rMpSq:@ 2AO@"P>+,X}43ayfvi=S-pamE[] S5$1@@햲GSv VHBX!U0Ie¢U[m4x3an%n-f1N=\t pt:;^1 f*Y@c^TknWpz] XMneSpE\dPЭS'jU8"`pXAv QsޝOĒ?Tej&@GEY^Ek.:lSux%@Ƴ5ni8H H8w>pVT{&]u͒]I×w.gJ%rfjms0UE$b>Si9ϧQVwyږۺ#ۄ%>;+.;GqWZ/!Ky}nF,%ܮ3QºoZ<w$PQef[ g".NBXh{RᦀUelU%:60w(覰C ?Zj\V?xnZv$I1?dOgҏ$- 4g{l#/Cqfm#9I=rV"$&U|yWlj֖(ˠ  J\vg4/RI{pIo~6l°I|RJ4jJzx=?ڝ0A$n`Af ad:*$@&q"+\' )BGMCv 0A|OyϽېT4Aoke^ SU}vT+kzI\ >]L;A~A3j41E|}4cF#ۢf:Rt$69"p]OJF`KJJR>! pW`EX;?zSQS?ru{'4 q jT rZ!r(:$it w:0R#+fx+k/F.yj]<Λ oW_6';c.%L'<Ǽx#Lԧ<>TS_X=< VCqDڑd}yx5h&;3i O z6'ο|Gw"Ho[%̻bTmn=˟p cO8Lqп0CP(tނ ?%Z'+qL?m{Z{聼%݈t6+M X}A*xww'K%i(P]E!GDH(k}K-D3vgΗht%bX|Nm{YWǓ?#gn}MLPѽNC/ @iGUZ7)f>AFp -hjp@L)gȓHdRpaQ>z>I3 kU?tIw3ErN~ 8yM/+bWK/iz=] +FH}~Q.oJcO:̄.d`Ƙ%[KLT.Fe#ϳD/,#Q& ̃5}n0(1=zҹ9,&7g#\l{p3tBӽsN ,Tq yiNؤE3-sM!mH%f&f->ҏn FϽ"Kt@4IsГsV!))h x:fu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute methodOBe5d39c! I(U4aj,J:]6?Hڟ( ;,̀RBv=v r㏿^ށTs!.n'@tk$Yo#n8Q+6?׿fta4A]5i_@e?a@CB@jd'¥$)`(x+(e5rc{n`Ts($p8Xw"uHw$X1({@YS3VT.pJ6^aj`z}Q{JOb ~'U{tQt5bcOMx8:nT!]?oWl^ c x 3_%țpę;d}q}v>#A>Qy =ykhdK5A:XԳp-Uo9sHq2C5Dg*@搐 .'tZ|JBe^v\ZR}׼IannOqTwzUg=SW9F93k̿[//aN1.orÈ!L̄r0KNcS6\/fl\Dm{i o;Mpɇ;cP0g \9h<>"J lW:.&vJK;[S1iHb|ӶD)5'bL t; i a B> ) ᰥ>x77iWY 7c^aHtA@Ɋ]LQ-p] {_۰?^8Kۗi{G"T./k qc~F 6t3<_r}bBQ!D}D |osi =20]m3.=⚤?_r*Ҡ)wkpwг#&HZl_ɭًMNGs Q<\.'ysg!M.ʳ'Qx9C~z7Y2͘mp˘'pY7чEc:g7i'J4,{2TiVPYgmpiaV-]D`$OB^eFo"7}SGًƑ-09FMǩNR;k”ZZUM>_ (%9*X\r SzwFML-wh( ]tx]E[NV}.! U+GNL) zN[/>;8XcpM dA>I ;8ָG&uQP~!D^z3* HJ&\ʚȋ2.1@pգq-Nڮ:3Օ(@W9zf{񳅒3_@ XZ^POWGOP7&Gl7f#H9dx>[mgN~Y D-T^Kaz.R>ڸ5Hɧ% RtH<3\;O̶^2{F/[ ,lN(MT$.P҂IC_-jO}h]R Uj#_>ɒ%F1$=u$f_/QO9ijS܄Ɛu\[/F1ʡY0Mc;Vs=; AuS~s!e:cHtQ=1U7௳ (Jh.4c BK[1l3{%,U-R}Z]c܉۽ׄwL.!J:(3,'}M~Hg5.8Ԩ6+]BY-(sjy~%~ 1# AR*c@g ɡ8Vl'[WVgFN/lb>WUڋb&EЭLA/w8q~vF;:%0ťy'i5o4aɊ2PbadNkajbhf /< •"О t"hZʰ,? <5Lqj˺k]$,/|d %j᦮Gfϡz(O[˖{2 CY|ֈvmV6%3䆕0GOO{5aatK-2-'#0XXʅfW_X4i5 w-D\A% (wN bLb`qa㻌605/4^<=+ jm! }ɇuVWHAnA1jcuhȎ{P:,x"z㛠co#4a VI\GVB3<fلLSJXن;NJ'V:MF͗V+yu|ޯ[IKZNBJӕzLCMf|J*"&V?HPnb ,2re" (sFaArozai[#ghajiud346^M86ݝ={B>Οm)߾ ]qܙ;N|Duǰ[r+X"xj!u2̱n9 ZSI34#ݓEK ٓ/Jcͣ2cߦb}#(g> DC$XpDp(Xo7K5qwa#M;w76RP[FH=(RMށFu`#RPa05 gYZc1;*s*5ȣn[ݽ(c^X^UGh z4Br=Y&&V9vn= RZU ?eqg]OȂI'OHX2;vL ;vXːG|(Z>~vm,n+Q{a.\oaql)(^yv[JD_ mw!阔XN9أ @(=4flBЮm@1b,ƄCOwYn&-#u*E[՝|Bettᄈl:͍oNUA|hLgf#ҺX2#pH<ҏ`*Ne!Dϊa/ϧ4x.> `%\f6u(sj}T&Yg -9m0Je-rԽiWV (f2F2+ #7wŝx,79й|ى-Ai21:'g˞e5{0b}cړX\6UfGu] }0n{h?J{NF: c8Z-կ؛'˭`k4S wBP2ytҚ0*l媮[>i}g7a,bRS`ׁ8tی)]g$oi,vbfҸ㎻.5`23AD#!HRZ0-ez'g|`W6k鱜T7L>u-ū!&\Q|a)oGhBe ?3l vT-!>Vp@L~\ Y$ JqX :Yf4(ú.wS&Mӫ3Qmj@)s[xBAnj_\D$1= H}k īϷQER劳H9jF)<d %U{4W.jSL0IH+Q]l; !>;>r#L ȧГӒd [4ǙT "S `?Q DoLxw{ "Fml}]kWO"P"`r*Jm:#6#^B+H z:ˢaXr{ 8U"| D̻z.g^\ñE[&V*z`k%L`?2ձ1&#DVh+8A*VOwصzӟ;4i ߪ:cO֢ҫ>zic p&ee],KU8ENKWd^:ǯ@wp AQuM EiL 3ńz1!-"$Fzd\H,Ӊ*` Ȧ]Іɰ'z, (a:*d*/_`y5x*+ʃ7@.61K}G<_(pt/wkFn4V*!aDJ!}1Y=vvnM|J-P]e,Gy+O֪x3 ;PdT-Ga܆0[nw_%I ҍbdVU Ox,[ĴV06]z8櫑!)(hY5(E00W>^ˤ8ѣ59-פ?у  7<7Mw,i%E{YqsO(3iȷY\ ڌP n2q `K~'GzxH]`a}L-̚c+/ *H[߅4et.8P PG2AdſWGvGU<- xIŠ[&CzN;#ՙu2 ٜ&u}KnȾ`Shn!݇#QDܽ?[㛄[!Qr`|6'F c=J<[3|muէY#`BEV`z_ǑzNi]Ӗ]./bj]1rX2qvAA7oM,]laXo5ł (*"C΋=Ma{@4Ok^&" {*L5x++o@jn FTߥ_;`"}%x?V),E1QLmW~Lz7sv$d@Na7<mu(r%Zw=1wjJ-MR&_ qcrE~& +T.@Jw~I=z,ք+.^9?1>=]~6L:4`l,8 k9Xoثs ⨍xCF'X6$Fş҄yMb<&Ы w҅C "C=ue-Z .cz3:!3UB3pz 66-g"ˆfVyj$,ʡ聣 C$Jx|!Ɓ h[d{^irM߀ 0>Ќa8HArptJWE2./\9<]0%oHy!ze6\aEcù_뭡I}@/iM?xqEi ev˅y;s{ \/˱j ŰfV"$4k ߓv@\_`TFV11RƯch*)oJޙίҪӸn@IGGd<+SuE@'KM" o5'lFȑ/|iM:Ml'uȱd8D.7W{ڤ^Mۉ_1pHұՉ6jpNf߀xXMycyi˪џe HU|3S8Ogk#杌8Y_vG`8|{xc tC$clЇ"=7kGs &|Hn>v//enr{~*Gޣ"b$9! U򦈱gYZ v 5W' \HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F g]Άxʆ5.f-9 rq=c1;TDKR>=|\Fo#fuW*IDR@=x-~܎B^184:-=7oDdpw@@J[-Y{A# Ε>pae^ hCD[nStN[hd/mt ɳ>4+[*.DnJ/}!ŤĕajOP9آ̅pV?ʻOxH:-Z4ZJ]TzcRg˱ 惃DI9ױȼ*arOxODMϽY[kiS'bX3aD$ gԗ)DPhk~&6O y3q7G*\r<'t^f#-z?S[Xr0ZdޟmN|ƘڥO>.4g ?_篔hOe5" 46p  Žy%RVy?1 fyRۗg9I iJzB6j{||xƙz#szG eHfZTnl$F\d#arb}5LsR*U͉F.g~qRB>aN('/_x_ZAYb x'#ȸ& r~ 2cy :NJ@Nߒ1_KAӊooj gE]+`)D]x(랳OOnFo2y:}s3!@ k>9^ߴ{Z6@#9nk-O!(ZN1[oSEg!tO蕊Р)T%eDLԠ} 0?R㪡AKb8G`k>;V]e&XiηxzAa|gφE>c-vJ?{cld5<9~d!{Qkn3^BRTŒDG qBRM%iZO`Y%jq_bWLD4@mj?FE3xjv?J|/vAVq##M|h*q4ajB]JqC_sM\GWF8h{#IUSQ}csN*5, wǾͤ|FL>xUjRO(_?Aɞ m9չc 1Cg[L:@ny p9 &~Gkfe֓;E^!$4*.Bs3nԮr|(|X/á_;MQ텒 |m \zw~yƃ⮴PqE!ޕ#(V"beP3"-g#[l E.{VۂAyVuW{M.?ZTvA@X<( u 7<)EHDz?W~a0HRqq_DzW#s[sI\ LCdKj]lV\@/̭.9#OhA]Z Gו#8@ލ=PJ9H SCjs̯!Yqð*lc}!G`ӶUc{5p)TbVl-IbsI#o95؈ ·Z:zATǙ2u(!?[RWsFekdqTvZsZYQFM mn q \P 'p Ͱ+s d16^ DH%x摉+`oO4EE[Gd 2zV<Fh#۞5?sY៨;Coh*?!aH[wKj7Sukp"?D'XggIgK!fPC! ءg X.c8H&/i+h>q1T?TR0ݲi1])cǾiُ7PzNo׉O곍E0 \9,9$9Nq FZnm-<9\2|[^NVsB+C>WI H8l5(@5V!/GVxIhs1Tuxtjͻ4j1轡t}^ޗ~(=}ׂQB-S?v[:,';$=pmv;wUӨ\*,^V.v4h-ؒ;)U.?e̟?y(|Z':ne2nQeeERnOw"2BotYΊ|?iսp`K 4m*=csǔ$gYZ +ʅT$mM &^aylr!(Oԋ_*Iz`XhoZDp*\::c\H . SUAQGV,|אL㜎0 M玚 o+$QcǞ*64Pj+)8Y$ 55luRhQ5".)nύD〺hwUQjC,dYqE~ShtןHL겣:d*3CY F`i]mVBJsW|0 *u$lTWI#WN,1N?jP)ޑx]ļМz_tuR #m,cBӑ=z厀TyvpEBp G`LZ?SnK&zAq8֯O4]QtzL%|=2LLh= 4&55ҟBci*MI#R\QMը8QÚ,W<)xgOI6.d%d Y 'm4 OZu840SaMe)fO ƥ a cCJ;7&С%/ -w4H hMÀ4a6F}U 2N. /3 ӣS^y2r;Zg'u.[o[n&Xicj^F"6jH'C˅yb0nXIhG{/;SCS LWs:ً Pxv5Rе:4y.(Ț(ާ. 0PT$dK o;Ium=(E9HDC"79*hcbJ #`gqy'ѤgH*(>+5BUl#c3Ab1uovm4:12Ipl;;6IQ="8?srrե,$g3>Rv 5;IPzڜ4p9r#%_B+OOhvL^"Xs"Xu#Bä;l()$J|Dź#XYNG&9s-ۺW |\Nvj0&"W) W" 8"J kɴdBU?` mgTx&Tk4TY-SLñARZ$QU|%[89 ˠ[ʄoַa"GWf`ϸjSIG8" I*|l cĮ+R͕.#<3f0ƫ"ĺ4/pVKhͣGe;W4>pqX'o6hqy0rtt:s1\!(7"Xr<լ :!hR]0D~w ~v0vg ~-ce<3ҸPԉ(vic4'#%N,kfIpce8}IR^L\FKs'8ا\V =_C7(fOPb\\pO+ƀ;seqo/dor]0G|gyc H2̧kc Y2G4,J4B+\oɪʁ0Dފ&Vo:j?γgE, 'n# (&@4bm \_b K^;RG KdWP"OΡȐ gC\^'L}_>"o_8Rq998ˊ7e($X'>w#pV3X|; eCY~!uyAԽ7<wb\ ~pVq`t'Z^8?Oԋ>U5,ai]>h%S\ rbZ=3QcJ~$S݂AU\rLpokwW:Y"p '?2]3@>)F?̇e+`=*mH\ >D(E`VKvq@:HB mGŐO4+*d&0{@!7 ~&uûYa0]ȲWsed[3 YO+h5hխ cɃe5q#=4+_^KfX*\&EuhO0\$Z[Q%m(4خJi/:^Xs߃i'c) ctxF"8%ܕkB֩\(<;a_1G{Y6OzkJVԇr^է݀.~IR' RwWx};J z+uΣ~%Vi(\Ԗ!T1ah˞鹄o}i ↓%)W J=b˟7{4$Hh+<P^ B=]@LN}-6W/6!Yw>|9֊\s߫1_*z(YzJ'.* W< >{kSL|Rq>Bx_0`^TrD5DC!0 E)!T:4U]{1k@p߷B%E 0laSC"y"uEJT2Ht!$!WW{,@OHk,2}-IOn³SS5uB{%y#lY,dn:HK/+3֫8r ;64<3辬a rlEQ=q>)D>Qxl!~I2q5ٵ3VخAG # |m@!H]˰FdQWI*B&@Zj⳧I՗T6Lc"ze)vSf u ޳"d',]E arBf,sO &9JߖmȭE9_<'snLPIe;26EeG?>zVZ^$)Vʊk@v钠%׉58ĜnQ\&`f a#'R 4CV 3@GWxi>CT@(,*zzEsU ۸OҕR0|VCgq5m @FIyD҃qn'ti'~$CfYUHȁT)CXZj6R}}= S]p{ḿ∁bOyWKN|ل񃓘3]yح7lgq ?<B5w1|Jsr{=G?KW"ˤi9[Z'yJ'8 A (KjGUȚm $A}oR@ Lmޖ6h`Ĥ;HEp23.GUH4hUd,_,q;!ٽڈ/]r92YVItm.[K7osH]]o`5c A2p e΋ E2WI>;'8'Ґ3BLH0Ӱɧ)/ !FG0O#꿎~0Wަ"y)p~Zt yM C\c#Gj @EbFK<fX(mJ>FWm'}inhFa@ 5 #e֙Mp dz̢?Ԝot驌JE” iqr:#NJw&+e݌CLxaПH++C,Md,"SU$Rw7G|JH3EN뭄*z{iOi|%V(Fjiu{Z7\_5\SiSeY!Eه j%ϣ[~8 za. nk!L"auCVE+zU^𱖾6g(18Wbynb)xJuR<&.{8g|>dHɀnD,'㏞u+P\T'..+PBiɎ{/MVBz_H_*j!-sD+b]~nެs) wT2Qr" :0@a P]϶J;`N tG3䝸ʶF8d$n5PVDT?<Is!x0nrO($5̅_>hwܫ ~2\l)ӄwL*=UEz-0]{᭻o \d޴HHQ 5a2H!F'Ńᵺ@Fם'gMbJF!&L-^E-Ϋl[N.p͸xzB!@8qPJ#YْZG:2c|?-ob4mIyԝd$gQɦ_Chd5D.Ɒ_h8Lr߁] s`FڝJtlBIDHԦǴ-GPO<1Yu%7[!i$cwYJť[e$̿+KejMaΉiV2ˀZ47AsҀJۑI<)_bzG?~:&4^2%j#N;ߩGU[گҪ+\r_^ ]YҤ !V 69x{ JF?vqxV9-?ƞʰsO4'K̕q/SnwZ/\H 1d_'Ҧ{ʐ FD~\we*ՐRsq?H#FnRU 첌tuJ83 .mE_I!]Ħ [L =j])~d(fJ4H<-ݢiCq9",!F OxdGNl| p&u>=mT 3oٳ; \wgYZ9e14ff0d31c0122a69dae390d1e676999675cae4a49e8b9b6dc4d6ecd45781a45084b9da6a4a0f95 685096bc14933f70ea5f8817de1a973d7793c3cd