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   c)T4d ] HOL-TLA-Buffer:threads=2elapsed=0.606cpu=1.120gc=0.000factor=1.857zXZִF! b]ŗXf1-q恈&'ŵШڿj,bp֔sWԍl$'7{O|@X_UUuˊi; <~qgYZ7zXZִF! Q]ŗXiɟ1zVU'j$q1Ix\3<CݴL-" @@Ѳ~Pm\eֱgYZ7zXZִF! i]ŗXi%96@ƒƱ6&ء=J#vM uZ3:ƒ Nu퇄m!?WRZTEIuNfŶt r'O0DT[3t) ,XLɞL]aMX@ES6-L9$?-Z05 VT?MPye0kcPR|=,o7~+"j}njH2??nh?U8Y}%މܭ[5ozAga.!u p^ogYZ21dbe1dd609bd128b49d29b14ec32cbfc18314a93fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de c9d846fd0e16b67644b7431bbcda27fe4db54f28 ) HOL-TLA-Buffer