SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info [ w/ HOL-IMPP:threads=2elapsed=4.017cpu=6.868gc=0.172factor=1.717zXZִF! ]ŗXf1-q恈@"aiє4$K4ͫ* eAt 2ogcknЖrZ^IMeRo;p53;%x5,Gb LJAFJ5ky-?ɏu%A8rqI@zG_>Ssz8#lnWMΉXS0LYQN->){kI%B$T:be/2CCkGjãDGfhĩq~7QNY cO#7DnB'#;cpou?#-G!*O   HOL-IMPP٧6;j&dTnv w_JgYZ7zXZִF! B]ŗXi%#f 9ok! MZEgXHՐOuq8M8+ ވzca/;QxCWctB\X) k|&}A*Sq*ʟZtN"olo-k-2 k{B{^{6s(;U'"@1@y[묱]DȄm\4$I_I£9mY'&){3 MQf5ǰ[*6)d qFH'P_w:8jvZΜZzknguPW@=Dffrlh@CZ!q5_&w3yڽEҺsw੬f/tERI{`rlYk{.9VVb|)Va$ڒӣ8 @<Y$-k}5`dpUhKyMID*WO-W\.{`k0ٍkDU͋behX^C,|ien /1 )qӿgYZ1cab770cd6ea4935f2187148971bad0feddbfdb2 55f47d8b8312e64c48525169f65e691a7629e91c 57747abbea9f481cab010d83da74e03c692528be 6ffa702912ed93e8afb94c39f234619c58c1261c b5aeda5b24e9394475cdadb8d97799f7912cd5ee d69e2cd224b934f7a6bad97051ac4ca83f01adc676e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575