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  C?L S/ Lifting_Definition_Option:threads=2elapsed=2.713cpu=3.324gc=0.000factor=1.237zXZִF! `]ŗXf1-/6vRZdPR6 L_עKNpP\61&d~*'6%(POM ޭ=Y2ty ^|prݪ`x[{4A PĶH/Dm}Vyț.sKVfO^]ȫ} dE[[\o|D><C4JPhO'.#ƫ x [LoK[aY3}"V2&jX{ )y5gYZ635498f98c69487f013703ffdb9caedc0fdb832a 7fe7d57e3e198edd83a2d382ef65f4104752bd8b 8818f259d173d4e233934b3274c267c7f059cf3d b0e51eab0c8d3dbf8b27d2a9502223abea2ab39dc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ? Lifting_Definition_Option