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  q?L4D ]/ Lifting_Definition_Option:threads=2elapsed=2.584cpu=3.096gc=0.000factor=1.207zXZִF! ]ŗXf1-/6vRZdPR6 L_עKNpP\61&d~*'6%)`Lwdg> Wi!# Y)Б:ݰ:qUY)7Eٽ {;$>Nϧ3L~iE,nxt}7#jǶ3^-mf icgYZ7zXZִF! pV]ŗXiɟ @\Œó2Q~YڤNi8K8pt2D;c}ӫܯZݲeݷ$9N`7rq}YZ7zXZִF! z\]ŗXi%;C:+3٨z{ĠVutɊJ $A,\|pP&OBTc5uSf P!tZ36p Ø8>Gp!챚1|f,:H5<'?ގhO CcBʱ֙9j' էdT;Kt#0u'\T^nŕuVlfL9(mݎbqY9-$CtdYMBc Ź}A6r g+\rDu/՟#QA+/} pRӀnT~8b#i MfQ|Fq ^܎Yn4Mrw."N rU^G^~Gc#^V ur!^S{an3Ayh]@D{HOQorMs+k&b]DiB5aA\kILv7渖j ݚ{%&:ܮPJ@p>8ᘅiv -Yϼ!g{PÜlZe 桄X%J)fKdSeUdJ-pMgCѡF$ =Y<;dgYZ82f3a42095007eb99a14f38881c3528dfbb39710a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 ? Lifting_Definition_Option