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  =# \ l ]]HOL-Nominal:threads=6elapsed=5.814cpu=13.516gc=0.732factor=2.327zXZִF! ']ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯bR, x|[ P#')9(ZA}bv+\FGt KVyK#Jύ+g8$K~ U6]\bßW0k(>va[P|}o&I@Amۋ|*Uru=n>% ַ%zk:O8d_/V}..Qc4'Κw#[șEA~ʗr]Z7|QgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ÎE{ErLS$&Hc-~ һ`I'{J}YZ7zXZִF! !]ŗXi%>o_*EXAXeӂ9>džh|"$-Jޔ4Uܒ›L^dk-H_,_)&RvAZG |'ƓUOvN͹X4Dqi~{t%m? Z?NS4g_<у!fM\Ά0h7jT :$I*Jȷv2IFè vtEJo6( S]A Q}tjL ¯NGw"d؈Aߔ{g/|uڵayv"b?)~!PR;4WP; | Z2;F\."H3*9yҥ`@V=y}=gYZ05ce65059911db4a135e0d95b7c2f4684a1b2c427f68df39d7677ebb1c7922c484946a4eec76dd1b fdc78794ed38fd3aeefefb96a7c4fab20af6b100 28c959f68591b4c7632d6798533edf9197b48446923a8d54fd3e9141bb28f54cfa414121a1864093 # HOL-Nominal