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 4I! \, ]/ HOL-Prolog:threads=2elapsed=0.347cpu=0.544gc=0.000factor=1.577zXZִF! e]ŗXiɟ11;vW Qr\:"wm%cć0ZU##q~C";+g~(w0-:5'XgYZ7zXZִF! H]ŗXi%;XF~q a0p}5od6[ampp9m_iS31_gÊAqx(8olic4kF\m>A8G =`j;tYrre{HJLS vM}#gZ/LYu#{tصUw[$AL[E4}fL)tyGȥO5rjOvx0LzAGe^ gYZb424ef78ace6d4607408d4fbb125a4ac57f01cc6848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2  ! HOL-Prolog