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 / \ wS Old_Datatype_Show:threads=2elapsed=11.627cpu=13.468gc=0.416factor=1.167zXZ / Old_Datatype_ShowִF! ']ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$$90b繒}Lwoi||gzyd M =%9z+ :[ЗOc]`FHVۛ)Ԟu24:eWQ;7`!, ԆGvE{J7edA$XP 72MuA#*;c*DBPԪlsJdI3Ogi0脌V)cX{$ _^+kqPLp`{eK!H@ vcI3/h6z郄[Ltcd%E cNr& |!y[$5kDG><7g#,ka29m38UM487bKɊMTr3ʿ7Bdv0wწk hggq€m{R"@ WfyES'&!tbwQ 3FcA!K#8&r **7;U;)F0tŰM$H%hc13`auNkg&{J/o2}$a$Gc=-:S<$ CM}VkeDߛhUWw#ҁdD0S5Ůj+JpP?atZbhp'S#G%nRQe*tEny?M/Dj'("dOe\G?9,fs/ pTgYZ1248c4c4987b363126ebb14e6e119b009f19d87b 13305432bc3653e20afe426f74c9f95e21f296bb 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12 c62f2a770c1f17f4a45bb3420b5116c46b8e897e