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 SL S CofGroups:threads=2elapsed=0.916cpu=1.492gc=0.000factor=1.637zXZִF!   CofGroups ]ŗXf1-/6vRZyѝ6lAZF=/Ob~#;?\=~AUןLgLõz*uL]؊6ڷ%y~=F VCyns2>xAN:W_i2ڶ@3N1 ꗙɊ &z]jgYZ7zXZִF! ]ŗXi%B׆kR?SC11 >o$uWAL!wW bˊA#Wh}x6DP[}?mxO<G)IG˧A sF%wUݏ*C4bü>#Ptq[k' vR,~˰`!F .vlxFLS[{"۩a~91[^Yqlxn>ə^)蚎Lj Ugd:$yZ; i`nnf\qĮIJVMq3S[yLqm Πnk)O(0ߐr.;e7EQi{dHfr;~a8gKpȘLua8$OM6]'>f 6 j/+"2NAџ\gYZ98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b e19ab741bf9394d29258c65b5d232d784a4aa96ad7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9