SQLite format 3 @ I .K B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info . . G/vdDl ]/ HOL-Proofs-Lambda:threads=6elapsed=98.062cpu=116.088gc=5.2087zXZ ִF ! C] ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬ށ[:`Q:Pҋl1ku2J8nN?7
`WȘ!ָBwp0?pJ)
\g@v+18M8Mv^JPl5E\~zo4PP=l+4,`ߓ[cڌ_]+QS.Yޏ@<*Jd}MhE:\Ǖ~2JФ%G9IF)Fq7Sicc'r@&G[y֜^坷؝#O 5~ŸvS` S %<g YZ7zXZ ִF ! h[] ŗXiɟ11bu)a2W5Kԫ3xTEP_5@ 7!fڳ8Wx|kkԗ}tQ]E'DS_[W.{,xZ`vm]d%rE~d
TKL<#do` WYn:Q?]Jv)@bw䟿ܺP4Є̤E
7kfjk튗{2:>@~_I!`͢GVx;Pf"=7g}#ޞ.4yZ !Yo#hS#l0:-D`+g8'Nz( TI fg YZ7zXZ ִF ! )I] ŗXi%{qH
aXen4
3hf7VbUw~ZBl}P\
fRaQl kmŹ☗L;֘l(,&ae!cҪLiQ9h/#uĠAr
;:~W@=+`w@4sw̅;oϼl&ȧt3Di|;
eQhU-$!`Rui
tG.U>fSRu^Q҉6e
^[?KQx$@+B+gxF8,}Mʬ l?`;yت3_yjS tKvl_