SQLite format 3@ .  YYQ77Atableisabelle_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, "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  - -PG lD / Bounded_Deducibility_Security:threads=2elapsed=6.491cpu=10.628gc=0.432factor=1.647zXZִF! .]ŗXf1-/6vRZkee9!|xKQLFG 4t5B")f: 죣Urfo/ z)"'].\aBP*F>\HOیU<;kX)V^ݹV\jFثuc7%碒zg!yPEd0q(^̖ґ7m.L;[#uRd ]GxW 4J1/i{Cw܏s~WRIEu+~ yISy8ZN#/f[gYZ7zXZִF! ']ŗXi%6xs*2H7o'dfTM ?<±Y5je;;{D´Ð(]g ,qz6~Leqƛ&̏rɅF񱏯 r: vb΁}¹귣+m,߼ ^ÆAk&xq0]I;͇#䛦L1 =-{417xVݾfqNHN0BmWl3 !&+tڬƤI׮W ]!EIF>>$WJϤ騍>S1}M__9XXj~,C5pϕ /4("7 7{o=Hj+~YPɯk`1*1OR:W,\'t9p'r H(87QU\MUƊjD$ߘ-Q/W?7>6Bڠ|MS,R6K^>;:1TLIJk}cb0;8w^5,wg M 1F|->';[U.,>_~m#z#}S~7J\JL=NJj]t^ iMX!KV?{H[S> wgLݍ%a縡QjD5<(~}!d&)]HJR3XAiߧ) }"餇m{ɀɥ2yg)LO0 OBlgYZ1376496d85e2590a0550a1eb23b7f113459afc83 65b09f1bf99494bf497397a3e2a7797044903042 7d74d2dba55f7ee3f2fa00631a30d95026d60047 8b094ae5dbe82fbb05ab94e66ddc09a16a2d962f 8cc8ce5980ad6db76c8cd717f74f3569565fc59f cff258547d6a6ba9d6199a6414c0991c1bf1a7cb dad9fe722c0d4a3b9bb1c1239c6c4ac4cfc6936e f12186e8516b78ce6048748647b8cd8788651f79554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1  G Bounded_Deducibility_Security