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 # , \ ]]HOL-Nominal:threads=6elapsed=6.487cpu=14.924gc=1.020factor=2.307zXZִF! 2 ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮF0VSQpYIIJoE^ 6d)s5͌rHdPձ[j ԱJCNc)DDDSN3oFa7v?(.~ TsEӗf=Poa$܈3Cy'*4 ,xWx n&<~J[AgS?艨pX1AF· [gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ؍#r{L5tX^&K 1` ͘?`I'{J}YZ7zXZִF! &]ŗXi%GX@v8߬Eqa[R.jlz j. !"u_}D] u7 nٓP@Hs뽼p9 pɲ)"# A3c ]*6Rvgpڦ< ^~\H[,۾}y**znp}oPHp8X@q8 Dȴ&\O@X/?oNCW9^V*yL;{=޷)|k+ȕRlT^8jW碯e1g5) ԭF|p H* P#Z"vn2A%ݴEw/8 ,Rrb7_{h[72JFw@0X5፳BJ?Sþy' 9>H8Hńhr-dㅷ|E y #,jSK0yU%~EϏ,٨t15ܼf h>1 99DI9X}n9[Υר"&eY4v6dEcQR)\k9Wz4YYgM6:gYZd429b8d28a568b14a2a64b1ec00b61c040ad2bd26c51283dd05522a806b28d3dc91f24fbfd1e774e f637bd9bb9fe8f2c1a8651fd48e5fb645f7ab1c0 ea8947358caf8bce8fe84a381dd04617a23e92789ca1f330beb3a0cfcb9f1a5042c15eacae2ad713 # HOL-Nominal