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  b b#4| ]/ HOL-Lattice:threads=2elapsed=1.822cpu=3.204gc=0.000factor=1.767zXZִF! X::file=~~/src/HOL/Lattice/Orders.thyoffset=1196name=datatypeelapsed=0.488~x2qY}YZ7zXZִF! %w]ŗXiɟ1XnWT#4@ΉoLI$ݶ5 Htb8>lKw ٘»n9ʒ&sʘ-(A7 J_5)~}7 CgYZ7zXZִF! ;]ŗXi%;%PQ}Nn79arGDIw.<x!"<) ͯ?Cw@!mS {NT]qm\m|ZPe!0r]Jd װJvC"bM[ˑddf(eK*ޟWNu+lB0d/"49/SbDG]Fzlc5,l%N鉸WnbF67EСO앙c2 ne WS0 hiƌ y*dPT-t5C@E3,lqLOhDyvbS2%ye*aGczK~[IpdP&$lS/̷^v`=, {y?O-^N';_9޼`r9PTDGlIV..ĊoPoDEΪ2oZO|ZAnj{OM{FniX!ُzaEJ4>i&2Ws 71Ưtbh H=Xk3YgYZd450508f4045ab06930e0ebb7a977dfb70522b38c3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80 # HOL-Lattice