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 33B!L / List-Index:threads=2elapsed=2.413cpu=4.628gc=0.084factor=1.927zXZִF! ]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' pP|nwem}&&ӶgEW PS uz ͺܳ][& ZuF#x 'u(-PZxvV"]XkWCo6x$z`5Zx[@/!Z IK˞rqvSpϣuy$~7 {>d#@dĖRf^:&.ku-w%fByB5S47!Qe7"Ī͎[1\Cٓ 7?ˠ*)|bLѪB;+Wu [m~S}c|'o@@5v&] J`+ibO-&@D";%3K]M}&&8 `Q7im$m5} j3-pѫ+:HNt˟[g$pae2?@Ӕ*LзT9b_FP̊[8@] ˝, m#yFqWJ!4L%SgYZ28ae3d2563ede97cfbffd49f4828f8aba688503d aa8081da44f277d5ddd7f6b923726c65686f8918 b1ef7a3ec85404c96c4b02989c93710eb0f9d3633b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd