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 ]%]JNF-HOL-Lib:threads=2elapsed=1.665cpu=2.692gc=0.000factor=1.627zXZִF! e]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)s}7Y#vcz5#X gYZ7zXZִF! d]ŗXiɟ1?ߟt;9HK?.>e7"7gxEE +srh ݿtB_W\EtRx{@v{d'Xg N#gYZ7zXZִF! q]ŗXi%92ArB}عBOb)^ W F~ϝ ߞ3F^) 1RH' BpwhK3dzޙ7BTۘ¯Hk<6ni[t )A}UeA9rHz(N+"E/EW98,2jiɣd~6r>HWmmNTkGWɠ];+KQX)o wZW$1'1D/w+h> vЮ9`x3߭t/?LcPDkZH.gc4Sh >(Ǧ2L}2KA=Saqu.ɠ2gP0Jb(>儫O۷}9Ps͍J7\-2T'\<t gYZa2aec1c5c1e6ffd36b05aad5f4cef4bb0d0438c2bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 2d6e38d83c3e90a100dde7fed1e4308f472211d2 9b8c9cab83535305bb7ec47115f62b016b968e85 21fcc5bdabac474b8d8d9b644f021b540066990b29ae37601659720b2aa80e0b548327b725c658fd # JNF-HOL-Lib