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 uuT4 S/ HOL-IOA:threads=2elapsed=2.289cpu=3.736gc=0.080factor=1.637zXZִF! ]ŗXf1-q恈^W.U?Eԑ1[ǡMUX\!RHPWs+G;085 8 VƿC  )*#C* ݩϳكIڨ#ѿĢUS c(YԇE7= ]*9x2?n狽Qk$jM|ou~~6p'h]SO3fv, wĹ}cfpi   HOL-IOA4Q.Dv>X- z]@m+p},VY"KW|I),vZj")af~ ~@˫œHNE:}JF*ʎORJ ] ,4e8^cAp֬Mdt;.[5 2>Vxf׼Rh!&~tp9i>U{Oūka\: Ꜧ$cac@/tAMGh6EUqD\`V"I^<5CY{ѷA$qNG0Ӥ4*y0{H1%"TAÄHE ƹ