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  a#,l ]S HOLCF-FOCUS:threads=2elapsed=3.865cpu=7.564gc=0.244factor=1.967zXZִF! ]ŗXf1-qNezGh)=|"*AvD2#Z^ ڛ|i&@z1G$dybqoϩovrT[E *y su;`՗ Zg'GԱgYZ7zXZִF! ]ŗXiɟ>Ӈ~{?@& tu|= 7dliZccFK x* 2,#`.kjic珹G '88R`$,5{ѐGgxy`a..k$7gZÿ*NQj%{gYZ7zXZִF! 0]ŗXi%;g:G.4i*vnNpmSt|o7)*Ԧ3m-7SeV4Oy`c7bk|g>I4P\:%&[s2Shkw]