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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info `7,$T ]/ Transitive-Closure-II:threads=4elapsed=13.443cpu=27.216gc=0.988factor=2.027zXZ ִF ! ⮸7] ŗXiɟH)0%o
?۳ɢ}|?Sw?k8~FL/r,2ÚK=r
fWNZ L&i1Bis>\f0aHIUR ݱ:F#8rLg9ICoЌ
7 Transitive-Closure-II
TYXLMG;L|A>%P^U`c?Gn?#R}QD2@@Wb c83`tŰFe~-DK Ɩ)ELȘme@ӛ/I</wY(O4ʲ2l{*+-Y6bMxuxu7D:ۖ#AK= Z a=}pn:Kѧ> FK04F[oHHhj\[$3j-e&5x(j(cQ>w04 1TX)
E k_eOK-Nާ)|苌Ѿ**1leFwʊ\n
WPxׯ˧9Tܙ%eAR4?{3 c ZC֧$+\[hܷc}j骦?\:h
?+;T8T6;mv́w p+ը f랭Əv|jE1y'^j=ZK%_m/C:{y}J