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  O O.G \dt ]/ Bounded_Deducibility_Security:threads=2elapsed=6.335cpu=10.220gc=0.388factor=1.617zXZִF! ']ŗXf1-/6vRZkee9!|xKQLFG 4t5B")f: 죣Urfo/ z)"'].\aB{ vu_G䨠( oGdHn,0=riQW1ΧQ6^0iɌ;'Oz۫3s-m3m-Jи.Cߓ]ͷnr/7>D|)` `ajW\p͚Q:7Tu%vo ,9OO81#)]bz '1 VxN2X gYZ7zXZִF! ]ŗXiɟ'MK8J|!W#Bui x*OR^o>MP8Ha|Dނ}%d1 /*>~'_GqMF{ U*<XJ֨ m[GFH(B:gYZ7zXZִF! ,}1]ŗXi%ή++ts +1ND˭Dg4* c)WMo ~Lu~G gasg%Kj4DM<L= јC צŊ֡VyӞ^"*͟KBp+RAMg|N# qܴ.uѐ|ϞϢr"^5z t^Se:>@לp]u.[!W\x' ƖɇD2v\<9;;rϬG >D+VUC-JKϳ 8͍j;=j9$~˺bZ9#*BAHacuT\yK/e<`]Z6=Tc"e-r^%@4p.y5O g-&!3s* ytiߝ FR#̸c0r2(O;PN5'p@۸ ;ƇL#vɂezJ1ݨC+B'!re)4&Z+6ƳyHO5@}mMr18*sh;ACÀX%/zn)G>w-mS9x4X2ugYZfc3dc6c442f10906dd23054f1b5a05cf1d332a6b00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02  G Bounded_Deducibility_Security