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  4$T$ ] Eisbach:threads=2elapsed=1.357cpu=1.884gc=0.000factor=1.397zXZִF! W]ŗXf1-q4(~$Q?bִp;w~ ѾA`FHpIZ3̑_TPWy}-~}V=NJѱgYZ7zXZִF! c]ŗXiɟsмHI:j|W?iUF|1%> y\"ʁ+.#gB<=, `ߕصD!ƝWmbrFFcS`1XgYZ7zXZִF! $]ŗXi%;i7dd,|'.Ja˖pTߍn|NބH37{qnWf^[?fq@ɵ|#$MhK^EwAXpJ<魟h7x qSaSٵ]8JV xۿxvή3R ]X2R 䬂 [ީ -F6Y=EhI&Nwp6 hѽ$*]0 @?d\#?G+LDVSQ§.gYZ36a3d8edbb5f742b6d1b92d471a63e201accbb1c7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d5 52e29b1d84e6f84a88f8b476c7917a3ba0fe502c   Eisbach