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 F \d| ] ZF-UNITY:threads=6elapsed=5.048cpu=25.460gc=0.856factor=5.047zXZִF! ']ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb3T/&e&ew03i$Lq\mt7V3A S) ܡ8EyH酪O[A%ۚ'>ŏ[PIFCۑ*GLG+EY- kSˉH)H>@V@.rh 1s0zf0PՂa,pM@עR,VG(\2x{ 8-XrО[^'@<ZͰT_hPF+`F0zHēT!;yN-g ٧ezPhZ?ROy)L˃f&dtW:8ҷJh+,rxt`ieFƒJw\~;=Hn*DUs7MvknЄH q~B[2I6vETle[Fj7'YcXaMG'gYZ7zXZִF! hl]ŗXiɟ9 i:4V;}A<<ګMP7ׂ ȳ_rsۑff;9eIQh&+T_[~anbP)8uyM!xW>EI2Bp(er|ƕ7ܲ4H;_[6V6a[3ѤD Zz&`=.w!ֽ!sy1%W3%#`- Na:h[xQD p|w+]E8F*oSeЩLObŅM=mkHBq[rV ܳбgYZ7zXZִF! ]ŗXi%94ǥ7L#uxv%*+bknՏdHTq]Q]4x !Vw"MdrܛH,,fSG|Gz߅/:Fg]LC ;`#t.PO{lJ0g]bEa_]j[0< #ʀ?9-e@XlCRǪ=Y5@m1<xE!~S/TQZ 2T'bv .c/?d:jpT ]c4m4S}tMJ}kA]k"Qd#ܘk` ㄑ%ݪ%!rQ`2wj@U&a_t)i1jkaAe{h*U4 %lѩe8oC-u֋0viV\+XoF(ԒXH3!xSN "*SWɂ cvT