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  tT$ ] HOL-Unix:threads=2elapsed=5.743cpu=9.572gc=0.552factor=1.677zXZִF! ]ŗXf1-q恈>HAHIq"”a;E HvGl "9%i-3SYe]kDSIw9Ҥ/*3ӣ臊\9Ahxv/aD6m2S lBTVf3_ vrH0(C n?Ah9pN;p[ B`U> kgtBoXUZ.T^)gYZ7zXZִF! d]ŗXiɟ1Ivx*`(rHQ ɅeXa?I\G vu朄"֗ =tn.Yp+e[Yfz V|=nEHgYZ7zXZִF! * ]ŗXi%;Z'i8] FҔ) nm8W`mF-{$;wUwŊ] ',􈽚:Ois~_I db,^F>]Fmg#V%F˃Na( PSS)tm>}:[gz⫏5q 2|OA9$TV`ߝ -{E]2w}]@3{ @oIݚuqg%HoO7ni