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 __!\$ / List-Index:threads=2elapsed=2.383cpu=4.536gc=0.060factor=1.907zXZִF! ]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' pރEuؘQ\ZtVb]͇N'|a'ԱgYZ7zXZִF!  ]ŗXi%SerZܖH\L;GMvԌ3S>A;-:86k_{S%3<%u҃+ jp5a&0mk8W^]kQ&҃/m(s"RiD"Ի&U#$rO5z7G BeH4/ Yz_ M0o&fg.c@!SdG5r=OpLZquIWtO \T Qf8I@" AF\IJ@ZpW>il"JA~3ۦ0X{L)&jHgYZ1c7c9d56d0ed3378328ea8e8337b2f93f9bfd51f aa8081da44f277d5ddd7f6b923726c65686f8918 b1ef7a3ec85404c96c4b02989c93710eb0f9d36380f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4