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# T \ ]]HOL-Nominal:threads=6elapsed=6.023cpu=13.944gc=0.656factor=2.327zXZִF! )]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯,yeG)#lJa~V̷iLֶ.ChHH‶VKd@''[x"$Ll#TDx l"#G dgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ÎR9ً/8:n4ϕIYAj#`I'{J}YZ7zXZִF! 0]ŗXi%@Zrcd:a36s<JV<;f:x7(S쑮7h^Ȟ>gVgz<=@/)1.(9qzơxJg!uX Ge/3!&Q\*v^OIYѿ,23{}UHfN~l12N(7,A '.M#]r9'vRz.]ޘuc-[(=Wo"Kex+0\RsMr+ҫƿe>w2}sgh ~zqp|I^su"y)%fD;Ul"wzs2joF@w^F|FrfTzU̬Iw8'3oձ%N_j\Cƌtl.AW1x-c@;W< :G5$߳R#QR/ lvY>egYZ3c6ac8c981031d69a63a68766c401ef2a28da9ba7fc82d96a6cdcdfc2c4460ff25bb9a8c30e0eb7e 15b300149e9f03c6f17b2c67438a0a1255b696d9 37688449570e1eacfd2b69c1dbf1f4f0e137cee303af221d9083ee94f5c64d2d2a37477256b56dec # HOL-Nominal