SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 oo  $ %] SML:threads=2elapsed=0.020cpu=0.020gc=0.000factor=1.017zXZִF! D ]ŗXi%H蚏Q,I{|2:b=pHTjpl>EY%Z;\Q =i|@i^M0O'U(Z1= 'a0}:Ět$Zj{ox嘝(]?]@g(}s+5nl!iZk i;fGxѠ|KY pvZ7'^zUc/"oQr ƥ僪gYZ6b68b525cdc63f9cdb935d6322b5e9045e687917 7b02ab27e07ececa5a5f2861c7f7ea00ea6e6c21 ae5b33d4f8dcb3d973bc0ebf92772363ec8981a1 c9854cce0cf91f565b16ca598a38c7d4ecb13448 d826171ab4fc677612b2f18634a6eea0210ed3157f2620c3106ba8cf7d1c7f769837afcff4b3cfdd  SML