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|d S CofGroups:threads=2elapsed=0.883cpu=1.472gc=0.000factor=1.677zXZִF!   CofGroups ]ŗXf1-/6vRZyѝ6lAZF=/Ob~#;?\=~AUןLgLõz*tVV/\ ^ }ab-7 Lok{>)f^>IM誣\aeF "wL]5M~W#3F{jZ~֪hbgYZ7zXZִF! ]ŗXi%DQ'/H 2rOe# AiygYMeq[MxQ6n'2/;|, C"fyވ!}CevHgih13ʬLrD B^B5R.^@ zHU۠GI}ꤤ+/?"US(.(똱dj[D~?>C^Fna[E] L݋mJ7%o|bg ׫,cDהn+AT}"UcTv|W sGin)DFf&/ҍ ;q0KP+'Cq={3?O\B |Bmc%h_m6ռ/6z4K/P ;%'eirpi{* gYZ98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b d174eba2e2af1cc41893c051ef544ce05c6ab8c67df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f