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 $) |L %S Dynamic_Tables:threads=2elapsed=8.339cpu=16.208gc=0.312factor=1.947zXZִF! x]ŗXf1-/6vRZaK Zf 0kߵDڞӯk@=ڷ8{8 Ґ hev|ƻ?}CV̉3q-]0cJu$Kы>[3쏈0_Iu,ONvG Ş{1!3JhnMPU0&2л[wpjCmkw΋5Rm+&}7Ek4{@>Fd3?Acm<*-q{w*u`t~KQ|&>@6](^Sq0å Q,C4quziӭJߎ#(q'>\ I0O'kOF\{vu.p({5R|Fi#+n b]er%k_D0SY}]N6CCJ L!6oꬢ;(i'k&P<橽h'yξQw_a}