SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   nG ,d$ ]/ Bounded_Deducibility_Security:threads=2elapsed=6.563cpu=10.996gc=0.560factor=1.687zXZִF! M]ŗXf1-/6vRZkee9!|xKQLFG 4t5B")f: 죣Urfo/ z)"'].\aB7ҩ3V=i9A!w[|nmҿIhg"[a7:C `doC Gy;~*1A3O#G{hSW"P1Y󑻶"?qUz_-x81SD}JM1~C Uv -SY@ 3S3&fV9f98nrUe3sEfXejgYZ7zXZִF! ]ŗXiɟ'MK8J|!W#Bui x*OR^o>@S\Wqulj\ [gG=z5铧fboP7RnlOJZc{!pnv|@AĖ<)D4x>>(u˫:gYZ7zXZִF! 1'J]ŗXi%;it#d%R׻7j_6<sʓm@l3i[NXzc;p 61 ~ѪI] T1\Y$Mi\:;~}rL vi*նszpӚO*IG!A@9gloUQNdn{ &8dzp.'8=U{6 qv{274 ݭ#TZ͛Qr-̮]/Mճsc?..(xsru_67CubLaS+D"S,)|m.V>@8rh*"80$l>&D=/Ewܧ_9Ŧ~PzzJπ@μCHi"Iwa/F]I)ƒ0HƀY'HArFڱ #>2ٸ &qbFOgYZ902b3f9896d1982fdf80ce47f12f5f3d6aa033fb273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625  G Bounded_Deducibility_Security