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   lL O/ Logics_ZF:threads=2elapsed=0.286cpu=0.572gc=0.000factor=2.007zXZִF! n]ŗXf1-,;8Z~|3>"0o]@,c9k ӌ ̰WO'd`5JF3A&zN2ر;ek4 [K;K 0,<5</%K!]cDh6ocO/BD ۛgYZ7zXZִF! A]ŗXi%Bnl_o/U5@tRW\$uO hA/פdN>=1r^*+_nG+Ӫ\/#wR&2DZۻ@Q jp+o0d[od<6,\<    Logics_ZFAc[_{ f&VrIU[hKgPeߺ~YhRo?)E?V &언~XizGK}|ٝUu[8cr>_BPyP؉RMTXW.\{Ԙ6t FN*9mu |o rbgYZ0606ec68adec11f5d24de6a1014281ee4e05393f 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 59df6ae606b82fab9eacf2f782390c3e1cc49c96 60ccec60ca3b68f267c8ab4f44b60741d2534e44 6a0246fbf8f8e99986be3165c5f37f9479dc24cd 803eecd899d90ed15e29fbf2cf51ad288e1747fd 8f194db846e67a7e87b25a27fa8ba1259c4af82d 9f06060efbc4faf25adfb7a05ad72e072d8c8dca 9fb9c931110ac7289e3c279810f90d07d2b1e664 a634d2977750efd14daaf8018feb1fdee3310b68 b062f41d34d4761362c1529fed1d44af7fe85c1c c4adc8b8c3edc6dfb4932326e67632bfa942c945 da32be17e5df65605f3b1c4d8e9d023b17eb7cdb f0ad6c3745e8f50de429643a2f9f68f72d556150 f878bdadbb2d1746d3104fb59c971d5b88c24577 fd2b02dded527fdedfb330e24b0df02361aff2bb fea74818b5546700d79f25ccf6cce0c486f5a73c0dae525efa6f84ecf34af93ff7cba31c2592ec0d f6a47b4f22906172279ea9ff188e015f49635c58