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 88E dtl ] IOA:threads=6elapsed=7.415cpu=29.996gc=1.128factor=4.057zXZִF! G]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K %ՋiV LdGA*Ւ$cRY_9[A-z]XDzv8i hbD /k EgYZ7zXZִF! %]ŗXi%6\ҋ֥G>,$z*7ay (B›sSzPVGʩ ~[ 4&%ɯ Dсٵ `()KqGL@b)R)}[>dȝu _O#t{ba/, ؝Y7h FZ⶯}ZޏK(h T\[ rNG_DXD a6Pg?D4:m=]I[x>g}9\NQzrK~峴Y/RugVjz6&ҝCT z\u!ue|q͘n}>%L轪GQNp 3`L9CSqA(7EwA66X6 W;aF>5,QL!/ va"FJ 'W!E:ތr&-̑r/Fض|qQo)DbG85VqW%>żt6MWr *6#8Xי-Q25gxvLe1VHb1Z5BDߟcn%YFlF}F2g X$W}@nj aߗV"΀6zvs/TN9݃"ޥM}Xb