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   _#44 ]/]HOL-Eisbach:threads=2elapsed=3.523cpu=7.012gc=0.188factor=1.997zXZִF! T]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^SptK~ls1a ~('EZ\hS`,uQ4FerKdmvoC6ц*:OEQ<я:& 2DI;F|ɋfPdkt8; ^"9̽^u%oh!͊.8&}T!)\ T' g.~;ʪ?jJfby{^ޥq~OqCAu{Y?DSW~2pBk˨=csøv*.l >AS5[i%!UW %FgYZd74ad85e3c21991bcdae2ca6a2b2a3151b32f64eb6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde9c4c0b0cfae2d71bae0f802bd44503e412ad1a2d # HOL-Eisbach