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  $t< ]/ HOL-IMPP:threads=2elapsed=4.175cpu=7.056gc=0.220factor=1.697zXZִF! ]ŗXf1-q恈@"aiє4$K4`W?&lj RL=_˕ <7A> z!b%^$_V&6êsaɿr HiEeԸ1ѧXd8ֹ`q)J.YY=@">&gYZ7zXZִF! O]ŗXiɟ1, u:e#_ ژ\3+r0+#CSJ|#nc%$L{Jl|:v=RŜ0WGq(!_ď3:N|RUBӠ%{#+bhYgYZ7zXZִF! W]ŗXi%96@ƒQuUr` u0T#}IF">%,>< ճ[@mQ )r{$NG$m[̊s/ZSĴAC]{t'EW9K nݓ`S&olEEI)buY&Ďӹ8%ߑA^D8\۝xJ.?qG2ŭ {N\d,[r"ў@8!#Y'xFΜ{cVtcCN iԹ̾!1O$J<39 9g do7IppP4r(vHp&:T`iQ_^b!x}%S<5 "6X͎9u%eO.Bŏɕhf->[0R.ٺ*}OK 3PZàQx&0Rʴl*1FS&P eЗe6{8_ƙ{#w] bܟ8X5cNpVN8\'(x`U$+q!XrM$̧1N\4UGHBE1챆˴N֭hͼsʞp̺wg\I(tn6)v9gYZ9a73d5d09e7574727e903a01f2ba37057165b10b3fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de   HOL-IMPP