SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   d5\t // HOL-Record_Benchmark:threads=6elapsed=104.024cpu=176.120gc=8.604factor=1.697zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2?Z1˘/@GG|1mSeD0xgYZ7zXZִF! "]ŗXi%6mɉx74+sM㺉W1c2[ak2r G:>$Ђ-Gj%/8Qv{Fqtc>-ڙ6˩ϯkm5ړ0*DHbYC/䎡o:!'!*,٣cP>:0Х¥LR˺UrLT}[Zls8>H.J(XJn)HGFr M;C)/嚭hj $9y(>f hv́~(|~p|$Z̊0wk_#UtU4Ԇ2~ }ͽ@\BΨ ;.SDAU687+g 5 HOL-Record_Benchmarkr 4nol'B>aS/y¾s!>ΔmOO)kF;f9ܞnäxd՚ySŔ L"Az@T[4V7p''RA T7BMEV;lX0x&6\j d×=-,o˥:YLZjӿ.r`&`a [y? @ܺ}! Z6j >~pզM7Qvd7*#A%r긡_pQ3%;x(a)!b,E5x Qj|aH(5Hs ;`.*&VڶG% [}OOɀ"v fܛQp%la"_|ZP;I3;`FZq4O=/#Y_Cv4N/4U}^rŔ.>J/@x*~U!@d4oƔQWQyKqk.:zgYSۦHp,n*ȒnKn,8A7n8p3KoD1rB$C+?-E-l I+)t:5,(O06ݹQ)bT?(N^5;s2) Un)W/% yX~KPߡ|r|8F3 tw}Ey5"N˿M%q98eUpggQaf4ާ̴yiu3n~j^+eE+ Cɴ$J7 P&,$vAKuuC2S1u_Sƿd`7D1@YI.[R^b*#LB3q#-q-֏z~HZŸ12cd𝺂.ǧ#!&(,c}-Z΃ :y硛$k Ȥy^>_: ?q%("@D2&1>{=IGP\u2=|o@gk5L!T'],g貢NckGj@ż 1|缯 jxҸvȀ+&`\sNz"TcZ $,{f4i A]~VXri">S aa8$soqGMʧ.:;EaahA4v]fXIE}C+(ULG5{Y RD0gדpVǛb^N.0mPGvzoIWi@ $Ѱd6猃>ѣ *|W4%]~6F;@I|5#&֐=ҩQ KC^(V1Fo:2CSv`j/R{쒐?m ^bG$RR2VG2HD [ßOE(ԭ@> yPOYDF9MUW6̜٢qW$!Lfˉr̂/%~ ?W}臊2tY~[.",V1gsڪ %{8ۢjrFLQo +#š56UspQ<ϸ<67:"Q9m&[^鐾ˢmDڅ$u <=Lq5o=#uh8KdlVOlGQ;Z,Zˉ1qĶb*>:o=Wr( UQa~0E=DSMε2&{8#d=Q<کtǺtzI%jQ>1zm%st" 7sBא!:Kpr(⠫:HO,7l>r;bD!|iw(s![GF9Rl{>BЋ#mp>ź\q+vK`&_tlnyBfW˶y`dJu ?>Dke4X.9\hԛt$OR_ƃBo-La"ZBI"qMrB3]X=W&ݰb V%;PW:)|K6\77V1a(ɷqwc6S#nuJ~r҅:(p2θUZri߃أ8oܣБ\M `ﯫ#}KcGm SV XJ,5a?5Lh\!21xh' 0tDG8*Ȧy_?Ծ@5^XyLwߕ?؛0e|.\{ep=0o]uv-a*^ޤwj=9L~KqKh&3=Q7~u>.dE})i 1R$ں[\([szm#(j>YGO-)]x7JE E-V"H< ӕWv-֤ق#XhuLuNsh;{ť4zϵ2߹Ð yuz OԺ(Xݒz`pT1x M|yT@Ǘ޵DUq͟0Tt$UaziP =Sl+:1F9c3TkE[i4IC+r D\j-'ˉֆKd[[B R_V a(b8Z~: Z$~+t-IM|WYΠӮEЌ~n?%hט q4[-j'rŘ._QwMNtԻj̵ 2[Q yl}dFܯGK%f rv*""`c<3;G!@?9+5΢K%r/~eg]'" d||_kP@> $!Jj# Br[ P0*"=gYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f8c6653a213398dacc5da9ec9ed78efb792c1c55ee 53e49ceb6bdec01b73abd578b53ab5073664047a