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 L5z\$ ]/ HOL-Record_Benchmark:threads=6elapsed=137.231cpu=213.112gc=18.5737zXZִF! h]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k%}.q(Ѓե:""Ɠ2"I9 B/gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬q Y'b|+74`@$w"7w# l_}YZ7zXZִF! ]ŗXi%@hf!JeoA[dmaR-BА@m 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$(]]ӼCaV$M}Յ%Ȭ9SxZ=o1KB>9Q&*W=v0e ݱ!~}P0|8^ W?3J:Wrs?Ub ssl&-w޷v\ lHyF l?/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$(]]ӼCaV$M}Յ%Ȭ9SxZ=o1KB>9Q&*W=v0e ݱ!~}P0|8^ W?3J:Wrs?Ub ssl&-w޷v\ lHyF l?o68|rZ4޷%`uceiY7UBb.~5&8rn0gHC",!6[.d)P{? :[Y& *=`x/\e]ͥZ7q#J{swɪ/XKv!ˮ3E?=(Zb/v fӮo7i1^wI s18 2\V\(mR\K} ƅs&Hʀvh# [乇ZE木9>\ELsI+6IirwT^Lt4&*!gP̘I]^hKqZ~=MCv/6lK?_:禖EvƒG.;Ge"0RbB<~n G?j)NOpV q=P{,^º&ȃml(r+X*Iob/quGW/$=yǰݢXjDY8YT?|g./!>S[lc}`LQP.)&nN?q@_G-Yd{&A4=D_fI܈cõmَv}[ ́4E[r Ky -pjy^lATZ/B:Zv䶍~1026 $k J]6oG)40ałWd`RT3ɳcVUnyL)y n#U}mƢ S>k'~p{lnlY 7lwN2?ƒ$WGxztS+iXJjt `.yh`?X_~S"/Tv`+yƨzlAhR=ٸwwz ԊT5ra+#mtb ϻxX^_v_3Gbd##4"@joch ȍXmzVZlksWu88GrE'<`ɼ QfZQC+vOH`TXA“H&څ& 2CP?Z՘ٲXeIa;id__lXhTMRWq.Yvt9ͻD5$F(4|8(%d,HǮuޙ}ͯ^gdm=߳9KeZ+81u_w|E8g5зi̯frW4[ kaZi#-Sƻ W07$rzjAA W.}7ˏzh yFk6:65+".ECCSߚT~luSٙ? c aAҗ=[/ycm.5-k ^d'1T \n 3&U:@"kX$vYK/,aa#,ᠲ8 MؽVcw+mb~ -- N`Ej$"FqdWN68T!`ma_v5UG@›Ze#{LjrxVDrmgy@R%Ok SO6F/L ^ư)񾉳N3z _ȫ]Uwi8 U ddjV. =uQo>uyW~4]K2;[iΣYOKM7OeUڢ%G MxׄpБ@pBNO̯^q:PeҔޞÆ|7-W|U=YU5!C3wol;H8!E *8-:w SQ:eP+oÖw_d&gK"u>(\@N\R5n̉ ?ח-MiT)  Ĵ24(p)1=쑴x"H]_r/RͶ)=郠p/ń GM?*X$ufɼZ;滯Ky= Yg=lR+KУrRT7aMؕ[!^$sP?% \$r]TZ Jؚ`l1jcG&j:\, +mWt~ݨ1;}ZNûWD#_jܗ!|em#H : ymDt^xgݭDBW>^P.ShL&KI%/|;|Nh28PHz2<W<RIt4T_Ve;eLhM/%Q6JLbi3ѐp[Bdsl),*5Ø ypI[Z97x=eZBk2r * %lU#tsH=YhQe 뇠MzҷlGWAFkZˈ9)B$@S˛g[ e[ږ(M(V"5)9U 2)e翛Eh|`cX'^8J *AG)2i2&M`aM#b#UPr_W7 䄬zǭO.kOf0q<~4#~[^ݒEI?o D>;.1r/ "9n1z>0+Bq̫ tm)oA%he:yjʊG|(Yr ^(^3ꮫlZ>33uel*c.'řlٓE0X@[>4r^ D@4vtdd;KH<]vI|xp 3&6M7 Ŕܕ[jncsU.ZCI{RHgX?"K{-f!An9lKTnG\]bHcWR![D4(len.-'ZO1#:#`o.,{XFDBw϶AUu["ڡB9`Nf49SO\ٰԦ^9i 6UJxoATbBQ9MÜp)sRk9X lnu] 9$ tSg;OTîU4YDRkj1z~D9!Dm>k{gc<<`Kr~Ml}cre-T,H"Tq*_ۖpmG >pW>aڍ=PON2LԒG,5Hq^c׽,(%i o|1jFs3MaFb:L⻉nUgCȅ\G.<|E( Sg %Ƽ_~9n?>(uChmỊtp]~Bz oO_lZ ;!w.2)P ZAa_*,]G2Z5߼#;FyT5FDHPQ ͮU²;n;3Wlc-O$ܹpL|^vVR6ml[OsxQ.^qt0rݮ5+|hrBmbԬb{tY:{$d{ MXeP*MJA=C6Zti:u9ݵ nM$HH֛?=n6Pʧܽsuqu;½>%H-ϰbjԦSЪ;LNBVa:(M_}G2+pQiy{+¶ !8ergYZ OO) 5W# DHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸM]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8|wjMSC:ՕOt-2o;.ChôVK|&tVvak3ږbB`9X #xY\U 7*Jbih~ϛdT<~ ""iې6[*!&]`)E^IyΟ$tO1H)ԯ h,&׿>7C|Rd { ɚ@^D!9t4U,l(Giv PfY{OI lO崵c?W/*1$_+>L)Nrضb J`)eJKS7_N2 ]qޕh0J1d(WPI0fw>ݏwDM^<*~g#QaYTR',U7NN !J,# ! JAc}JCC3_Y=[ȸ|on1MyQ|St_FN*Rt2YloUW=s&7Ş29y,ZY/"|gNw~ZF K?r 5 ?Pˆ2LL\CgzKL壣ƫrb[T8nx+$mCC][yAaF3E! uͤbPiÈ#ٶc'"-G w=:ʰ(לDEFf4"ީd;?Yݼi /AƱP c/w7ez3.$n!`(V!?FZ;q*hx` vbRKy8zu-/ ?"؇8GI9}kP9靟(U߷lE4,]%[: ]?&>Xp85ﲗY,6Xϐy:Tk+؁ZoF$ *v6dmR]/K: |ECvG5E꾾b9FuU>13ȥ:} fѸ5hfƜ[|sojAo</JVݡm=mѼ/ 3뚀% @Xߪ=ja=7+s9{tf] X];|1v9f(Z Xܵ ܇طL3#ЪQ5`M&?U _KIzˑ?:oWE #ܲD~gzb[0+libEa^fpOf.2e $;R@R"[2 [bI:se NcajEO#ސ}fIUY!-U'R<bLȽ/mRT[lI{Q Y-,Wp~p.X֎CC0[;kMI{N24IB8lwmp+S;U0SBA~TݖC}?>'xckᡖ( zCfX/FQ[Z2R*!c ?)|- KB  JΒO|$8 2RYTȞ/KئxDWl^ i !CWB֨W8{C!{!YAm`[^/tJ =I\?kv[-|r\513Ah+RF[in$w~5} m]-;/Ev0.ALh# N%t;E trgҞZ߁ˡH;\P_@ ƋY^ 6j5QK-)L؜ly[d$U@`uh6FG mERZ,EMd8^KޏJx5 bOU[n[;/K~0wfy;F+r^n-NҕH>q>.P`X1hoyj8xcMwcqo@Rg4 #P I/rHPP[Ӷ+p!I$ˎ$CNO's!߲.Y>c%1z0ˈ>280ľ#Їۡ$<ɍ?.qf'RF*ջEQƃi*8 86@ `ĸpZևt @ͨ"pNkQShLl +gv3Z<g}@^`4Itv3aځF|ѩ;}3Ep6H#`eHQojaA Yk&]g^z{yk,&;54Wt+w0ΜK,¼H3Ƿ`DNro~"R?8㰑W9KAǛCxCTqvv;SnEٗK[nuRYg,CcWOQp9FˉRn{]UxRppN}i!U!%xɌqL0Hto␾R~)K?fTQ1MjԘ_4(klw_n~}-tКO5 G};t$kEB ) ?v%Yp 3`0XB+фUYEpzݳvGI&aDvk-EEimY*"$ Ns80W{rY}C тdfuZ+WSW[g 7S1OCgGe(ej=m#d`Y/5*iJW|_ڗ~qB+Ɖ"*5 uM̵e0/_fH螊蚽 ,΋>C Rr"2Eԕ0o PY3bsu3FnvMwIq޺ I -Aȭ]DRz$jD5k]d򄠙 6j^⡸Gj|es K g xvboئaL0Y_-]0=!9m7J7d? Dy@}n: ^2}͒'+*bKb1{nXVmVaϨߊl$ Xx;}MB-w\Y'wJwYwfYX;3gpc7"pb=QoYCBOI okj4 K _qiQ{oT^8".ԃN,!!y_~ )I!-:&2JJG`-f*ue} Or-E'f42}ax:v1MhƓ]%;]xK.,W&'A9"wc5ո/pT9L$?MNۮQe/I(6oZдOdKX<k3΁rh1lخ7J8f U|Q3]LT@(c*f4,u\Ҩw^E\Oaә-۽I!hYm,ϽO2,AcDoU[}f1Bx$ wDk榭}q/[E ~!Eן16\!U!vHȶ]OewKB'KcˬP<bo2p`*{,[' +I"BtDF ^s,b ݇18]rF,DLϯqQCB?NUQФ!W /S}d/> q%1L<-`TD&n ٙ_tupd58*@YhlO _/Ea].?ӌ;FKjGidEQ\r+MMb$ӄ{jFmzLÒ# |\+P:YDvEϲt ޭN$u下eS+\M!Q94ӚMl1M) |)ZUMm7GؙUpzTk3P4h5Q<(܉V4|z&=g ~4BC?-<_Y{B ;Ub\AlF!wie5%ݮ?Fi;EGnb#C`ܽ+Ѯ+ft'c@/_Wzb6O0xgll<'ڙ1FbMS͔gAGϓ*,9/11P? /,@KOldn .e6yƖ;]Sl="חd4_<5|a ŁQ^_+@F;?HcGjE~8!mS bxRKzPO yh9&lH [/R,#oEkXV)wƿpE)<866˶@"`v,nCd@Wر%Yz+so@]\G H+ >T aL[;gTOz|y8W++8J3Sf=whuA@n5%AԞP`ajY7@:{] F3/;1$9w _,J[̝Sհ<`> A[)H ")pX쾊2y`aa %@bγgCI3A ֕ZCe&RҪpa+I4j<޻sR+|w4y=3%12@ Nsv]G#Îp*+9ڬp: !y9QQ.e;["2?r2IhO=t|{p5we;5൲}!_LLɸU *slFlһqJjr3z͋=ꍿH# k++oZw_*錞xMLɖ<3R"E͹R/\z862nk.4;SH'Wk@"ؔ]x^BT U @^yhr{X9*E,D*d6雿 <4չQ<$Z;I~nV>DLpog+U;s)5dѵCAjD嚊FDM 4R`xT٭]iݪ ~cp^E(AĎ!R;'Q ;]~o#{S8o4%XMV\O %ӯWX..,f+uMVWn&+*M~\PC:ظuΎwfgRMp8q| PuF+fp̊ƮOfe , xYߎZeHwnHRr]a.--N}mqC0v.8oz}[K= L\fəVGuК:+Jl+OùR*܆HC>E18; [95^8>-߁^;?IL>eǾ9=sށs!ܱ$ ꠃo tw5ٞ3.șI=-$L9SO''#pUR*#OJ>e@\ }W,;QV0ikTLFdcǁu*z`^:8ih Pado .Hm1ۛ#ˆ*BSnR6fGrQ.7!rpw;Zde=bP׃%:{l~ 4[i(.up菄'KnT@<㋢uAWm"m;)FOW|)4q(B4LGCD]u$ rR-7_P%:^¢{$͊"V쏒f;`kӳaE-O 3fK830Oty9o TŶO SG/\o?p谂ʔW!t/ ݗ/lN旖t2_[.J'tkCD̮_5F}ohe-&?kW` d˅:୤ln0IbɠԹ` 1lafd-qDCSޝ!g kWϺ1<4W~NpgIr -ӖUʛ%[tH33zվ UN42hغm +8<9z8e'C;7m吡5Ҋ(7ZtM6[m xB`vdN8_qn_DBs(A]qoOi9Yk[ė&Hb͐!΄ۍoYۙb 0}3Wr񫋤PSҟ{>7C }dHQ_d2X6G\c}$q*!\'kJ NUɉ~Zd:sQ8Ilk"@u ` 4bc^V:IBj/>eX$s[+"`R MxȲyp /!O&ƌdޅ*pSM[C#$(ևq6O>`^bjK$/afni1K\%{no_/d|\%=b\ߥXf.3W&*M䐨9)lהkd)2qDʐ4{ ͭTO6WH*>:wFq k&&KDnSbl_ ?П-o|2+m' 揿 't}c*F֎V}%DWyRnh 8($iH]"~ V'+sC;iMIij( 8a=?)dmtFA6 tkf+S³Ya#QQ-IfH Jx@mk?[qN,v"vn ``3LٵU*[Gx2_/} #D,DARrl:UˤWvѓ8eHB :R&)]fJvPEt[#NchQNU}%+jg ڎ%;*DDHֲݗ9?b@F'74Y11^KG$5e7=I˩;4D0rؤVEI\0/_+OYMOك(z)p"c %o 4dy)M:7M}z"P#8(gE3Kk*>8@\N7+ѥ݇B%$_`)_Ժ[bnEv=ƍ34x ALHz:<%AUhF&,b֚ 3:gv]n9Ѧvb::u|8!d9jC'H6tuYjx^$6WJpӝ$>³~]Nҩ(Q`,L]7GwuK6@J=@4py2okBᆵ13־0nH0y S02AO^nãL0|[J%Y`)~)f*R|*a;2֭:B0F treux"jjrlek.bs4Ej%=segk] :2dāb!Kc gېO-\nl(Y0Ğ`ݖa (9umYԞi݅to |"dI0T6"Ή._'vViVoVZ{T(ճ8C>4ı֒DU[ǡHt|-+G"D]rg.IBshk }_6a\ĸf ̈́S7N\ۨ?i%)QfQ|rkF&RTXcʜOaτ+x6ҡ , lӬ}@U['U5'4K`V RN^`/u4F6~zV#q?f,LU67+N8HQnkLmЖNbhŵX=L(VJ$ 4vW<M ^%ܿ&V+?w1f0i|B0~nިg3^p%T^4/O=]9Š\tGl +0}d9!~qT2*[q D1 ~ dmCcRux!a dN2y %G"6۾Λ$}PGV~'T޵@6iޟ0[f jq:=znjn1Cݿh`F@-Y< bH:6v\1%!U"81uΎK'/T͢|~!XmvSB{Of0+7$vv{pFfqc+r/cb$ x,)f9 ASB$Ou$|xɃaJzMsF$Bu?S>L.HJc&<]{\~_r5[B"EZF ~Yhώ4m'ГAW^m8wYQHF~ N4h (*+$ ɟg5<$RQ=]$Dz$cR$ F= k6ϚXTBoiv&K0:'O`.jHfsl"uOs^Kc{JQze޲Yt }DD)smE+]Č"Q\߫Y-9a08tK!f&.|(E)GK/J9)CO5ߵAQB5rM?5ZS`sWY2x$3F (z!Iivc?S,R e^u;ņ V2o3}ZqCvkHz3̴p ~CzrKi9]9]=F'{cuD"_ 7хoyeae޴wa)M'dnER uJ/qup]uH Vm۱^H}ndCJ#[$O8ϛfl7 *&/QWMu>?-`t)SY_`Y`5%ȂhJhz-9X!'h$/;F,LuH(,'ejj&%])>kx#n-ǁ\K9\ ]Q"2T/mvv6J8kVs󾱈lpKB;B s ʨ]S[ #>DP$kW.Kp5if6XSJhSשj=N#TIl:Øٟx߾{vq #>ySdfZqוhYmz`댰+ՒSư<6p_^_܌ٻ.@1?7^l$,$w?)e_ xN!+6X$xax3ߖɧ60Y+3~W]D k\VΘoq@ܻesWǐY/QliS^ I @*/˝FP`'z\hoLD \is*:KfFŹ\<3})tF8@PߞZLz&#Pq:Ȥ]Jg%b-=M} MEb#{㚼EՆbd'ۃrVDXS?^H ˰$/4 6r#Il"Rol~{g@rZvS~]XJVz(QsjB߱/5Lt-:,3Z",ZEHs0?.m`7HN=E*1VE{moƜ# X۳bWy$`}rA:1qc(B3"(bO׽ 6_p\FYPy*Cv A2(NKQk~h ~-[ȿo|]g ӝN$Y"=+z / (oG {&S2DB)R{=vn5Vyv ($+&۫Ju :t>4D ,]*N.sf姀BM@ԧ]&|V1`$fz-OYPSėIG a4'XMjჱ^,2aw Po"!?,0%8[ 껮jGKLSs,G%/aXE(-biHi?V/\Ë=6}fѫ*LQqRqO؅9Ǝx`cyh2YK.AI23pڳ sϨ@"=^|D0/RaCVP$3k{ iLOqg-˕'3[Fk8AhsUND+A@&P+UDZ5r)ZZ@QmQzCAIzV~w߯v,5z 'KjH/aR|]-Q#wN-Ioy{0Bј1T|&O Qʖ5Q@Rjb3]}l's+?V &ḌkD-ӊWӯcﴈo؉vB-JÓ@:"c"dJИ{ŀqce?(^>р #&GX(lY5'( תxa/W33Jayhp馜 hpw/Z` Y4n\|샄~ܺ{΍p k}Ww\JPBfꁲO|SnWP̫(?b&xXk1Q^uSvV p*o*s·쨗}S} 31g"΢ҡ?NL D0;%>fBmk Wo󲒈PAJIξd߅NO藔IaXg~^)/E&/>WǩԷuhmg߉* ?{c*,`Qv|~Ke^`OM4YpNjp0^ gmhwa}mPHDuMݥIh<4|k+Hgmme\b! sɗጸpۣ6D{\4\N}5XM:#6hձAd*Sr)KNM /aEŸ` N]zcMzgӮ Rii#df]Yb TԎ{èk{X4[[L?@vk;ةAOmn sWPs7sC {yG\<țd!i^b"7J*E>e$ȁ3!>mx퐵)+&|KGlT_"4f6Pk6tԺ^Hf[OXb9iUOQ%`0(_&Jw_Xc9)>0v>z1uNnק$ ȗx_>G`fؠ4J9+S=n ,pwtREroo~^ UAUpRRoX ?WMڈ-eNV9d92 Q(hIR&h)kM`ae!'jXhmAU$+iC vaLYF"NFYLXEJ ctFU+N ,4V"(ɪgEPݩH 鍲gɴe` 'RP+nGJbYFp^ C\Î2־,G&cPG'PHIh}/5F:yrHَ3q`<գR͒#ml 5M"5\u1p}%ΛaVƝ4c;$j))P; }u Ҷ`Z\ƒKh&)fpҲE;A1w+{l}'T UC,,rW,c.+0uĥjd!]n+ʥZADEjNn{HJ}#ga6LfZJ>~Z1V ג}ٍNo{ \ic2&BѺT~UYrt8ǒƗ¨ʟ1?[w/:\ou.x/tݞ~YN\HE(.#.Hn>E?ʐ@+S ܨ*/+cv;M k%ޟVTywo¿UT|گK9U=2S/J&[.[9^s]6=Iܟ ݩM.\r1 {ۡ aM)rs\vp6e=,|5gEt"g!INōF]a!Z)n,Nch7Q ^92H!l8:б%`2͎YY]ޮ\,rS[B_)Akc.W'1@N˱~0M2ܴ{×0zTL=lĔtU(m L$;y(h7;BA ,h7*Eޫ;vTi8X]!  ܄Փ S@J[@C/lhyhS[18QZBZ,JFU ..rW3 c"5rQqJ|3"\YD}:Bw SmH+C+҄ !_;A~9 *Ce&\RVV;hJ;qgf0wd\=6|(Hmg?~)`j.n$+yr!ڧt+7t$荦B/,5똌Ci&&Oo9~)BD5{3VһK#* S֩t+D;IqDԹ}{iϯY!Bq:\眄DKg Q-­cQ+~pa(Q~ =yAǴU=x~!{it$\ܑRJP/o|DYMTBqq_F]Y9@2GY|. ޼2W + dq>\W)%#nP2:]v~bV!Y)7)6z pxP=XS~GJؚnϞO~4~+dG_iMq=e9ձ9Ib*P;O OI+3"@AT M-hpbƙ0 eIUб+Zidx}X85`䉯BdfIyv|A-A(tC)o+mP :O.TeF:2tb3.=bz;fq]UzDOJ~Z+  vG4Sp!KĬ0fr&!}:3ނ?R"Ah) RQm.F.sɫuR94JBvI$M w N,+@/_;r avt%G|+Bssݧ!ʆd RڞJz$rǢ ~7=eik:"^ *4'$-ov>{Xnd s_@H:6컋1M=_*E2c]Tp?x]j_`pz IZ$Ho.VsW\0nT1CCCTU@ȪR- 2c$ B'Q{ڸt1#d\;:mKεZtM#CgYZ Hol 5W# LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! E_]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]oxmK<"IX6et Q$69x Qxa |@nږAݷ6\e"ƹh,5_ UR)nMƄi7;ׄ'MQH>B9xW tf^6Z{I,7lIXgK[JH]|3saZ9Oi(jZ46ݭ[3C+H{g!%I FDsʟ]+8ᴹQOh]EGHܧC68N@v%Ɔz\IUkmBkQ,!㔈W"L^z$Ʈت$}|D4 QCߩ;\|z=()~82+ܗE C86y= lQ%Lߐ0Ȧ'Hz8"mz̓A}xZDiiU{fƝЄI0h,:Zbd0r.k}TnhquԯX |d kͲՇe@ݬ0K$Q4e]Jw@«0ZoAd9~\O#Vsyxn)`#=5Ho9ר?W@(XL"Kbm#T#͕Yv,:'fvi܉ӹU_=8kK?WؐV&!N9ڱ (ۛ *=n,P$oU ;Uӵ{%EȚf_9eӀ!At  Q¦ $ư%MaJ7AgQ_ВW{`MDW:E%|ýaJ?EXMnsV/ĮWp Ձ['Sܝm4~O>9.2b§pᜤw(BDmUJiaӊvݑ3=𸞸>c'yyçII *ÀdO;JG]/i)Sy#MAz||D.l%͏ez.G˨ymp >t^y7 A"~d.8oھrVHdN{vDGH0+N9q~Tqz aLȄFdC/%fqj1Y. ڣ^Ѧ*Ud]S5fbIr0\ȅ jlKzoJ-J'C1yKaM0G%얢_$ExHS;qN-u"A< $ixYOZ Fv]ꆱA(ܞA6CIё 0x9 w<Ͻ[wr[؟;x+UU>Ө>V ԯbHE+)g-7Vp;vǞ 5RAMESs'|5 )M=pܿlIݛK <;RA{H!uD̐Q~`UeJVV= +;zhYRtyQe4]9~\IaPa._ @'LJ @[e}Bob :}m&bEDrl,U; 'Blpru5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method[1H>h$iHa>D$ T)G[ywdQz@Y" ޾VXi Hˌ&"ysqz< |  .x 'YC//qˆ ͎]kOi8 -wp.< iWU襂x,2lcmnRRsJV/R;R-,4ߑ[oRdG;.M_̖='PkkW|.DXV#nujwwۀ82ɣ_L#$1bb~|+<s<бjڝ݋]H=bh'Fgy޿e0+Kڷ^R')N[8Rوny;?>QEil'S37Fun#ϛX <3Ň@񳒴]v~eK~::NJ3' hF/mgQvyN- :6*C+vٌ*9Ț" D+#<(B|<ԪAxB ІoKj"q{fGDxp<̂g%d??ޒ9c`-M^Dܼ u0$a0Jh4)zwYB*~\uTp ΂aHfΊ\6^r0/wh&P>r訮2&;oR{v =OsiR yqnuwr\=6Ðc^bW6ξ I[8H (] YR%ժyʫrRMqpF*`Cw{s9HX79 w VOn'Yf3ᱏVPDuю2Y%i٨l^(Wq@I/OsHfٗG=ӯ6ӳF2 _}lҐbg=tG(chh5N$To$=d(67B6V81fzU)H$!4Qe0ۤ{HW T( ,ujU_=U>w?)KrOڎ:x5)(:0Dp΀D)~\ p1\W ?2KPIM smIbJc}pK{E~ OK0z@oJlũSBz,%\T+|{&)|yNuo tWE7Dr"*ӡy˨dCy9?$;e> (l Jȇ.?}KڎۜA6`߇]?6ؖIE`d) $  q}I\T隌Hցpc!H0- j:7Wѭlk &,bK՜ŷI:/1L̚/pMޘCQӑgu;" \9i_z TW} ڥoZu|ßo93}ޖ)Cw>i밂Y9xITH]!%oWŕ<-*z5LpB\-As&#ki ѡ [,uPPӤg=4dW(xalCPՏWOX]yZPN&+$8gU⿍B1ZëXJˆ:R޾mCKɱƱHHK؞ohm%Vi4 : ޫ`1ˢR3%4*G0iy nPq @lRm%yUa1>ZI:+RB5*% t9 T bxĨO79N}\bSEU 'C8A@nx ]lbe7ԽyQ~>vlp-r+9T@dS fTH1" A)O8*:(#GZH4` u:;se5XHJF5ZO@ݔJ#zI]ZCL220 iAevRMn+,fMN\Q6[oVl'Mgya$,5/iɀ^:͔Ӣr8o7gszLw.E;2cFQ˕(6șS463;%zxѰꎿ2 cw33]E] M'9՛S]n@\DZ* G*l3zAYT@wPd1`IC %{ \{efE C=f ?_[&WNg!]hI)IfO2v݊ mښ{2ehGl'1 sK@=GTF?G0J1f8R45>a٧0Y={K+Qk줥{ ;U3909þ?<]t*SABKjɋD:`B:m\V2,mCQkf2?ZZѲOQsc 6ն\!. R4.r9՝l]iN`V^<cf5 "gYZ2ZFʒ4cf<:x܏E} EcKd"`dC&d& zti$| h/yX.o^i#HTt՗] 2Л RSa=PӬ-vΝp^&Oʑ΋?gHH&ߝk4ׇ0/jH|H$|pV8 M_li!و"r 8d5:>Oi U?t$dhSu*AZ!WxWS6< N̚`3Kqۮ!BDˣbh#FE !DŽ1 h_#蛻zc|uITjr\IoH>[&D~v%[M/ͺPɼy@3X>.XPKSpt&`e!xd3i.`׀982[[}e1ZYTw^8mU#|t%o#y)=2Cskk4*Y5s{3L\|AOH" $q80IO/y,Ofj?UmQAqKoy0fZ)Sgnf>IZe*pt J"޶M,ŏ%10e]_vq*&>ਹK*<I1)Thy57 9IovaxgRZR,w/'^wPᗬ8%ײ:(ڲwDSOc/O#SYLPhN:9 ]yס|tx70 8RSp5vY{q45,jZJ h4F+~WB(T{bjZN roVhh.q!c %  οjQ{|#ŪId [UCJ QNw㙏i13soWLNz+ߍdC6a6Hfu/Ġu 0v,j*nL> ,'HP B{ M0`W PȘ05 #q#c`kap{"Y^&:I(p5jYE{ø o #XQ#p(4#KuYvdڵngDèvHTNw>ˬMa`%Y8qnr[:;<9.C gghC:UY*>s8To_Î18jSXcԋiK'+CS] c;`#Cg(}+,#=(`D y Mn99lR+ɴP@cm*l2ۘnIn5{WWm[𙢲庂`nKoW[5^ kÐ;7}h̡\>CUcirM;!ORH݉4#DV8M7lG^o}j+`òJ.̒5:hh@lCkNjΚ_L#]އgMksÇ%87hIu-7̇dxtƿ"I%} OEq*3SLZ.x :\SHFxqV)ZxTQ$>]|n̵7נ}^{x[t j 7-!oTۻy[:qxj2,4ۄLg=Kr9""cRsF [ŁLAIOيE=gK/DF߼\s 25UӓQ?;K0CdL.ѥ! *65)6jzAzsI)nrR%`꺉|oM=m;CP1o誒iMJkx\~[@/Ŧ<-hX]Hș\0t>PHMi]fuvA20| Mm#qLg3qO0) 5Ɣ'*jAuN#0p>7Ox_~ )06q.Zm "4B.-ƕ6E),,0EFtNcC\f1N/ݔ Ke@KeNIÌyr8-0ڑ^3/\ #sIR;V9sez=%!dڹYVuxώο2[}kLCӳ&0Q( TezO"ӷNĨkXܛTt^aPzlPr69C+\Ϫ=>`e=aH$0nX wbRZWa#Fr?̱aL72`8x觨.Ecgh6Gd@ LML׳7‹(E#.Ux +Uj yE4#UT ݱW۩Ăq=16暁,e4"7ap⨯W`M!_/y[gdŕd_I.[ ]=ɠCQ7H-qmD# ~cR&]E qd`h0v}/xYNn}{$tr@p9,7fb5d<˖tẸV/9\!)؋O?f,Ga,ޑHlfQM㚲C3:&D4Ys;kaxuIm*!Ou1/ZGa; _b1ƫk髌FtۋJ΂AZg#kr˱5H&+dSS” )ԵMRJ@-Q׏:8Y q)oюië]*oEl(/8lP&;J*ש\ 'KL|R<ő#:$r39ID$YsO/o prE~&dcN'|Nb$s<_i zKZDJ{e:Umgߦpn``yPAbd}}z- Qqo@K(YC"Z?ۙ^KZ˱lloD8g#PW XE+07xI,&4~4V(?YPBZAz9+_W@X}UHPt= [*(Ʌ^b )"ERap!.,|)zDIcvмтm ]p7 2\QaDUB,N  ti@>Ro?ap7qEb;^?Αi 0LjQʇ }c&,fݐ~ъĂ(1^]ج)pkзdtޙYn];rɂmx]p[FF!2Kfیm@-zG6ڮIԝ( Z̩1"b05)| f E 'H 9hAm>G5گ$  `8'RgE@;STP{V$fӾeU6̮!wi%=4zaW  یar%Uc\C9¼2Poݫ8?67f@Q$`:o u-5IRN_~ 5f6NHKMZ]m0O8`zt=nfvPp5 ~0 *::ByIhu#,Ěy|H[GB=tMzJep UnAEhv&D"3AUUgF6 tiAZU'}vAoW UOQf B>RSHvb?;5>#At84aFF4`c'JQ5ZMmgc hH#.3LZ@>h$p#SEZ;|t16W |4aY2P݆c O+Vv,5?XJ9ϽLqt66ڊnnsf*.TA$%-ԫZ4A3rz qZ'0@Y_+Z-4MсAE˟ jbvZ .Pb y/F]@p"c&74Pc̽ ,58N@BS2hIoXc ack[BbLh'Tgpn%qSAjc0B5wRCkٶhCBskv5XЀG n>uP|VH("TYC`JZDwC8wbTBՁP%!zO oָ[b Xrp5h<3e B7BGSmCAԉB]]Z}sbĭ깗P)E H'n;M7y>~H^GO{%^,N5o]whRialulUg yG ͵{}@YsjXDb3%kYn2lp?V#"`uoa|#"ahf'v_ KENs+*sLj8 f9J&NRϱ!%?VR^aJ/Z׽ v.>@TCɻM iQ{7Ӳq$RA0s M{):Rq}VSŽgfM)HT-8c;>t~#~L7ʩ>3%eyh Bu7Y}hFG .VA~_moZx]5d gK`%ń7VwfHh@m<̨m zK{+MA L*|M:zrg|f9fp4"YiГє 6 |,&ϴ6I_-sܟo!u&Ui)7'ɡ@1n[}DDى+X71SGPMɥN)2Wjo3nئWV)7_}goi:2غU^ +A1.0J55ROgH0<ަ3oV[Ƴ"+<|m@~؋d'P{$ǖxH8TIɍzfxH0E@nmLSwT+p+3Yw=尴~7KWnlxZxgdGk@5Eud`g7 bᓢ8o..BSqY-9χaO fVwkꦔ̾6q:UDq]6m*B5CQ_γ 9AQ**i"t%C3Liq?T?(α+.f1AFm^-tq$jyMKTH u=5Z|P=]>mKo5FW4#m9e'ᓾ*S&I%_^XY|liIPN G0i 1Aqho-$ њObrCyDZ_wٸ#(8 D[zғdWHu\?N}􏀐], =VM˝mRoBL*Wr3h~QDL?PSsz*ޱ lŸ 7#BV tSib_IGOV~&VT}K&K/[il`pbwI bUCc7# -vvvj&C @ ~p̷,h<krݸ.s9Lxs ;#mJᇺ# f?'W-輋02Qh/J|ڟ,.pV9E6q(5/B?kR]oX6²OBs}}9h+qg2W2*U jgBל )8]'LdI\c7,_dEil?c \נM(7;3T^+KV-Y:sasgJ4s q0-qxceM싶" !2e  'MdlVIyUHo9_UǍӯ,\PAd$KWxnBN ]^UbHyoQbO#]' o7 !yߗo5 @OnNpu巘s0Lj) -"0:{sߗH Hr4vⓂ-^K郏 e+~2S (㲾q #6 LR-̢NT[o&2jzS4T4S8tPA0!#_c0fGF*pUeqa݉hp=K༂5.!i5|OJ.U*ANAQ `6׮S@XO.U :#F.j٥R #rH G}egiT\~pv'g'J9P83lt-56-+Gr0;H Zԍ'Dlܚ.W;}OC @z. sZZ NjJͮɡ9~rt]ye eL ܤ8i>;"Iu4rq]'RNR>{za'`T;y-(sPE z]32|AL[-Ed7S/ĥH >&k7]GLj@c_P $tshK,OUY Y > Д~nsjCAqSHWY!qH%-cc/<"D++. v׸UͲK ,ROI>~uo)z;#uqV$Za?, Y^2޻MwTea BA)#dk*}#=Nf-ݷ\sln(@as3+]71h|L4Sa|:@8 Rtb#],#Xد!bd:l9ʍ% exlY0Nv^\AR`X[Cf]@j>}:r&ƫ#|^م\WQk "L㑃dXBye{ϚI%\J9 {`bǪz\Fς~.hal]k_ʝ(ԥ6R3Ľ, 9atvV_[>ٜ['~;HVݨGe%ݿ-Saq:|60fzmVSol^{^D;kh9y:Ã&Hoodr-LUUS{*A`5)κ{ Vb D.U.S [:[4PdkwxH sndE+-\c7uM2˿Rw7,LՆRs1=1 Xk _%1@F!fƨ ﲁf}ir TQi"~F~4'ZxѯT@b;7]&)lPaz6Cz48~V%Ƹ_&jD/i]QKμf3ڽ/X|`/IA?.H!s4{@Qm%įZ:./i}%?""%+>k- R+" &&ˁNjʬqw0#+ނ<,{b%{Ro@}bf%A>hǸIY:7&L)vg[ҁ[M?g2A-pԠ,*HZ|t:6XSD;yV inw ,?M@"v!wdF6l~*%%[ fYÅ-zGgj=h-(#433pʲsI: K~%a2raQeR7\0jaj, g5-{6.{<~HŤwqFnހQ:#یk[ -n4|&qsw(5tr$ΥDpZR"Jd:W:SVytjꪞl9rU=+M4b9|yЀbpōIsU;Vs\t5L;R)@}DqSGR4bYFIx+M!^%M47/d2 Yv}FI_6]UU4wia7pB)놊!b Lf!UaIRF(>e<"a8 }f"!Jt杻c'c+bmՁ)z_4iXBmb\y jL ĘCAX LwEXy\̀s5f=ݪt^䁒:f34&}Jcbg={s65Ep\ WDz>*q:galޖ%MB^ITv {ص2Ia"`A}9IA(~܈[u¢GMíW6\3(Hwg緿NVh+ 54QC9Q-9G}A5$E{;E ӈwyJT{/|gD?}ڙ6غX]iH(vN`>PµX9-&'W8?7 `oV ^ݑ ?] ~L4PbUyf@v.~3C.#v‡+ < kC_0De*尣9̮_egIe<)h< }ldgYZ702571c78f680997d0c06fcaaf7859b986ebbe27c6b09fa39df949bd17c25111c7a89bcc62196e4a 9487e61ad16d751721567ee8d71a9f38dd441909