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.016cpu=0.016gc=0.000factor=1.027zXZִF! D ]ŗXi%BUa  =~wA0/=5Aue:bڔ&QVSm [[S/0;K#(&>UM^%`8:zd=! ATM8}g)XܼEĕ|鵠-&$,VBd赜es#~ǖƶ+ ]Yh=s\cy2OHe[^em yD̀ V|$QKu!O86D :FV[C&gYZ6b68b525cdc63f9cdb935d6322b5e9045e687917 7b02ab27e07ececa5a5f2861c7f7ea00ea6e6c21 ae5b33d4f8dcb3d973bc0ebf92772363ec8981a1 c9854cce0cf91f565b16ca598a38c7d4ecb13448 d826171ab4fc677612b2f18634a6eea0210ed3151d303aa48c02fbfb8fe205c90ee243804756e6a6  SML