SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info P|\ S IOA-ex:threads=2elapsed=0.964cpu=2.028gc=0.000factor=2.107zXZִF!   IOA-ex ]ŗXf1-qN50^ \!RY/nDTj*tL_,EPԣgY鬳j׌:+Oi̮iI1 gM 2n@nDʉe|[bNPT>*Ybt \V]yRP9IZݏYr4{7 0yclS7,oJjwd# PG@bGQ:P1ܑrZ&a7zY5{?gYZ7zXZִF! g]ŗXi%Cߗa= Mb r:bog\u57xR4K؈dS_Q{m9&ތjc׾)Lj蘥jjpD>)L9 i&ɛ 2 Ȕ7zC4ʅ)w+҉o#X4t7v{刳jC> [O x&&4qmeBXFah,ArJrpA֎6}Llj1j݅K X@w$Wstdu(RKGf3DL׍<&W }eC7:* H ^gYZ0a3b8cd38944bdab984be3653875710900390a44 600351b420a2a1e509c529a1cdc650c3f43945ab 64f13f5ead5c299fc21eafd0f4eb3419e8a3b86d014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa 5a5946a58e624c203389a73d2634854bdec986bf cae1dfef5272e341c8c2a3afe5b6526151a1ace8