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 DD9% ,l %/ FOL_Harrison:threads=2elapsed=11.995cpu=19.300gc=0.600factor=1.617zXZִF! 9]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=b;fŌ9OZ";we儠h54!d`@EM0w 8*'\T 2Ew/pr^ɍ^qL' 4>Y䫊rߔnH\+^=v>k煤 =d#j%U0U Q(S;&"Qvzùf7QCH&tj:r`xTWCS))# ߥ֕GH&|^J.lknT5 @ @(JeBaݱP+4Ot9r>(p/&ֆV' Az7¥6lLw^0PM8%=þd~Z+lDvb &xH3X|"lX+-CթE p7!8};8{<8º0` <`OK}\dXܰDs>A/(eO&ïsaTa\⪺ݠFY^cU,};s_ CA2JE8'.!gYZ2416511848c69b845f7c8a4ec82eefea0fd138c9 c08c0d5d4601fb33f1b6cf9f7f814c612221dae7 c7864d452fb7be488479a993f5068e3a5ece73da daafd816af788235165bdb8cfd09c393597c7cd6 f0fce7eeae1ffa41a6f0691e21062958b47031cc554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 % FOL_Harrison