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 <I $|, ]/ Types_Tableaus_and_Goedels_God:threads=2elapsed=20.529cpu=20.636gc=0.248factor=1.017zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXL`5~L4،UI) V Y06lΪqx{G {A- jMz?КI!/n~S`EA@ i<5Y6!#*/>Y8} uTLcn,U&WȟP{Щ$ lVZW/cM_%s3B{\X̢$ॗ% P4$a#As_4тp%Ҳ,3u/'PVLxFˀjT%fI(1Qw(~_$fU<Jjw&8\?1s¨ vsabF{ V(IzTĮkXa:h^@μ &(OaA8ՙ^ݻm3J嫀sAzSG|5 $ fq7bS(>_?6[ҝiv38|#C 淜VW_#.3ߥ`5CɳЯ6)P/+AI%)~vi8X!V_J}{~^)c@gYZ7zXZִF! n~O]ŗXi%9(OX&?Oh@ͼS;cf6?81z#ms@+91?' ގ1/Sȅ׬Lp_㛿/;PK"sUӉ!bb G:#[EG+s"BW'`rƇ.U&sx:)~_ۊ/Y9zɯW |+HSp #bc:ve B(7F)،`")8+5 Pb׋{R%V NR7oIFDdV8ό˽$ '6,!u^]l~' Ku)rпbQd z/[~Ħh29 ^*~bm'h拮wńicgsr0(d,'pz T:Q0^8+_)A|ӟ;gK0Lx|W&5a{KJEG/lY$m ژ<6!itb2 $ Q]+]c`ȞjϢt/Go-PUM[^"upR bc yIdzEBGa"l #@p}xa?>)S^4 i H$anb%[>ݬS`Hu?ыe}>  y)9gYZ55b12b9909298be320b405d4d274021758b97acc3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e !I Types_Tableaus_and_Goedels_God