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  u# , ]S HOLCF-FOCUS:threads=2elapsed=4.151cpu=7.712gc=0.240factor=1.867zXZִF! ]ŗXf1-qNezGh)=|"*AvӇ~{?@& tu|= 6CYhp= IVYK%'v˱Seѥĺb@o456uXiti4}hBRs5:@g9Qt~妇 lKgYZ7zXZִF! @]ŗXi%;NH7&TSI\ Xfx9_2Gb_p+6ho2_>kYEҴ!D֓L\ {0й4ب8@|Vj/X~ Vε;ˏ@}\T={ ]IDdII/h~^IZJ6Ȫ機C9T|m\Q,'yVRK6 "USsE{|;q*d]ǓկȤdF~~YS|+mc4콶Z%kȠyLesCd\0Moe09) >}^} AR~KVzݬA 8Xͪp)5xe; FJ==i܌ٱg/{%)9zgYZ7fe79907478787f2254eda59adbfc46e452192d1b1e9d096eff3e2d2097c331d061d199548b5d3ea d6c569c3cb498e2d723179c18cc1cd66ffdd721e 8c8c40f151aa79a5e88a37fecd8a88898973ad87 ea4f3b68e694d0d8bb7b1145cd5577c11d47e2bd # HOLCF-FOCUS