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  85t // HOL-Record_Benchmark:threads=6elapsed=100.275cpu=172.532gc=8.952factor=1.727zXZִF! {]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5iuy,lnex9jЂ rNq9EqGj*BR`v0&}^fg[|1Ę.`?ֺ*vr X> 1-Z1y܌{=G55ΨOuޅчB1U?]Օ0P5gYZ7zXZִF! ]ŗXi%h "Py(4#F>K1^1XmYq `Il7Pwg\Mx\QZf9ݩ> ]R+Ut) WVVJ,FE6%S'cQJ.5ۢF6=[kK Ϩ03hY3c,K$l}DdYEKb{}CPmڨyvad!s2&h$%\ZSPIL+´cSKcĸ ,*A엀%ɛ0fN;_˥!"ĉ@ȏ%֮a62^P_HVTkv*Yxkz΍t"@㡜0 N 5 HOL-Record_BenchmarkXQ 3@Ь2%&"-QCX\mSPkSX|5Pq0NF1Jh{?W]wF"#d ͮ3L*~:Wu{(-t25*p:>2{Ci!{5jOJj,(g0eI^)Y|cX pg*jhb7Dՙ6 ?:RĿ!_mb*RxT޴1ӞbɎunĔHF}.$*NL3ժJJ> w}vOR:3fOխf 9Dt<$9d^]{~ʇV-+sJqUm:cUXYtA ^exO)'M46dn4 =pV}kL*`8 9e#"FhY(BqW9ϠXuq;PT| kCj=PUY p/g=숗%jb4Ki#;7ϳ}S.mDHZxXbҧ8Z_´)QDa*8غ9}@/0Md 飈 xBJJd@@>=HE2>]+m&Mj1TWEDH̞ {9sMXeHl^/7[$lгOj&},)U"j̗}D8E.Puk9Q+Q7  ;N*4`WK!H^]l`̛L2(J~EÉ :rv鴾Mj|\X b)ƌv\x3ZxDEo NHOn(swrτ Ch,frW}WѓtDϗ;&b* DK{pi^!VV:iԇ򶒫pu&|_4…URnyl.> ne3UƢcyA&Rg^uyZt0>^Usp{̉KkZ\lb#قe=eSՌBrH(`c"ihWҗ%0Muy%9~P8^Lz K"VZ$m7?B+Ze$"=PHw^B`GL"^nvkT,aO`,Y(Gz]aFLӁ[}Ϛt\SJ̠0e_*3I'(g% &4` ڦȻjPOH9aVApa] oixO ߃1%Y_ErAG';kjHb4d,Xτl3HhsKH s0|:h%QͱL# wr \ϖ%'dȲeyUF=̹ȥ uEaѤYFQenj "\>G}#E~ptQ0XZ ]CZV/yDEZ_EE&rHn q߅۠Cx3.u jnrSiSAHN1 s'OsLa#$eYʫ ׁerkR\Y^cρ_wS6l̘n;pkcnI9yw鎽Y}w|pCL h(*NN`[US#hs$$/{mpJo"5<_g85#Rz+ܥ}Dq%fy>]7臯7 JHl(}҂E JڨůNL9RB_gSbVJ 5n9M1 !y /[Q8w}:lQ;=ݣRiWbhbڢ(3&A @A4v.,7FF)$Zlib%T17%9wtDo+#śd骪l~YW>5S|8?Etx7+cevLM|Y8F@fen,5yQ@g>/+F|6}{^3gvbyܔ U%i;SV5 %NXu0֕fŸ&/-~em(:zlg6Iݛ%!t%:Tu< ipL|"; )`4ZFXP 3oA_Ǻއ@`)[:245c8p%gLtqT#_Zju[K @Gji̐bzr4,ۑ+.|[,WE/}ˍ܆ $ d}wC"Fo.CgVG+ߎ?lҖ?ٰmD>M :GO t^"1Ca׽p r::wu{ }U gz?+録>OA.|jӿߔbM;X=|>0 .e5ґHk7bK}epvve@90񯳶3GLm íR їpR_g\Dwe9L;qhF%[76iL$`2ca³C o* ~զ )X0Jj_)d L]^cz3ђ,Xe^0m+ Tw%~A*KBeqq=lO8L 0!QqV(\l|2z}l@ah%)6ui&k%0Lonk,E;0)ESҁY\~W<Vl$*.LfT$-'門k+A+8ZIQ?/F,o7̆pltSa&IXP(qz0D >)|\,Z!:( x'Tc\P!\YgYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f83a7422e0724a52c670b6af062a2766354a1a58d8 2d5861e1c6561c4a4d447266daff4f079b1d6d66