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  #  T ]]HOL-Nominal:threads=6elapsed=6.548cpu=14.748gc=1.036factor=2.257zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮLӐBo@mwMP3W:zPJؿPhw'QAg'(AN{N19PěmQE5=ieaO\U:tq/D.xhLKXDl,<:M_p\#[ (|v0^]2a gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ 39$Js+Jcnl6 `I'{J}YZ7zXZִF! &]ŗXi%G҃uW0sTs86|%l @'0.=yfq[PvZ}l7"6hh'jgU0 gs\ ؼ]gh\ {4#H_{pLי`I-EZR #_RcH -J|{ss` rח9Ht? sHQݙy$v/̇wX(P9<6mw15i33 ,25yI%m^bGZ;5l!򭬝 Dt-abpӱ ]N@BO=&6iG]5xFRAMrKV<%'3[c1 <.M)jQ^rxqaIá^u\fu6bf6k]G8Ԍܳqbkםn.W_?NRyb?pqMN? f-Ie~̞lިTuM p [Čg:.,~Q01Lj4PIBfHr4 F8?|Pu/cw#@^Bк] (o`4)̡;u'-Cs>Ŗ6#r* bVN?ZW%r:Z@oTa_?+@۹<"(Ba!%'54 BM9yPC(dE[Q+mZx̡$l\k