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  S 4l ]/ ZF-Coind:threads=2elapsed=0.755cpu=1.444gc=0.000factor=1.917zXZִF! ]ŗXiɟ94/<&qzKppP$]eip`r@{K z'E`!c2ŶI؍ߣr=BW6a-jX 'μds {i[ ۆ:K6Tx슷grgYZ7zXZִF! o]ŗXi%9*WX"?N1"#I GJl98~֐q B`{.ΈN4WyS.gpTsbo!Z N0Grh;Myg3 /fC\l1\I6$u&x9\$}MQ GvQWَ@)T=F9ln8N5* unʄMBmQU(so-l2 @j/j*$tEWn1MTQSSf`$~}B^ǂ磷NKO&ۖ:R)Y%&!l,APiMmmI[ dؔgYZace0499cf5408951a1288cae8a6d4998b3ee6b571f11aeb0b5cb58822b61789e97e7af2cf416f0f7 2170a5fa4a68f7b1a42bd57e1745c11f34cab24c   ZF-Coind