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  h h% $D< ]/ Latin_Square:threads=2elapsed=6.866cpu=13.548gc=0.308factor=1.977zXZִF! K]ŗXf1-/6vRZ(rg|~825a?)Ue~u κWYM OK7:M R.U\g.O-.&vl,))B %w`PKC U kp؁r9W?/M KBgYZ7zXZִF! Z]ŗXiɟPaOõEWDwSCO/qiBA/ ʥަ+鵾te+0UسrժvgYZ7zXZִF! 1JX]ŗXi%924G] Ï4-'f1|9<* N8ez!2xP^RXIg/5dO^l ț.wH5q3ɳ/d5d%w` G`g6L0U)GrwB`>pLG-q4-`^' C) p؏H:x@z5i0̥7GӐG\x}JHaT 7WwSiݔƵ,L\$Yz]!gwǝ㐐RJŴJUDk"GFB sy^y48(U8A@e2O+hGjs C6Eo6*Q{,觡hjf,i7o/`KQh*KXXMnTxJ6ɦ~b(tJgMB~M5