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 W,4 S CofGroups:threads=2elapsed=0.907cpu=1.488gc=0.000factor=1.647zXZִF!   CofGroups ]ŗXf1-/6vRZyѝ6lAZF=/Ob~#;?\=~AUןLgLõz*uL^>;m{3t>XQcu*[[ɰ~2(F\fC2^  Hg]LE gYZ7zXZִF! ]ŗXi%Hνr=J ⵐP%$k;ǤmredOYN&$W񟐞gq\}L0(z5-iY*ubprLK%O˓1Mj H 5 jL:a^nmLMq-_b,Io8R3^:E,'GM'PDd d=O fyE? gfղ "C0KԩA%-%lM GL2AE Deߪ7Ɔa {,Њ39,do0 Q`ȉֵĪ~5f5 ]/$zR36cOUUل u)b^Iab\Ksm7rbx0LY2esP!Vw҄K)Kfo%ĩMi|Üdl"gYZ98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b d174eba2e2af1cc41893c051ef544ce05c6ab8c68c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a