SQLite format 3@ .  B --?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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info g7 t, ]/ Transitive-Closure-II:threads=4elapsed=14.701cpu=28.692gc=0.992factor=1.957zXZִF! &]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlzX2³4+v/R1$I ~M底ONxgl @wG\awv-S?V_s(x.2BJ;nd_n6G U!@Iw Zh9ۗ &[GqGJƔI4:8:)HG UnHϰϾ|Vi1/ qa |mx 6ņ)Jǥ@lve N@oB$l;2oz2GPFz/?'m6ozLʚ,"CԓB^LPIlp&naztDjrF3++2)qD Lsya#sώ1u41M} p;C2fE&F*e\gYZ7zXZִF! ]ŗXiɟ1˦rXs=>HXU0Q-/ri@}/&bʈ'aLP:3+:B#^I}+2e"-m ­BEk/g:Z`Oīo3>=NME4҈7Dl(Ϲ8Bcaն@sۜaߩ(-7 J}ƞ;|_]88|!59K(b$n\s? 8Y3T'Q :ߩ#Fq 4/gYZ7zXZִF! i]ŗXi%B ݻ-kgؤd µaIkDN^ (}gTs4ɟcXcL%T h5hS+LmrD;Qq[j@$= T1::4 I|^G%1Uk紦Ű^Fb»1>* 6"ys&k$029Yv/O9yF!n7P-삪3+l3;i#%Fm1\E,a-r#p4$/7wZmWB,lu~ (uR6 vq0gYZ9d4b9e394218619105409f464db41996a82f6d4ac3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a 7 Transitive-Closure-II