SQLite format 3 @ O O .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 A%x, ] HOL-Homology:threads=6elapsed=85.879cpu=406.942gc=24.1377zXZ ִF ! W] ŗXiɟA5qbh, ggrJF3bT6dⲬ*敱şxiEbK8sZRq)yw-B}@%kʦ&Eޚ788;z`9~*Ǽ)ܱ4Cق.감(}zs)Gyt{ S+y+دg˾U66XetRb]'Yђ~´N1>J60@14놙8/:y$I2cqc-#Uz#;nNi1bͮjGg:6t_t!P@+F]hw[ % HOL-Homology e ~ytoje`[VQLF@:4.(" ztnhb\VPJD>82,& rLU&VIzMr0d#$D RM'U>(fxyt.cZ'/|q>QE]Ln_8>JE}fPO;k3|[EJj]L^ĊQa/TN5o>,~x' (jЉE1Ū2 ni"W":jJWN1TS9|3aA1lF9ݝiXsGo8Z4#U˂'V`
?baw{Fhgp
Y{|̷{pA2X"T^mo
I1.:UY~1OJZ&!efY<
K7%qvWQiĪrr&ɗi]LQК[wNn1ywj!5E'5iF9%XᩕR=J{*n꣄=&lP\PgX,-9rԽUf~"uv#)&XVގcB""
\
YuOK(om