SQLite format 3 @ .C
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
rT|$ ]]
System:threads=4elapsed=15.412cpu=0.864gc=0.0007zXZ ִF ! ] ŗXiɟ{Qv=~(1ׯ~ C92 v,g YZ7zXZ ִF ! ] ŗXiɟ`=H{ V£$RUM='RAf2gRg>
*L8VUY
^;Dhq
oKzyӆ -^d
vh'IAd @Jl8,/FCbܓbʓ
}i ic Btog YZ7zXZ ִF ! V ] ŗXi%N
?TTE@35<8djPoKq mPxe yqZsIV3Pq}tڀ3~˷=,ĺ6S{I鐸%yӖ
xG
o+;!p
y 9>ȀWc`ƅFf=4`7k1AsشZ WԿJKʎHq1 WXOzc$gM".PG$L펼e:N?5JC'bW5m=vr|^GK:1Npg〥:
L= prQ~Y0u@1+ty-Av3](YT/&T݃"LJ3Wt)S{]ۄPD'1btq4xgbGɠVoEO=s!}8hJDCڞ?7~c̈'!/f<┅/:{ z
0JvN5'c}k#;QnٖPY1l0D"N.bvJeosՌivaf{~BV\Iw39y),`W!"c6a"z#il&W5W+EihboG)u\lwJLNhOj'$kk8:ëOt}&kVp0e;Te^3ŵ8z Q(
$Y,C?^SPb^