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 D ]/ ZF-Resid:threads=2elapsed=1.615cpu=2.572gc=0.000factor=1.597zXZִF! ~]ŗXf1-W[l0[}^&c<P7{}'_ܯbK1WGuy++cNRY$ߔy7p/W2@!HvZ9x?l7gYZ7zXZִF! b]ŗXiɟ9⿺Y mXzuQZB/aR=9G5)f˹wU=& DB^Sf3D%f&ɓi"1}9G  Ɔ~:S0wmgYZ7zXZִF! +]ŗXi%96x|r;LaS)>v'`.!ư u.) Y.}M9Aij`;;8@z-pí_K!\i<575HGdBLIEsn 7x3]˾li(m:- =xH"RBQ7 #l3])bU*Iu-k#/>?[>^ {$ca0xImmk6,lC x77|PM~Kf((ZFV,sO *fA`!i#hֱgYZ56cef6021d5076a704ad8ad3babd4e6784a8c9acccf9b9418e9c76b5688e2dd3ccca778f920a9297 13053502208935dc80ab22fd085456063638351f   ZF-Resid