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  ) < ] Landau_Symbols:threads=4elapsed=8.536cpu=20.300gc=0.752factor=2.387zXZִF! ]ŗXf[& nTg6 HJN;5DO{nΉ+9(En {WFLjGXqK<$-2 emHNAQ_L:54=y_AouBo&x7EWvr2=3Sm4gI>;M"{{N,u09cR%h?A9dЂ%~>V+&I4lp'/4딂K|SM%-@n{s gYZ7zXZִF! H]ŗXiɟc'od9m1ֈN{y Υ eT?WWP^|}!;3ڻ"CM2Aou,EShgG[2Ⓖ,;;<^LD }Nrq3;~[TT`S4ć'r1$ͦpٯwgYZ7zXZִF! E]ŗXi%ES3!%IgrG8jH!zCX vkmFK|'-+uKҽ*e dx!{) 276/iF*e0z"\a4 P+R)op7QrRzL&rq!z/cU_|)l5=gbI1BޠKKeCA%94E`dVZNӠ8Zus7& %W~gx$8ho@5_̷"LLqB3Sb%}(o<:m7lN辦~5"Bnwˆ`i#"7$E&K @mO8k/5dv^ <}"_v~QaVTrLQP$Qc< `zwmt粋H'gɹDIM]/|xc]]MUCnj 9'l>=giP~ f +s[^0˅U$S^\u'R:ap+SEcUCpKk$$06r`ehSfeyTH(?r#v.t3<}W'=/_Osݭ> H-|;,k嫢JDڱc |0le])b}>˳Άm,o#ȓa]0&upL1#_8}T &!#FXb32EiБ$V9gs+