SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 zz{,, / FFT:threads=2elapsed=1.479cpu=2.828gc=0.000factor=1.917zXZִF! G ]ŗXf1-/6vRZ;qOYxqWgAVľb_h+}7 ?7.hl"C$;_LG ]eLfӛWaPMy"8n.Ҕ|RU\/+5qzDqU϶:\b?6Y L"d]aU3WQ"MRႁ= ;Z찴fZ`amƛ}iUym~)hg  FFT^Hufڟ<gRG>e~͜GlT+8#iƟ +܆CJĪО3D33&'JKA 50{[ϒVrr?d̻ŧ-vC_{9Je HGnw)JRX5CGVѡ#K*/h->AzF.#պˤ[_SE{ R) fovkHngY04#i&gYZ7zXZִF! ]ŗXi%DQkbPSkq2z`O-jC) }TC /e L҃jZJw,Ca$֏~mp{w:W4PKT^3ZXCN?y6KyiպpR#5/^85?OI`~r) gv>G-vyy Y^-;"cɬ4OĩNDoݡf}{+a@;-˝z7|1ә|ґMǝ-`c-׽VtL7HMx݈N.I [3 Ml oE=qt