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 1,\ ]% Transitive-Closure:threads=4elapsed=2.922cpu=9.056gc=0.268factor=3.107zXZִF! ]ŗXf[&L_7Ae6^@ 3_9#;(:)L |y*_1Z(&;6ogٗy+Vf;PhNr^bbAC?U]H BϠnqH+:K`Q\My㒳sԉC:9#|=uVw0\tVtѝZ([俎#|tDWݙnO2) mvjThkBH$1 @ {GgYZ7zXZִF! /]ŗXiɟReDH$ 3gE= -WN;2^Xc3d?,L"2[UIog8"}cM+Qa5#QF ez:rb4}O^ D$ϲs#y ^ 0q?uY@lkh ?N '>/KNu_Ɖ r} V9gYZ7zXZִF! $']ŗXi%L Sˈ֠@ 95ҠUZW.o~&}KGM-RaNdY>ԗ 8fb.i%%0 vUIDzLr9N3$ExT9RfJ α.>՟"GaKn+#ۅ0c!!EDl|1R=lcctF9S+.Ƶ;i*|_`§H\lP&BN];G{c;.ZSF[V7&`=p]&A@s0zEtq_IΖ"b^643 "mar^-GTF4)no x (C5" b] w, ɢjNKywp^2xZdۀ0S%H5gMhuieQ>o`(AWˡJ3AQ ,lсo)i<4߫$m+ץժ>|׬0EΡq-Z%}wB$jFr_ntyt$7Z"PZ>[J cj!ogɁ,5S[HCI.m>lŃ+)czܮCW.uO;'uHvRgYZ224671bc35df28f2131e9cf65b7b2cc99bc1770dd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 44b1b4c389fe399429766fcbfebcddd5c6bb6f71 a3ef839f7cdc89fde65cd6ebab99085708e3b702 8f6ffae4e5784e187d6b8340e1d08bbd9896184f 1 Transitive-Closure