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 . T<, ]S IOA-NTP:threads=2elapsed=7.970cpu=14.920gc=0.808factor=1.877zXZִF! a]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_ cޘgn܌}NUfAQtpCqe7Ŏ8Gv{:7tI %Q1,+ ˃iǜb&b x%ÑM85S׳=Pb{KS2~RlM9t+j-ع[7!==ufdݎSˁ,gYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz(ް0kD yB$tDېXTNbDvȷŚ碑Cx3)Oֳ;1×VgP^i-Gj5Wpn uh["/ȏY k1=ٰtLngo_ an"'!ԌgYZ7zXZִF! ' ]ŗXi%96U$,.F$ecB;\Yjs¸Vʼn'k$ $gt*RIqB ńB =FTNg`lԉtW&O,yIdT®,N$ mz ߿ l*F[U|į Gј;5[QR|ς߻{je"o.L*w]QTăh@Lʄ1%NGDN`azD!#!8Wʷ}0αd0fh5!d