SQLite format 3 @ .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
%~\\ ]/]HOL-Analysis:threads=4elapsed=691.849cpu=2446.088gc=198.9847zXZ ִF ! mg] ŗXiɟW;g``ϐ_hMZQTEQRR)CbVHwݩ//τj)Y^HjYv h1Kچ$%PCjf-rUJD8%)E!NW2T`d,t^xdO2c=B$~S'"mz@nz7[Y9&,<ݎqW\Rj:4z-5{[ o0JN5rm𤆥_ KӼCvNWL)^mjҜbv'[:E5]:U yuﺖ|55fUo]-^7
G(sD?[k:6XlB]9fK~JML6.֡\Q>?`~
ȅ*i$iۀ7~7g*CxįOձ0p{#=6(3?M}y6-xz= \-%P0||h< 6L57[~H4AkPM/W)M$~",y/uqj#}]]qXd,$)yN'͇Clŏٛp;EW72D}㢶$CByvaM˜_q' tPwAϔirI?l|Ak)d}y*drE5zY?9l>.+ v1=įӡ~c5