SQLite format 3@ .  YYQ77Atableisabelle_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, "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   p dt  Category2:threads=2elapsed=18.056cpu=34.284gc=2.216factor=1.907zXZִF! K]ŗXf1-q恉 :NCG 8vۗr #l& !` c91zX]G?K{+Ͽ~ y|aF U|ghd@09'y*d+yP}p~b"~W·ǀj#t>]2}mwAyIB[SDʹR,4G)j{͟Q'RBI7\G%QU(ŮI+!B@^su@Kk^[ƓShC Xw޲J&x,"dJb4Sݣ-'m sHGgYZ7zXZִF! e;s]ŗXi%6GQXh̴,P:7F |9{13Օ]w3:v56 kme5W8ն8Zl1ёFBq(ò)왠A^ДO F"'`(LMD[$ /RϦLscDnk-t _J}}EZt5w0vP׆iK.셽99MWMpnl6Qu2Gha|/~}zd<=U] H !x4K3J>ƪI:&EBoߋ.H^89+K"DbL)Y9ͬ ,{b=b#/YߔUmZ]h/jhtcfGJ:UD8|$ENŔ:iD2~bXZ]W&d`/ϜTROjUpĹV?v(:}aitv$/nm1=OJρ@!ъlC^U63r9P vC3am@5svWӕ*P<$T2gGؾS-b?M E',r&fLj9+X|P-G ƃG~M+]ըq0OO# ']0xѪu6i6:1>"iTlӫs\Tֈlz–`o M Ch