SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 zG dL ]/ Bounded_Deducibility_Security:threads=4elapsed=4.736cpu=10.888gc=0.260factor=2.307zXZִF! ]ŗXf[&] ߸kE$nS]F,,Y.~K..8w(&`q1:Sx.!#gP{tZߑvo$P/+<^z+Z` O`WU._^U/jtF H4yn}JbL6Yw1,h[n{\3< XjvgYZ7zXZִF! ]ŗXiɟ'MK8J|!W#Bui x*OR^o>Q6w&~F1p+N oorPƦm@-KYe)ZsB IZ{rG#m ^dX{d{+%F=0-AL1^{&{Pm{>{vgYZ7zXZִF! .]ŗXi%L !T7j}֊J^o?f7J[b)pN{R?\?3v.{^WU U x-?7tjMYDvGN]jˌxd8ǖbɌrrI(W~ sꖽ:B^6O3EmT̈~#}kUaLK:Gm*"էljAk~*IP˭n88D2[1&ㆨW/N:dj{G /2UNC$#Ń J6PW1ػ pYm4!FзM$b-7,uˋ|[Bft"Dc%- ,mgCJg[r./樍 Cn>0O# J \5HV7\VyTFGfMX*)tuT`z&8m(т=įXy"c2JUO!̙?82+:*>評ui;[$梌GNٛȞ7$J(J\C5\|;e,z{KlT>lTFhSƼ