SQLite format 3@ . BBh77otableisabelle_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 --P7 l, ] HOL-Word-SMT_Examples:threads=6elapsed=55.772cpu=77.088gc=0.880factor=1.387zXZִF! -n]ŗXf1-q恈2Z( \9 .b(BlfT+mmZDPJ5|Ybuɫ%"(Ne bqdH" R/BF-Wk2$wofZ$C>\(M)(<':͈MXB70/@;uz}?.z&XB&O"ﶵYXE@>}> 2\Cل]*qLa?p(Ϧ_بX}?cQ;#-)$GZbsn :_5YW{ F1 ,OPS| >FЍc^@el[n^-$Pي:gLlnaj #Gj@Ddf_vunN| ~&Ň=؁(Vץ:ROKX:m$")z `JK gtL$psS) iM{JXɶn^f&w"ᰥYpsUzzHyWc/rꋖz:P2?㓶)jrMʊVPhacpW;m\z~ՏzOΪoH_XW[XeI+$P0A=gYZ7zXZִF! Y]ŗXiɟ1}?ĻQ5?01|`+)2$3%SshB ; @l"oɃS^cGpS%k iQdƭZ/BJVo9}o_“ϛ#kڱgYZ7zXZִF! ]ŗXi%6SrJjhQMqpIϏ=qT#˶Ot,, 9\sȯe"?̊êTE&c q&ܹyL_*HZIDPrEPARݢ ԙYklUWxd{oyf p"%8PXg! _ O@XEX ֫뤍좕Gu/i 2>I/fVd<.(GG4hOU[ : me$Y=o?e7j*ٕ>' 2ar=ܞMm*d7JˬYBX?03 jg'd*f/NU*\ȍdMrI VO%߬{Q~>IC {q̑\@RXE10.~Vx":hH^oovXd5:C?uyy9͌sAEzʳhaHx5BMf ߇qopyzru9! WTjTF|T--U!)0BV4ZT@:΃2dyX.:?\rK9 Sa*GAm(ӣu˸_^2}?Rs\Iy=hOPD:=uGQ{'Uk`*_w%aK%'$0D O'!sK@վfj{s񆁊j;) j3fU;)P;!iQˀDYyޝF0zL#hmO8blh1reT:qR%"2ԿDwC&آla.0~30FPQщ\Y->绘]SOnlu`oQ ffD P ](p_| 7yGwl[X獊D!a^KCD9 PyIOQ:H{sE…~9M"\Ϙ˛1gyBTqitW6?¼>M~G/eм]쁛 4 -Ұ6&i'QK=@.QZ+VEĐ'₰?z4Ooh^a1蓮T |s褴 { ZZTiC¥-׹`vl˱jX# 2kAA gObCCfhBLq9 9="/WNI~0vr-Y V< #E$+)OL$^FЙ˶-Q$U*u#cgKqznNTFYːьA$ 10PdꥑL31z9MrfeC򅴈QjwrdHN