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  zG |ld ]/ Bounded_Deducibility_Security:threads=2elapsed=6.083cpu=10.068gc=0.380factor=1.657zXZִF! h6]ŗXf1-/6vRZkee9!|xKQLFG 4t5B")f: 죣Urfo/ z)"'].\aBsY/}_F͝ez󭲏'TFo9);',^W(rc8㠼6m 0BN#{!E# E9 9c-!AJWAv^J|ɤXrj+ߤt$4l\6%9]d u!w ׬@LfϪ#Y9%<7OKbKܫ @VqjC/HfB>[2QgYZ7zXZִF! ]ŗXiɟ'MK8J|!W#Bui x*OR^o>~ro@=ľ(#jYНo;{9\j36?#1h,}«f!1йa79#/N ]_ ^RibVQƗk ;/LgYZ7zXZִF! %k]ŗXi%6SuՑ >%Xߤ矧EN4Vd66[QTWGd ])*G\Q&ӭp+S|eC2:A0-~< j\Zj?{a+QM𐇿-#fPNᝑ\Ɂ H`|RQ!WZRͺ=VU7/QR  ,x+-z.פcy);sG9_u[R 5 `qZsW oP5gEOiգHxŲult"DY ǤJ14X1 'F)ބyM a}@bvTm?\M/ 7 O[ahRlӻ}_j[#}NUGb.۷3(ޙ8\ eߗ>*A!>y8.[ȴWSO 裁*xfs?4}֛Ue?SlAyЊ׿!;JRd7}aNPߖ[ VW;X `J. XegYZe9592c3ce77ab739fc5a8ce34cb865305cce72b0e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc  G Bounded_Deducibility_Security