SQLite format 3@ .  YYQ77Atableisabelle_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, "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  : :CD S%]Lehmer:threads=2elapsed=1.622cpu=2.984gc=0.000factor=1.847zXZִF! {]ŗXf1-/6vRZ=\\ ańǜZ P βXD?Όp.-BWJ5e$q Lb:q DHlnĮ0)w 7бgYZ7zXZִF! ]ŗXi%6k%/GءxnxF~T2a&o e{^՚17ɐNx'v[<XRvθm@8uL3[U]%A=fؑΒM*~Ť{# Z&z[u00~6fuK$`4P-^qSXfyK;o$?6R