SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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!T$ / List-Index:threads=2elapsed=2.754cpu=4.720gc=0.072factor=1.717zXZִF! ?]ŗXf1-/6vRZڕ/0*]=E %8qg[mtiGNF+\"lJlX5?8O  ߦAKP bƏ%ٻM6O˰%!#/+wb@ZFEl YhmqgYZ7zXZִF!  ]ŗXi%6xtzQ`br4{&/ gSSqaFS .͕ vD/⥋9 fL͚VSpd>r7fjJMOm_hqBh ҼGB~K@]k}XOovw-%uzCsLё8vqc$|]zorjj޺n}(OW,9²*+欀ƴ:V +ϝ0* *g ?K=d`@f?`$S7 `!K/?Uq`V U\)s]Hv8`兙݅Q튌c#Su) wo8;:Ta #|' [l }0w6#A lfN ,>]wD6#MKE#D~J~ WO ;aҮ+t,Ul/Gv:̆) WgYZ1c7c9d56d0ed3378328ea8e8337b2f93f9bfd51f aa8081da44f277d5ddd7f6b923726c65686f8918 b1ef7a3ec85404c96c4b02989c93710eb0f9d363554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1  ! List-Index