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 _#, %S IOA-Storage:threads=2elapsed=1.546cpu=2.280gc=0.000factor=1.477zXZִF! ]ŗXf1-qN50^\z(Q^ bA]0|["> Cz,ߓ2ӈངq鼕*'k__/ # IOA-StoragefQƫ{Κo9Pbl WFWgԜ.0 u?8P ".;&^VֆP¾q_c'ܿxpY {SWO yLWJ5`@'C+5a$x'n I |FU=" v *$x W[\gYZ7zXZִF! %]ŗXi%#]ٞ\{[w>]xӝ-ŀd^V&kFބޯ8 <šOR":/+{wyhzmd^7HBeť P'Q, Q>H* ً9G혉Um,uZ;FHJ{.ʓfMjÁ}S<S+q7r;U 7R|E;=,VjqCK 7ym)]ff2>ctvyּ 7׎#qVtna2r6")LHFj) _rbknf>oWWj (NDͱgYZ1c621daf073290d4954797d14376b4be87fe39a0 40a9ccea56ff4483ed7f63b7ea1e940df2867481 54cf1d1347f9fef8508c44b2aa52c813c5522952 6f17ded453781d2611a72787be114dc781f8540e 79c35c2aabb290308d162d834860f07aad43015476e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575 8b3f1621ad686cf3aa842ec79ad06a6f95fde427 693d3cc2d5119525d7bb1cd0f74082c774dd90f8