SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 3/ L ww Monomorphic_Monad:threads=2elapsed=21.244cpu=32.840gc=1.744factor=1.557zXZִF! ]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@Wdޘدf$2AY  *=:2SF7qFu] qoSt(s}+LmͮKͻ+`kָ=FW#uGҡg1L"9W0lW%f_/:̮+\P[*峔7ѬsDDڑ{+׻UI7&S'oȰQ慵Ė%-nxa̤ %>nn Z&IJ:q{il7,?bdQRHƨ86` NT-`_o`}5`{A={^GAQW~`=|uԵ3fMoQWƏgտ}&z2P@Vf QZYuR6z"P| n/'V!xD] }89]ZJLFc;` ?R `2C~މw!{,3_ɪUڲ9D 3g/Ndo;z 2̂$u$f\m`ɳC %