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 `5z$ ]/ HOL-Record_Benchmark:threads=6elapsed=137.666cpu=213.614gc=18.6097zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k&[ݜnHu7MDPQhO5f(Dlu$.e_$j7u翱gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬#!BYo CRWdpǺc/Cձu l_}YZ7zXZִF! {]ŗXi%y2wvn 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$(]]ӼCa;_N/@=eE *s˜>PxmeqwۼRT͡~Љ{ڈxRM[>fy$7QBZC3124;t@`DY(R.SKiEy-K̠)Xaz N JaCe-r/DnIy0B1FKɃ1\̨a O4D? lgivYt_k V?iW k8KS/:XSG='Hdmhd6!D8zgYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Be     _ 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$(]]ӼCa;_N/@=eE *s˜>PxmeqwۼRT͡~Љ{ڈxRM[>fy$7QBZC3124;t@`DY(R.SKiEy-K̠)Xaz N JaCe-r/DnIy0B1FKɃ1\̨a O4D? lgivYt_k V?iW k8KS/:XSG='Hdmhd6!D8zgYZR5W)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=l8]ޮSHxPio6b)!45RE?}z$4PRHKMqujڕ9|jlZwMoQ!dypQ.z:lh&@An|xQwD54qI>Q56[)L ;h|ЗD.LcOxdd\;eeI ƴIm?q(R{|1sR87TtZɈELe[`*V>* =^/7aqA超z}2pfc/zS PY>+ȱƂLN0G)=I32 O)VW;~xd|冕}G~tN>"\# 6Z5:Śc`V0kteN8lp[D}L,\{jس;yx= G:[A?ղ*D({[o JM@gt rujl!*oUHwԩzκ?h"X[AbGBn)Zi~:Pm9E2w#U`GDvO!çnߖ*v *ϟ =OI\iTt@/ v+@mR>8`'+ɒk~Qed$TL=UhZ?FM~i(d@&E0±ԝlwe ˫}hIZ/Ay 5y~z#UUm4{" b#Sn8Bf< wO~lZp}mF ycjs%/quvPh\P|nyog"ăSM&Ͳ8 q*&Ff/`sZ>]x$9c蔵5%mq[ֶ=PIf[cl3l8z!>_O7_,s<"mWQj5~=;A;zdɁQtSv5fT2|op0WCDS<[[iw[RW*WT!snTЦ-7[1`~axFEѳ9T5}f txdߧ̿mgOOVs䝤͑~K|=O-0뎂*#TY Kx(d6i8߾(1g\uNU2-3P]͋Ͳ*)gB=\׎a,`5JC@/}g8(*q9NE~,L|,{ X~`9\ke4θ@ +9]İYGQJ oY x~^k wG] $ց2ܖneƂMZdz1#/Ї,I %;sGt(Պ<D:Cyawce @a#'^ƮfR$%s^&:()2i"GhQ/ghoϣ/;`B`k.qQ@5\_#- #rb[w?P(:.#?X%c39+.)OTbօ {u_5W˰])w6nTw[ЃYֹmf_%MhfNeRZR1kȭMg&MR8Er70'XP F<^5gmߎQU tfANB"6ʹJ+eIfoe'K*s Clb&CE_5d#ޛ1wԴ!KK뵾7A+XA뫁HA @0ssY5vSO}`͊ V˝h,VpWJ;˕,dIjR^XAlnV`: uy'B)X뻞kłn]@u/KE3UcL"=0%|zu>)Z13v*=ă&94[2jFCFGBb5!1GiPdaH&nY0U4P|oׂ[g}f h&"< "2/-( '#\A4s٢ewVt [x9ܔ' Ho(;\SM-˕S:\yGv4`mąQiC O3==H(PV˾UnD CM"B6%x d'ՉmTd;YLz!dg2!0Ch`pd%ݕB\E$3DR@UN-lWwڄwX`PRZ>o^< S5F35.Ţ=u23$jl9-$hMmew~B3̔})H%'KSh/@S09W.п‰wW>c &#Sa:12l4!4L[PWzyA \P>nDB!ϑvoO[A-QZGϋ`yƴʬ:y*~.y5cqv7ZP<}LEˁIl׎̎fA,-Ue<FQŀVHΰI\Ɏ|a" >),ny Bdd+Xc*5 5cf ვ#>e_|;uMkUfsAXo?j ;giD%#K~GO@"}LgN:J č1[G7J)xHV3?haL )|p=^5MC;H, 6Gȥ_m?7 }J<8^juD#&՘Ax9IܼB|L]_B(>yUg(]_g[+VԜ_ed J޿W%G*8zY-Ʉ.aOn).i);W׶] `4Af}:.Dx%,S:8wY=6~ɰXgPLd㡺B4|P3M*wH}JhېR }b'$)9H~qC6 2~DDE4hA==gIҁGK0YN]BgYZ̈́$ pLP)>?,*;Ni31Y20lrnj]˘Mn5{GäVTzSPSaf :ENnD~늜j+Y=D̢mD@3=qO.!0H`Cαg8W,~2}3-N)e(`y;1DQMVWcE"!3CF0/]?!'orr#L[iQjjcx&^<ֿd5#mp+RSZWOֹtB`Mietgag箯\Fd"aS2rp 1n?eQ_Y'ϘX{PڗO 85M?6  ?5է)ɫ6}2}7G/u6T0ңo( c q59t\,:❈VgNT! gyolPn2X.gX 1λ&( 0v?ݬ1[^ž6q菚;p;fSvblЃugjŦgamt' DϦ=kѪdѳW\; VS*3P1Bk y-;fF@ h.QgNғSIsYʎJN{ZV,v#8tױ]kڌ |U"u{.h/o(ܒ)u 4<@ T*֑kEv#래C&93`.d׿lX ^?nY`lL}] >Cض#*ά3:%֍DqA͵(m!TH7`mjnU ÄxwSO~^5:D YQB6i1[$ :ybbp[9H|አl.w+y;t"RPێF :*°{)KE:WTBOudZ@t>yaC+RRڄ#oslYrQ|q> Fnp-pt S(;X NoUZ#*s j$|R2@ ܶȕҽYcMPl "~3>mHI7ѡXq7PqbyKB`dTW /oܛ91nBgn 3Vx1vHvJ%`4%5dy_H\X܇:?HM}$2g2d,-YΝX1GXs+IP^O%~(LEg\2r3ldɀ^^tݢb6ffbsےp*.6BJhG^P O;Y4X Ew# 6Ͻe_̎íS2P!jh׎DT!%v~ӮX꛵]/FtiTFp4h*Z-8#`{y`A!?}`XV\yqQR4(500&- +bTzTC*(8HW͠W868ƣl[.̛SR%qCy/(%`AAkjj} h&uRSJ%5Vqة{/yhL=28}ڴҕ%R] zſ-1<-4SҖ$rί*wŮ"`,169xzҶԩr5|2=0c3e1suOQH( &+҆uw\ l{Ek|P3V LHfYж<l|ݒx\M.08wbx-تS!> E_#EQRq'U egޅ.Sgn.:{'HѨTy 0)TuK:ޔ'}NQ4 XZ< U6U>qF2dhzS̢rvGRJŊ8hsy7 a8AxS}4cN1 4m2YalzaP1`{H@7P%%RV:kN |cpfq@E` s~~͙߬P/G"xD5(w-8A>pF28٣4+ t05Ֆͼ)81h"ema{/<s_E`M%iOڰ[-B$}ʸEFjl(08&ٱE=.př;kv۸ &狑P# !o*,\Knq/ Q".+mQ̈́,+ gn/@L6#9oxm!ЂUk~L r )­^0)Ѽ-'iT46K>*(c iå͎2܉fgOW7wS61qtW).LֹHP &"o:V!\;\7NX.ͨgwq-'XI]BQiOpm䡡?kR1_=,x{zyZVkax(^P^svpٝΠBĒk-L4Ҕ;j,l>c^-TX ]/+:\Al#kFÕ,Ay\Ę8ה!`1P80_;ސ?,O|!v'gYZ j5W' DHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|hd UבR :Td/гvwxv5Pk0}ģY 's^:++gaH²<=d.Zf k` uUSz婧ŊҖbCt?2)Ga_-yn`QR11čș!y-S'L52^O4? 5X0ͬG-c-&G:=G/D(Vs,6[œIu c]i',0#R?TdaҿItTW4 -/JJ; /J1XKYRQ-:N3KdOd&Z?g⚜EcMe;wS$:KmzsmƸO6;BY6o˄ 囀J.#pY+HkI* #>EXSU,7+ם8y T O|Q)FX졏ǬCr;%"`I]{cgP#֢[O/POi~q _ f,D({1\|iF~߾KT`BLZydAʭ 2Vh:~5|6 zE3$ƭ:11[ ZO8撲ЧehQ`x=_wН! -p ^FIonA:<}l{`Xk9C)~z*DYNaL(#4䪬! {bod'!'Šoz9Br d^N/04U,~UwcI-Žp۝_ص:ֿ{}8xPM446,gu=Էz?Rd;yY3~6F>`.eA4M2=`t y'9M:%x-qGbmSB\Ӑ`X ZrS%5vAx`BQ\$]!ONypa\l{5ᣘ}oЕ6m7U'0;7 Y;`r@tBY!n??.ʮl[Vr- O2HZ̓s}n-KNCcWb$ sn)Q/TEH+%1rê0uV#BoVm 0- lxDux;,z3NTT8敛I d_LKOk R ͙'RFE.?$M?0Rl#7DwQ$ʳOnDY pM 0 dz8s9\LoW==wk8աb*דoNϤ5|k.P3na@ut*OrArqDLu^Q3N!樁B:>tᆾm[}‰Hi/gI-[y#a'qGO7;E6=FzeZi,\"8bdqiV@%`ט2FRu.،_J e6>c(RQm^]U%Rh͠;0;]_*9*g<-L^(0./ 8.}({2 ~m drq*cjۂ!KEa%}p#3LoBDjt$ԻxTVP{T­՚d9A!mۀ \+2H=,=:eߙɳtw/Ź7B#^hk61?nFe8, o/\qɋ_{eg/}Cr&<`X4PMas0j%YhleY֌Lb]1ȝ5u20d~yKZAH;͙Cn!$-=ѳliQj^,\ o(.2J?{$W4BlaVO.=!߃lemz3' K3?e cRСtN2?Bj4Z>w2xDx,\ޞgJ ޞ77]"pg%8~Qs;2v T3ڤ XW GOLeUiz{Nx[2ϹmE *VOѰ)K\1o+>10&?{"!z0.c^ Z|tєJV{hL_НmT:'R0ղUgdR[ -HB-֞3 :D%9d1SԗC؉@"I$~p*jWNH<+|5$LSA#Q};0c$V Ԝ#m:~? d7d?Uqb!UO^$h|ݰY7Pi_x63u!5Px9;urFK'6 Dϡξ슜}⿫ֶhq[pE`eĻf#mO.6*gXHHDaWZ>>ĈQMps$쟞CXdH-tLyDOm<7y72'~Z"VyWۼnk rfW2vLmq-ָ[R6 CnRiQ"e6U9ҫY$c*Va<H~) W:8Ҵ=ebkfDNbj/$Pim~K.ד|2$n$Wl^ҹ|ic] DDU1!G\Յגom.G|tϤN-/,6sGOIM{᪕|bf!cAY6+QLYB3*u' EC ,pYxf6&Vg]oTT̃dDttu|pX@ NA)1ZBS=.'uMQ9]!hu;g:|ER`FWV΄_A'o!sl!wҙmYl28>ӈbyLCakVOx':xF׍lA-Cal#g:}1ogusq\2;˭/;=p [Nu!Lc@%"hiP3+tu3{Za`o#a/ʙwљz|6 %X: {i5gACqAs\}g=9LIJĢ+b |v)Sq# |íϿx8 ;GTY^&}Je PF Ke R_q}(< "CNcU^YPJi/9^L{2-8OۮaeHH|7v\W ~q$Kw3!M`2;Tu/U OԬ5/F mL:"1{Ho߈4(9A*SfcV,D| !=֫E̍f$^VLnX)?b%2\7/u%ggTiځ7 c?w@fb∆xgtҬ`u9p^RP7 e(X1R}FfV'ӄy& 1{AP$x4gP(:\LC;91DƊ9#(M[D/勅s ˲aG@'2ol[O<(NRH]hl4}czIѸ=Aiـ] rz{,C ׉byjv SFCn=j ǹ 2E=MԂ9HFamU?z\΍^[) "K}nK<mq$%fo+[EKS.B@p}:wpv: u>nX'6۬ԃ)YL)SҠژ'٦cn0N+'< I٦ !\K+/+ &]bo_圜%3nrv+c'Q/.ī3C-_feG:yAFS@8@\k2Jj%]ל$7N'bÃ+jʣH鏣hEqZq alD0ٝYK4|CXwXE#E7¦Үs# reP<3{:jHzWd"Q8ba}Qв, \FL@d\0Ui ֠}e%啢ھj* LS e" ``A3:m&;. w8OYZU' i\%0IHd?#V{| Π xt'&±.sMj#0{2RÌ @/i`}peuHu&C?fo-Ua`'8?.ק)p\5w;MݣQ:nE>[}Rר3MG,8L>O[WwqX}i Sz((.v/ O|D VrCo|e? Rٙaسn71"9ms Bñl1." ;8c:-ыţXL$g5!mdd=q`8ԇo5vtZA% yu 1|mP7?ڳI*6UY[\ Eԧ; 򡂿 NX{JAq*Ќ( t,$K.j4\ O~̣bN4:O_;#`MZ-9"'x ľ *[HƔD: k`8LMԾd2[b&C'?FzcB` W6ڐ3EeρVs|J xU'D3ߔJb>apnw5T UB+q \.3kKo\ J@q+e )ЕՁћ-46-ÅM}g\Amn^eV@ 8zBق'`)%& PK>O*#5bϪA3CXbɨ1W*e߼^ ȒXNMaG#-R`HP$ozIàEu$^`_;BR օҘSDTFBҪS56nFF_^\ &!li]Õ<6 ?jT׸&90%p;ԂS9`Gr4pxK'!]I40>.LJg 0y0K 5JWpuU*FeF̀6X'8'~goDScDY |Ջ pV7Ifۜ0̸?X.x6,=D{HCmvᅠUhy hp wi bU 8ۑ,VsGpnp,3MIcqt(Ici-oǘ}KoU- kRz'/D|hRK9 :By!5a}f}O/}"qHJ %Yݩ:11 [uU4!m\OId~1ֵl<}b39CdOfͽAFHHi}RaCpq͕Ym]COrh{fn(jgl`- v!=լo>,>x[ҙPˁY^tE\|GWg[nb kjtr id+~AlSܰPM1j9}kٚ,K$_y/<"Q,8z(7qNcHIb^(̇޻D^UO2_K Q,DȒV2:o{~nYjUّ|=])jw4R|rR1aĒY}c@ViP1-Hhu<Lߌ xQb΃#¸[ea?t%|u[t,ax<99hu6\G(@p"1z%ťU9$yMp5ZDl|dZm=HuGdrCB!c>^5=m8?HI:,7=^"{FIdtM[ ߏBxh eylv*k8wpMk>Lla܃jzRO=&U` [XMϋp`B-`Kಷl-A߾Ig{rN @3\l̖XkG}Q-9X4 ,M|{IRᾴgN57GZLaSvGfip-{\N N]P.)~)S0# )ʧ[a \K_d'=H չ/La_FvAf_mgAe@7!\bGW[+=(o>Qaׯdc&ԉD ʒ&i ,oݭ՝Шh3">A&GyR접3|X CThLSbꋏH|QW1ҰuPpRWhF(>=z軜*,ffҐUYށ5;{ )΀Ǡ"Ð 8!tUdq ěgzz>е2O39*f%DiG9KWXFƲ0ĥ|&df`@ М>ᢞiHҠa>l0 Q\uc뫕?=!g03 Cy=]?=cw5$̱+l!P\t %Tl bY0!+ $d$`/f-<y'C;7;ŇX#SWܵa7YqXt1 sAm8 _~gZ=zkPѹkj9_F` m0gan3xL7MpՖZdVAwh?˰A=TWXu퇮>NwF~v{.؆1(L#`a3$3/(TS8$`suˬa'="MnrE ve "FC  8~k~+ǾHeK@@~;/Tg=qĨ bؐ&\ZC +'bc[Y(XԢ+CyoHQVQvp?BՆQ LKͥ#kQfc}5-uCxdg]3 &hJ8eX@]ԇabp; ":6c3O"~ˉ'3885=30W}i,lcp@\W1 LZ\BқqEH+J`LtQߩ7z_VS53[xy˹b7ڕI&Wݒi4ؠ8h0KɓAj#f,a_Hb홱R弙-4NU7a~E-AOYpAi/w91% 2hlb\)t7hm\@#Kwϧ33(Ou]:1EŔsO#aQFxωe|iu%g7&/Bi$VIPϪw+pNbYL|:K7?࿘ա OZTsʴ&e:1IeO]$]A yڥ|vAnh1vht┷ {OP!A5Imx3G"?ݤq <2@]D4tSmuPX=G@2<Ŧ+i.y8C_y_ @Ef &gd :i^njN[27C-KcCOh\rC{$1ͬTrvJNCYo9Kp" 1ٓu$460{fG䶪 (H NTz9Nt*=#K`$N``':53%pA S[Cx<\uX O<0%hƼ5UX5Dg]P{ ;Dz8Cli9/oGwD oƶM.͸\5Fգgb,2Z!?iF7Ris(H-lt\Jاa mR¾/fagz-ޗ)DE"(w ; A B9ݱs֊K|,~'MCp:x#ks'xE/}Zu豍z4}nКlW-g܃TF@gQa"m9ͧ(_[]n+uBF8!bxTgt]So(acT 1A܄b-s^.^c/&n˸3ݵz].m6gK;|B9Q g8:떇e.lS K>Zե0A|8GI=L/b ʦӠb ii;w/~͈1+5y24v9#AT.n|*-iRfA7ηa-a{YVAF}sAu(;Oceyeۗ/\ -TPܚxDE3ۙVyj>R 1{ެlEkV?e ㋓+:/fb6Hr2jRqñ9^fvW%ql T$l]g)(L!JjhA^v{viA~%"RHq&Zg;`dovsLǕE!s2ooG,*UfR{mh:*[Ea*?>@P~볡RE2N|K|;; wú}6pFqժ g~U=c)68DWJSxKLeSb sWiڴGxB/u>dK( ؍p/:/xǶy&uCrj9>KdGGJ 6! D-U8bl#=2WJ 4{Oo^W#%{/nt,cTHc h3l =cӚx顼a9@[An~:uK79yZ\[ڕ/52*MD qG2*29΃p[ri4G#xrClcΧZ O! d"]c0%^`)r$kA-:EDHyE?:P ,-hle/-ew':zS (G4/.] w[[{]]_ zx.Kܘ|j̲B6v24@cT$I܂_ola.6n8\s"s/-kҬcqv--\Lf#&lm?>hmf ?*|ΧkUH4!|*Zd$msYca68!B *ϿCk1'LVubGѡj+-ZLn;vp{%c't>[^Y?K#cz @²CΆQgbXh1{]{t$sSF9>X.[Y&;#)[ș~Qk|5";2:pQy{A"֦ 9S%%+.(q+-'PS=>x.xB#]kZ xDt&2!N᝽>dN9i[3MfLܼCuD+7g.BMrdqgqEɈ_.h@@4IB[̵\z$pF\%NaCg!@JN"bOFk KE>ȚˆV~[1{-s}ʣPbU(E0 Gi14kLMYo ːlZ GRB,S\ܶ'M%5, &ax%Fu3TͨCydf֕9YX6x=OH/%G8ŭ)ڳ^)WOt-\`C}j?֠>h$w8[ vLsU.Y8$چxwLiAA5B`LY@Ѥh8UPݝ} %O;Hvp57C<(wsW2ЗpJ'DAxAL8q@8lSs]-G@D*'/Md '*U=jWTӲD/0uĕihvFJGUͽO~BNPp_>6R?>&Fm:'7x4mx*+yKt_AvqOXTKft(P}_.L0Xϋ[[ebX X*=/j[/j:whHr'궼6q *}8aW/z[/z)Vsl'#) 1KUn+h lYXS -"=Z-DD, ҖaS~ÕȑF?|U*}9HૅB^Rz1"٧["+$q# 6"gYZ u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute methodU 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸM]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|hp{"V]4=CSc3*OA|ATΛQDVǒ͗D o\ -]Q,vOr[N]ҁM[ 'L2O}3ow4$oj"U#d ń> v :|^4Jzz-_5"l-_G/J\Vm豂TSftv׈U!e^Sn)+"I-JUK;[z^_ǹwYr;ĜLQjײ_y>) =TSǫ9˼: 2_6P]0vzgk-GB1uDatbхjTuKj/ykHzMM;AqZ-> 82fC'|ŤjFFPI5d [)nwP_^rd˰ѠJP P@gPyMшroALn*! 5&$FW%ҚuNSrg<A8/HY͝m$ܘ6(sLh 36: &f MYzf݀6׎RCq5`g#f8J"fHn| id`td\A6w=bOnh(ǿ4*~[Gb6c#W=6LXO4g*le`ӿ(.jޘT㏶'=Z<ˇb}c՘QU*mE/0e2=-S=.$h{}fN?8zm?T R^Q4Eٹʿ_$?6Nh9ɤʘcCQUc%dQ[J6)G9dU!m`1NYJK -L-QM.KoZPXt; JTqSTy2xnQN D~*86:-҄A+/.:?"j~Bԗ)dS$yp g;.D#qՈBئ1h6;!Q U4`U 2Xd2[!= BhV-u=9) *o`P,-(&D;;ZbF 5;m2u;Bۦ.8b)ӈl(Gj140޶[J[R0 A0*jo4pjJ +L jAt$NF5_\ <ϻ(5eKW#,:[_ q צVlѱe諨ɧM?#\ ' L} t[5 ](p}WXXjW(2*3TaCdgY ۡ蛍[(u1x 5lDFZ@s4j22. e_K@m 7شK9܃%^-R &b(kIDX>9Vg7BN#N{|fo|gr9X z~P ]r l/z嘼;%<=#~GScPoRWAƢy3l5>eQq;ڄ=V hKL|j\#e>Fg*@m"ٷ?_$ԧR!ZǩÒ"j29`V]R#A<µOPwPWuOjZk7 l+F-9Ҷ8[6B`K @H 5D) hC>.k[ 16¤ʜ:4,O>SNXі(H͸dȴG 7k ZLz,Tl(`ګXY/nߛr> fx;ŵ~q6IkNLaS:ic6j{)¥_8λmy\+Jջ&8oR |w*}!ǤC1Dup"^ָ=l$39[t/$׃8gIA\ZWTӇ!~9 dK,K=GW+`f|K%lwZ7> 7e[|zVC?y%ù=Z@ ˲8sTF$ed / 60E@2qYߨd5w{8P єiXLX: k@to#29yB llNRu GBCG7UEuREȈ!x.o 7:]R-f-w$-l& [}Bҳlk) A@h$3G=;F ܪ%WI|ղ>gDd_i:BJ:s\=Kw?е+yMLSH"k;o"m<¨7h徎FbɒƳwKc-DòսNP?(eBnh&/C.ڸ-uICf̚ y~ֈ9凶%݂CGs?(Ooty 76zM0l7$g0>4GWSW}_dtn=4I!7XU-|"iXd%6'U? v=]"rhy=ٟZީ" " IޜndR6.PK(@.}# TAԡf+1CV0R RѨ̘137 A-Lm<;;_NjEO,a^NcfD3zj+ l/S))^(g3r[{9wM#<WYrG[ZZ)z(ST?\X!kk_3Hf?  :{2Qx$P*2_>(\/xC:~kC`h Ǩ\UIz4i#fQӊ .ZcC`1Vօ}NA&zwʦճ,ˤNPEN`%MS,ﶠibΕu9m*dr1 oa6=ɷ nA_Cz(wK3OU 9Ӥ$@ȭŨLyU/ahI̹ôW]Apd ;+) -D:Ia©ePWsOC̈́w!)N7gv 7=2keg7?4Wj&Ϋ@#'X"lhg^&b&&a_ɂjؕjS̔M iǧbƵH5saVob\^`ds*ό.?tk n 0@9HWf7ϬĈgd #uD)T <2 9f< |@0;?Ij&}2~cd=+`B"]Tq/m~LaK+sC];C-"t3*Gm3&f+SUE0^"oEݜ"%/բ# k9 " o5r]k^VXQrR-dWAN7k֪FA i;ǹl2RH8*TMPI*h z8`v0)"<ixR Kbvs 2vO54G6Ki^!:.L2a'NswQɑ'E/=K@@y,l {X-*mײ9 :̍$C,sGQRHj\Czm-EG8v?v"jR7̓e F6#K.m/I!^9l&K wMnNS$?ypM ll[V8${bhN#{JBVh)Fő v#5Tl74 ە9|QTFbyN$vN1_y-cʴpkcS³2 ywݠP;+BlGa2BcQd {89[ɻƷ #ڱx\pZ*@ZN6kޭ6Ц4Q j!p3Ag#["<GQrQ|cNR;;wKK\'Q%2 C([_gLpeehJ=O'h\TYᏉ=e?#dHR̘eզz!ηTߴ 9#~g$R`}Fbq]S ۽ĩlYQ 3  k"6+BO]ƺFFg|cǜX[zSe6tS6 GCm '6 'chpSFoU}U`Gi>$nG戻ʀ gD$7,1#1uEQƒ,5|Cl dEB7{ih3cc$n(W2V,["2XUી6tN΀q3M*Eq-cnV\欴1Εb>Fo{7jL>Yv+j"$ok`xeB0l- f쎥o7y@(>]P}Ojá_\k&3&fNOb+!wYd76r+:PY;UDéJ%浵5 q4gYZ N| 5W# lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Eo]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]oXҸP|)gc(4U86GT.`.h뉗`]lv󏠎]ܶ `,G UPvO=Z|q?rv1Z<P2R̛Kl81YAIL{V%L7et/Y.;6:2:de.S7kԼTLy%WQ~Y2;22HbQŧEXBLCp@ Qtn3| jwcwٳWkAs1Qx Q"p7TR8*iZ#),Ac'UF3Vk5^Lƿ)sU.+z85nAKdQ" LPa^{C톖B8$aUFmhkG0Eooen&[21ΆQx>^]]7lSovs9ƵVXhio9 @Ž3Ő]i}@geQɯ#RbHသcO*^k^|ǟqnM--&}bEL9*A^$sq0@V31W['V @twg ))n'Xnhg|~i ^.Ki^:=J/q&]F _b# VX"\]iiA>Xmj%tygaX fC 1)7`GF.%p!u;;j,LW-H[XҚ},. L@R#`L e@ZU檋p9lcuA׵.$l6226$qI(\Tɬ'Z qwGyK =dU߼"A'HKyCuy nR"[~&xS(X@up>P]Y6bc;p67 oRŹ]NGU9Fݜ<ϬG4w !'*\!/Q1l}wڣrAa[wǹYȮZ7+>nW?ky_C9$;n̮bdpwl(g'6`d!C{TMZް)%]gs^I :I!iɔ_ &%̜rNOZ6w"%%g U򀔝R0E4q{lze^ Y+R0ZФ\Z;Z?O8X JW  )auܕf48s@/$f 8)*ްZkI#0FcL~p>C7O-L N&uR[hNتv[U:G~5V>3W^p tY6Pt[蹯</P?3 o^'q6=cO‡Aƙ=@u]]R nBg>b"pVw[2e2v<ّS!kIwYTZHߌ29fK6z,}L ͈J *_54K><"dJ/otՠ))$=TOʩj9& P5c;x s"k Pl+M~,4H4 fhZ 9!3KrH1pXɯI=SCO.~A>Y Mog?Hw.SV8M<+1xAɡ_ޡz5xSNAÕ쁙X_% Z ^s=fM2LAv`k6;*%df30ݗeAzկ[ۨJ%"i CȒë{,W+[:Hh? ٢+ɋwL!A]B$buz"k)g9ջOݨ`y!˯jg4s)PbN3M tZlA$a/R;26 Xܤ;:L(t]{BsP"Fl솟3`"+b w*3@L*%筊Gj.[-tAL2oRg6 h9 D ! m{r\vF,Tذ0W 6{V?32/i-Yt!~']|Ƚc%5=084rbeS[O494}oA" )!x?mI[;A9 lGgdb9 >?UoкSxăAR7H p }(V邗k# "_y`J8kXg=eee=#(ZRdžLD83J6 3M;"F7}\ uG2U,P:(¨:vu`^aG_jblV\/ia%K'lLLƅQi`g؋M{eWR/*yѳ̓eĈj7XGȆH,A> 2hd4~VIR)o̝#@40,eL7H  x ,I>*}edNH+RtâI1}'q DcCڙ8!:C%ᆹm?iREogW=S1 &Rn8!84^ e1Lһ; ?HY%JrN,'3OGKN-=rPm贼9}iϿ0mQ//I RϖM$6WO٧bQ~ɍ-lH|0FŃ7 4p#%V[l @morPiꢲ0n[%%2ENuY얪 {*~MSD!nY6Y/cRD"!v|G!}&dbB<ˍ4gJ6T=P $0MQy 7af5{fڄKqx9FW`RsD,OXz2TR[W)]w6z"kd"&,e` ?׺DU^Zu f^"\dQoHǭvm t+dqxa7ƧG`ѯȜ3ImEG֧Jtx씾Ydt+3`)Oul8.!}C5Ge)yœau-󢓼C:=]#T}gf{]\\I\R] j_HOHt\,#L4im=WR}%D7δ$x+Ac!^k흦z~ufbvk$̠(X}Ah'4K c[0%>`|97rT^%$E7װX1PKo/>g>sAU0iƈ$j{6~l6@:@ 6c)2}Vd(W~sXs5!g*iI49ȒN_.fNHn VMG,hBZM^1u o* 6nSډ MA/Tϲ9$3Yѭ:od$`tgWi Mڬ:ݮ/dܻ>j" `Wӡ65pձ.zc8%|6K֫`B-pwQwi&Y6 Ķj# ~v-Q="ړO<#3DP礹B[6S'ztMWC NNNKdq_'yEsM9e8øGWU!mAStHiƫplTmcf(3:ki(J`q+NRl%kO;:YOW@'ET-z /bz[4Wn`_84!}"e3g/AIe狅9+3Q;;C rzN "um7a6R(aN&]Jyo+IQ*/ "KAݶ#]CoG5r_RG;\O !YóI}Zr~e# ^C52Mdh *&8I(͟\N<`!O Axh`#-&0;ϢL؀zu WBYŗFtY _)+ߕ(+/n0;_+8L I q)KOeVԕRڧ VUBOWn!R)Q ő;P6k[xYQ\Z$e$6~5AU~d6NKx2onWt0ERrP8WM _[|פ ;?rb:@ aO?,K+DJEǰxgsDl0&:.q&HHhvLT4\QL# 85N:Y)Ek5&ƜǧA[H{5ͭw`ne (I*ˈV#Msg7ռrkGŤ,_0?M5?( Vx_]d=Xf! .XL 7k>gYZ f 5W' 6To`tAL4^AjLvΛ{>>Ỵ,=Xhye !r =Ud`rgq4叄uFۑ!H dĊU2lZz~C,:Rt;n/` W}x#稥s]:?.& iY߆75a 7)@2i8)A0/=㥞w5NȰ*U^-۞6+$:bW ,T>:Tr2k%wQ+"Kq3bLeY*H~vn ZQmۆ}9cYen<8_gƁ38lPIpz"9Am\zvc;#߹W|wpsgkiJ /߄r6Iy/K \캧f#qMB(jH!{Q!j'%wkV^-w ,'\3r~laNFUt V\?䇏s7 mLO2Yݺq@3t9 ɅZV+eI zoN\ ^OccWpgg)S'DWZ`Yxsu+}&V`ʈ@;rܻH-{jiMi(9S0m(Co peЏc +.ӋK€3kٳCClw mlya.[γ%ڬP-`dԧ={;4Bh9)SER)y0Kۢ>|oQgdmHdf2=4oqKiУݛlQB蘖?q}`)*,.|D9eq .<7[Z}}JgjeO2T \jWw@Sb9^b\D g ;02T)gc _VܹTPw}s&OB㹙)d+)TH$m(w#[=Q9L rLuR6@Ā&%j+Y?ϷG~lGpzjdޡ3+\4ZU͈ځ@$t[IJK02.O5цA ACG;dHS:Y$Rbp,絃+Qt˥BShzmGХ E{|2#EɇdjmsQtOڢz;MXDA+۵m*Ꭺ2J,@ίsBb}\:B{NHy1!O$Se 7/9Z?Kt^hgAСh;XĉLɲH4*<q ߐ%*&R^,hI G|A!O`ϤNvEhRͮ$1uF5D}P(@T-)u;$kJZL,+`O_*IYP+B.=~>ٹiT^l?cIp]cQI$?ZD@Y;K5Rz=g8rNz[FUkLA:Շݩq'yu|T,vG7r9^wsJT4<A@TLgu#tBÜVv!0 Eg 4)0ּp1Ϻӗ,i_ka"vkBvzZR[̟\+X;󳇨ti`'/>5:YbOwqc_IȬ4DnaZ8\l4xhq] +\ckLpU4:>`-I!~X<ĩfd| O', I߮Nj ?*PQ6nם42ԼfӴ/%_Y to_Ʋc>&s‹PhUvjO" H髷c8vCEןlnsn^1D^UF/>֞IAٳ;E@Jdz=|usw-xqW%g7%:&3/ *t.8 ;hY Ʊn /PgYZ{[ d$LJPvU.5lXSP _.x"QEUA \Saci>waeݕIjh%ˣ n:cDGۣT G~9dr H4P'%7sW ~nc1GvDJ0p+(y/۶QQ qvwAD8ˀ麝̴` ůw AӲ#woK[4WO 10CEnpI GoW&a-K5J2p=Whѭg!*WۏiqKT݌LJJvQ{h{LÐ;|aL W!kC3.tƸ.:K! aKyBC6ħ"JrE 0kǕ8ϝ|@iς/}W9$Iz4?I׬I&}&`vgNWO$~0(h`dyvDTӫO鲶wL^H9(NvJG8ۂ&HwkN=Cu"AUV\[op7Uq7Tk@ZR+6 #vw Vyۂ~MPY ndFG{[ȒƭW9Ӣ_ "eI_ZI4Z jjX4@j.DuD+3:*ڔ4_GUKa>v $4WlGOGHۧ YUhOPIq5ďv̽5{ j =>Megoqax烈CU /qėjE-gӿzo i$~rpF>~yޝg=pw/'y^%Bx#s'&#N)5RG$`!ӃL5ŹlT!"EcOQ{ù 6 0E~QK ʯQ#wdyZؾԬo1w&3g:nd Փ6] ,OS5EI!DP 1"TgOb/V,Ss@]cׇmoKmQ"lV#5ft^抺\ i$I_j4r u,>ŊIL=\;/}gmW+kM՟ ͢gYsʈu"?!+|cڃdkVg+Z4q kG2FK`X-w,$PJy䨯LsׯF6.@'i4 Ru} '?Qjo}?yP !y&ڂYKYʘ 3{yއWW/fh/ܢD S3aoMdG@:;a"nв4 q1z~n(_P@m2&N$gD?1N'-69 @KlH'K z,4?NeneP|5WUQ"T~ήS2N肶~N)ڨos}nYp+Mh^8SXJ=ӧ.9^)L4:kM'HhD:*Eh?} ?LuSB;ehH6{ʉ>pf:=_)():C[*n@bg'8eћ>‰΍?爃Ο':^R> Թuiq[߶%'ڑ>EV~ALxH8h^=iqSYFc*\B~),j|&멳w,~t,\ ^ 2bB,3!$Ok 9ʋd@@-;|C.~OD<ߓU&ɤn6 Kصp;j+> &@B^x hgRpӳžcHczkD$r'߷OJ_0t!f&ϫx̜gFNL8CZNүt~m· Ba`ȊsSWvMyVZD! ]l{0CVK)3CuyM jXX.ɣA2婜̀@_|3GM|&-UTJ*3gx+:Wok!^R_1 N .H8&My/ʷ_amLQ soPT׸*OA9{&*nH3`C;1V́ Ͳ៵+SR9z3շL>gwb ՚mwJO'xMh}[~VwlX: K3yhs?jiC.SI r"ȱua=~ެc('Bpg'9u[WԠy3蟘!n=̄oٌ )@&Ƭ!DD-:*Niˣ40ϳ"M(+7V6NhO4 jD!'\׺YRAR@a3X*yƞhDؗG a<]+EGcEm닗Cm 0JT\ s%rDJ q= f[lTEmK\1TܕoKqVc"Kvsa= `+iăQMƳkfOkkPhl/3Ugȝ3 cuqZWA=GsЏ~5W`TwNSH>Oh~`x\NI[եeQ.o{I(lj+{y#?\ͷi$I4wQ Eg%'< BH:-Ucrc% Ovbx \FmU| 'X>(d36 *mOlFAE;'%Q,ϾP#jϝdJjKO~iօ ALj#:3?DYt?“(\KA;F5Xl7s=cajH7.r+S/]rLUFkL5069)RŐ? (oEXqQhR51LbP$7!J0Bu1h8jr+䊶I4>>lpvmpc<|"{.qKEEs2OhC ]?k@h@[NmPMe\: gPQ啜Vw9 I FތӪ5 /NIu8T Qp}ZJ9Rl ,ՖՃC~*oǹ?#kXb2qz9䐨>F^ |AH8I W%q=A7ܨZb|ZS/ ^ b冉c _D2I_h*Ou$dާj Äg^ư]2Ĉ}'˒@&jGz!f4MH",FT*9nȝ7!zFR+~1I8sCiQ $%"E2FuCͰSyeJpCkm{EcyEtpZ>vP#NsL12N;AM?YNoP7> 9{y 7'7bfr @S2|A9㦎>oqU ${ngdUmXc5-ץGCy3Dt#WʯH(o5X78V5H?lGFaY+mܰDU ?rt h#X(S[5H׹Y>\?(Jv7;wLi-Ti=;tX,妣xA/Dv`ONIMI$쟵kw,iӀDamxʺƧqCT4h[3|Kn\ 􋺘_&ա՟g/@Dr{u8N!! C,n:tomK^ qƎv/5ع+eU7~(b}Q:mղ"puņ4ոpkn9N&S6,FW.R⫧8#ڷ .YGkupz5u y:?Y OWݥlt`?8doi^o&ī>"KNvV i 6`( KQUp˦SWe5h\>ufP] ULfHp7raMpy48G͜ M#Ѡ# (8 K| u0Њ)} :2\eO'}uz۫ԺGigDcr|e̖-I|,LoTb)][~AhUA^j-mӪMDW[OֽH]:shM~:q\Lk-PͯQs >sCr`IA\:t1Vq#ۛ;IF:._9D9G t?s`#ϻSIusR # B/pej?8W;86?UO͒-prggz xY6}sNw91zpG+> [ |턀o\mneHV$Lەvq1Hnvm \ϝυD2/0,kjN.f%F3B>'5 h܏+ZwqeFIeX<ZnWӬνkOϹZ@0F ߉'rzzGD{y .W>u#ow/ G{«qڙ#-C wzrp.v5ZW)mF= KUgYZfdf88f40ce2eb6817dea7a2c92a849c58779aea00b7a87e30dfc0251c05aac2be967bb2f98663a00 1e5d70c6c381761a53f8c5bf35dfaac12e4e6a0a