SQLite format 3@ .0:  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  0 0M# d  ]]HOL-Nominal:threads=6elapsed=6.263cpu=13.644gc=0.820factor=2.187zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮZ/ivSexf  Ef.LD{i!RWE@!S UMo#NqQ(1\gf! FǪpeG"Ρ߆(s!1nD bLѱӉ}s]tz.>cV)I< bCgYZ7zXZִF! HC]ŗXiɟ1ʹv)̝gb_ kof"A7l۽x~h 38Xr<ܛz8ϸχ}EVGl%Fs3b+Lb??y% E{W^R~tUC3G(?̕0@k}6W+W(} O!k qG2!{i\ׯ ~i'#X$rR '{$}^l w_PFMLY`7׿3SVke҆j[T8ۥP0Yk l4'<6q`Q"MngQJf+l칺Zw.MkȚöUcq8 oQhǤçѣuDsP~x (nVFj ڤU; gfC͗F58 5HusgYZb6dddcb9570cd356e8e5dcdc842b23f7367f4c033ec2aed6e56052c24ce5cac914b0579704df917b 463e1b5d04f25a3da6ccab4b394f1a960d47251b b75140eaddb22ffd906dee0374b7b79ced3a3e3882a4ce85ce9320138075235b5e7335820919a8e7 # HOL-Nominal