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 I 44 ?/ Types_Tableaus_and_Goedels_God:threads=2elapsed=23.752cpu=24.416gc=0.364factor=1.037zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXL`5~L4،UIqEя0;; OsmaQy;7(c_lwja M.rz#x8{jRWc=J43 @#2~J?;/mmL! C!䟈0O{h$Ek;8O^;s6=s^Ebe9Z ^Ի uޛG$K1ۺ`IJb1Z{K8lԇ&C6mv,;씲mp?a 8 (e"/1~S,NֳSGɠS!ŀ sw{ڏRx"SGcV8TC nl_;5ڳs7 Ѭ!Υ/5FAQZ!St\Iߊb"P"iI P֫(,nOc"Ÿd-:ƍN)/ع0wCe&q;#]ˎCO<GײY{.!+9aq9LfvrfxB4I$@\#b${q:R-NA4aD٫}{ޡ'G͠,) k*SP.taUݮO/@ߌ2:"0ShwҞ]$ьvw?luq6'+ QcǶHK %tIrFhVxPk&1=7m6PRU.>r%VXik4i8 FbȑRi< L}G