SQLite format 3 @ .f 5 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_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S- indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Exp4 {' UHOL-UNITY:threads=6elapsed=39.972cpu=198.205gc=11.700(/`aa [(4m[@#ɟ̀9˚8?KvwwowUUUu< y@P fer߽\։5m4$1,AQ#Ei 67PϬQz"O( IUƌ[ծ[DF.>#E2(tq,APXƋ\V&Q<* "-{3,ʞxDA%"IXY*#AIQ8K0Lj4CCƣ<D jP!1˃uQIQ#A!A q d?,|xtm'arQ7;35߷|yx<5eRz5^[+ؒbdzZ?b[*lu>o5sS&xlbDB}vG0p~Uvlɛg=6@Zo?M(Hc+5NDNILnkiګn=s;zik?U@_o<;/3LWE1LR$#R"q X ,#ZBh(i]0",xFz9>Dݎکu/r"nYrۯu&G~%Ҥ7ev?\ mϫָʋQQQ
wB0yK_Ūa`8y("aoxW&؝xcD>>YRwwݾh|Lɾ4K7_kִdLj13&֪ɧI$I{
`@0`BR0,K1 &
#'
8aVB@Y6^z7+#SʍK],k\K,g@悱쭥ǧ8V?+hd]I+q^{%j~`PDU0n2UD&Ѓݕ9enCNHY8k4P϶^VkL