SQLite format 3@ .0:  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 ^^7 l ]/ Transitive-Closure-II:threads=4elapsed=12.552cpu=24.496gc=0.848factor=1.957zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzy$` -|kU#[4޸F+.38j|$ߖV 쳲վ|I@5_}ܿ'ZH~K^'ng{<8foj HcjrS= ju/bgL8/eɖ|RN6-=޴} I]jrbAlZ"$k+rX+ibāX ZZ+,<^H=s24dk`m7$2-Ii"b.SH0,N pvHzO=V(֙!~)jg`il6EQW=ōHXU0Q-/ri@#\Krxx+*u j8^9WPP"PQrʶ}*C-zuIIbYbZP aFsAk*᷐w8%>^YP^yAc"ǐd)YC#5.]Nqy(U=hRœD"X^Ӑխtྡྷ IqvMNփI Dփ 7 `{ZAgz>gYZ7zXZִF! [.]ŗXi%ES3́*882Z8N=@ 2A~\K$B!;.M)y+D8vJg=ڄ Iъ -9F>.گ}ͣ(F_ڧFQw7ɟb \$f0;N + $ " ndvq1;7$/c1S~&?ګ'~h쳀Y+l?ISV;a'3{ݚ,wOl-DFĿ~AP:Z`PhXm\ĒcWUېȬꚃN9úRV짴Fn=yo %ON,+1W7"DJl ]$X;vwY*3y|[6&#)޿&tάХfBF Y9IF^C$_B8B|>p. ) Ԛ&ݘͭp/33pW$̚24)nDT*=7#.Ȣl ]U38 MTGS>؟Jtڥ%ehG@ ԁQb4;Y.$ye66 JYIW@K Oj}Gg[6<W^jC̈́{3q P>eQE2zׅCy 2$LF ngoz 5ع␻+jv ͱg8+&Cj;]]AFɶeb>yї8^ϝ4FDǃKUT6|o+k:T«]7%`^FHt3=N HJ< ?K$`La䈌+{MtZ:ae~RH<~Z>xѽ8uu7.GtoQ uzm7C> cJ:NJ?/a&dR"A i1c oz.@>%إ":9\2"K;TmrkԗUOkD~-VN SխgYZ00e69f84e0a53673ee78746dd8bdbbd13b4c480876b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 7 Transitive-Closure-II