SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  g gG tt ]/ Bounded_Deducibility_Security:threads=8elapsed=3.907cpu=12.266gc=0.566factor=3.147zXZִF! 3]ŗXf[&] ߸kE$nS]F,,Y.~KM-Ɔ^}'^=F?HvՂJ" }]촁3:| 0By!lI~NýsYφ`!r*YN7bffl\> dDӣ1nQĦƾ50.99EKk\݀ y-_/elъ!!-'t6:7?n-Ӏx'5gYZ7zXZִF! ]ŗXiɟ'MK8J|!W#Bui x*OR^o>~\WqI@,wr JK* =i/sjvS!M/rkˏ`C׮sT>_v)a"Tju8JdyĎI~Pcݓ7~I+hgYZ7zXZִF! $n]ŗXi%>t}ǃc>gV8+|C}8yw!=$*5)LRUocL$*>RHt jx>k0 yݡܢSAgE 8 .F^ԫV;Zkh'Hoꣾ 'պbByعhV^wPkՈN5y׆xo{&Vdlt^ItY7YѐyqBy?r(hݳ VLXOs+Edd DZ;<:G kܠ) ؛y ït2thjC1TU1eϟ[|d3T)TDR;.Pt30_,D>bNg(84Ǻ_Tr_oɧt̺j+vn ~s-PD*"O |C1Tl !k-ĪkH| hRAITƁ%q ,\ uU=p%\c3eƧGBIoI=GV?@+l'l,~?ۂۑ2(i# 20%H(K>MrSbA!E?EY'=:yW$;Zdҗf_ uGQ0D@뤌DzLAr{;’2_ f'4nUZxǮ|]H@b98Hև4;ys2&&$!f@q'V,J)l<@jM"l3ȴ\2BӐYH nngYZ6dc0955fc9282a0afd0327f18d836fceacb963ecc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b  G Bounded_Deducibility_Security