SQLite format 3@ . BBh77otableisabelle_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  q1 4 ]% Transitive-Closure:threads=2elapsed=3.741cpu=6.752gc=0.364factor=1.807zXZִF! D]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxxnP0=+hX ыC/ 1l>& X2q_8༲^4 wtU?HB+gYL-z<1~I&D^v9mZ%9u?n/v(/堷K_@JOLZTiAl}GײaPQMɧ4u- &3m̈sI;[OȚ_wm#fb>R dHf[c=a4&`@n]>3]C:'5m=]a?62R~!~C QG7/4"6h`Zq 0$F*lo)Q W}WqoG:Bv-0YALgYZfe74e1aae6aaaff1ee2e12d33383196eb95154ba19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 43dc33c565108d02c859e8428b66e59c7fb3ed85 68d0d0c9f570b3cbc07315ea771d337673ba5e1a e023ce42e89c3153869085e4f311eae379f89a53 1 Transitive-Closure