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  p+ \d ]/ Verified-Prover:threads=2elapsed=9.009cpu=11.996gc=0.436factor=1.337zXZִF! ]ŗXf1-/6vR[w?q2F)4|*[X\>!~&YT̐b\ߛɿg\4Bο.ÔQirZx\*|aҖF^ίk1 Sn*8Xy\J9Ա x?[5f"}8 Ɉ-}C$٤[#`U %|hL:1ȳX L-$oFl VrgYZ7zXZִF! JG]ŗXiɟ@: {GXjWwPA+>wh@P,su7YߏBPcKWX}YZ7zXZִF! :]ŗXi%W~HMj!$LOgT ¸d܏^Ѭ^;I3ܪ~,Ta+bEHt EO tP,u !LL{”(ztFsOT XZuMQ_ P(Ej"xȚו{_H6à y? Tf"A*ŸcG*?샹{.7l`z RoZxO5Z?pDeQ= "qu Ѓ-bE6jtSG9pRn \3Z(,_ɷZ^Z=x8pktXc[W5h Y?Ihoq`Y~fT Rjs6+$_) HjmS{.= l(5Ǫ 7xajS'=}(;7UonwNЌW o&0N/'].2Kݟ9$4'u2/T