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  @ @=4D ]/ Lazy_Case:threads=2elapsed=3.456cpu=4.468gc=0.208factor=1.297zXZִF! &y]ŗXf1-/6vRZǿWv^(Jsh+bjGqCeKn=H-`cƁ1JܷRP8 bWvv Apfss:[TO`gYZ7zXZִF! T]ŗXiɟqHdOkwZuӽ")AD/~IHɪajm+&zDrPYe @ẘ`Մ}z_=g~#PO9~%*qbOs bo߼Az:'풬j$_VfMme+,dhXnۅVv5Ky1HfnD &mBȭ>}]5~eq ds'+VwG}A(pIýX @{P3m< NgYZe1a2b15ae43fc5ec448aab8ab26f223cf93b001d79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef   Lazy_Case