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 Z#< %]JNF-HOL-Lib:threads=2elapsed=1.396cpu=2.776gc=0.000factor=1.997zXZִF! y]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:)E(J0|%3X{6mbvtY_h1.4 |ִlƬe$dӇAyӡCB4yi # JNF-HOL-Libc.;e:' 1Ғf4kYd/&dqTY(sУHpHb;jP%pEFH9u7!a^:ʱ ?%.%][-^ji`BWW4ÐޱgYZ7zXZִF! +]ŗXi%Vla.yKAr?# "u_K7ϼ;Uq’'v}cױHڃ/ivh1Q gmX|ȼQ#٫W ЇU1 eRt5HQ*-|9h<)] ^pՕ;9kM߶ԘD՚2t)$ ]@> }%Bué_ɚacp#T<ǽ#_qF?WQ v xCxFm)/k"$"6o f#$b9ugYZ6907e6f4ed210139c66774341d3055dd22f24c58 d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727a80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f146 7f0ee7876e08aa57090805217b1394b9328c7d2c f5394ff5f843b7802261a4cce001acdb9d9d1cd99aa2298f0edbfe82ed0cc75d4d48cb7415308600