SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
V V D ]
HOL-Bali:threads=6elapsed=70.346cpu=231.272gc=10.260factor=3.297zXZ ִF ! MW] ŗXf1-q恈73w@9!Ӳ)
Fz_nU|!i"JYre@KWo
WxPA[~pPE! ًx5PpKUۅʳͦyAKiH!ĸ*`~yh]ST23ZV&2w95&)!~ST&F$ݛD~+ 4ԨBh\~P}<o巈x?p: x:8m/_W 'E qK;3u,VFl^
S
1@Ebb)XB^"N-(h#;&Π}t8l=i1%Nk+eQh)z$'=EmEvaؓW65 =k%sy
ʦ +~7fƳnb17=[?5͟O\/X3#bD.L2x$4S-<#EBFCEA*J9s= 9d
5*9j7n`\:8&X#oْMu c1j8.͋-E)VyOV "
nG5
B*gZLmZ~unbr[[;f!wHC+r.O,(y@T w,Xֽ$W
,!at LKBz4 +65"U9= ]gٯC4G<ސ\bPMgy)GꍨuX{g䰟zFyͅˑ#Y.i0PkU
AD3F@ǰ7*!Oi\>y%q0tFlKW{7{d`%2 ʇ $
FY6q)r(7@cVc79a9U 6T-sO>!|x0z
}5
_FB