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  .DLT ]/ ZF-IMP:threads=2elapsed=1.096cpu=1.264gc=0.000factor=1.157zXZִF! []ŗXf1-W^E=J8,kGBxZ~>$b>IwYm~zP %lb1}CwWgYZ7zXZִF! `]ŗXiɟ9)Sy6\Y.)^,nyʭnNz  ՑSb[&Uָ9of$J4}! tK|yc\agYZ7zXZִF! ]ŗXi%9*WW=hk/Ś{NZr"+N5ڽ7}3l);i(6\$c:ْ4÷QxgWf( >2aiy$"?Q'~9ݩ\:LctI%դ̚R'l:-{V)lsI(dDS =fW,d8lwJiTȿM9XC*>1+#TA)#cX^`6R(s{||5lgYZec1511789a204d1f5860dca5ee580a1964a7a4651f11aeb0b5cb58822b61789e97e7af2cf416f0f7 2170a5fa4a68f7b1a42bd57e1745c11f34cab24c   ZF-IMP