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  d4 ]S IOA:threads=6elapsed=7.599cpu=30.264gc=1.360factor=3.987zXZִF! )]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)B Do;Yi 3y$Wg{E Ȑ-lMj79AY7 ֞$~o`+@E DRe4?]+>ݾ-S#Sm'`̌2?Sf?5N#1!败zMlȆ1CS,vl֟z@G^ /a}wL 4fSrȂ\H\gYZ7zXZִF! `y]ŗXiɟdN'LvH۹8[sV/n +WR7K(w ~bxX2UڦbrŹ(<3 ǵ6"u@/Wi].5cO$t\"-O.+wQӋמٴ1SXvv9lY'\xQ,ڬ.b @un_klH e t}-w ZNKn<*cFjݍ"{+3\SG>͉D.H[SeH[®?so7B  axj:s»6/-W|9a0TXǖ{ TF`jjXZjWLMh J,*K%6Hw~tC >qX%uъ`qग़jFeKLgYZ3bdbe7c4ca59621d7f035a94139bee65ebfa2224e739dc532a6c80e6f5d762f572346ebeb03f4552 5c6d1467eb3dbc220749df9119f5083087abde6c a222adeaaeeac8054ee14fb02b6697a4291344c2 d3a6ec61a2067eb2844de6d42ed2fde68052adff  IOA