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 !# D L ]]HOL-Nominal:threads=6elapsed=6.409cpu=14.920gc=0.988factor=2.337zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ0H̅d{Jf(mt}kb L#(5K ]&%ɖWpl,.L0[k:pH`- ͙H}ܫ&YW^ ,etô 4o-P a6iRI#JL;(G7Z*ŽXRhԚJ WMUA7%y wygYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ̩,rGb u`>%X`I'{J}YZ7zXZִF! #]ŗXi%G;<:.;DaP^UA1eПDZiNe4KSM 6;atN[xz>y&zѮ.~,g1HCOF_CǨ]Mm\ΎQn T灹r]6ړjVlJ]*BΉy[l^l#"{$ZPz=Sx/&#TzDA:W0nfNc?Y3 l=o{D1j,'UR  J$G]9ӡ&/}/UAP~S~uemo%+VMp/WK\mz"Q"=_kt`hyv0&UT[mOG3X߰뾑U;DZNnvWT)=ü'G(gYZ92de23167ffeb402af903e7e4ae95596afbcb386b3638f229a7c654f6777ad6f1e506f774cc49604 383f910010c35948dbe0da4effdab2d1723a6fc9 172a9ac30825d17cd3dadca8401e56761d9b26f7697909f94c9e9854e6c4008254e23a275a8bcae6 # HOL-Nominal