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  Y Y$t %/ Lazy_Case:threads=2elapsed=3.104cpu=4.732gc=0.216factor=1.527zXZִF!  y]ŗXf1-/6vRZǿWv^/QfQKJq$4ih}87+z%qO0 OeoRU3U l֬9lV9s\(EgYZ7zXZִF! 13]ŗXi%jQ+_@(=5Ik [  `0cXſk:TB`xRa-kx|8ͩftlSIC]`# t:7f7[O@m޲9Gtw;Ūܱ'{1;0isd!peoEӣڝЊ9yоv`6%/|q .LP z|!XkEm:޷SW -F!YW|EE$L`N lUc)ȎWvIOjhxƘ52X{ZͮrW8|yc z S-Ⱥ[a1n4w&R6P|,ΔD 2i}%ƏV#EW823'w4Sf&ŧ\@_Z~/ʳ/Gz_><}u~>iFXAcÏZB k,(gP0מNdBoY(?Y`xͺQcp)~LR'7^#~Eެ7V.3SgYZ11ea2782bc950d7ea2aafaeb566e961d5d2cd88c c507e687bc16f65edb2064cef47dcba98c2c2153 c7805014580767ba9e7216f84528e3b788cff5c6 e4428cd42871958b9af5ddd91e9e9df7c53360db fab40782eddfbceed9e0b89abb6b1cdc8b902017735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa   Lazy_Case