SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  3 dT| ] Selection_Heap_Sort:threads=4elapsed=8.578cpu=23.056gc=0.960factor=2.697zXZִF! ]ŗXf[&Qz꣸J֯g, s]p,БݔBM)?onq8_3CxL7xLSv%?KLVTѸX۪%R~6ÝDTs> WqoK:1Hަp]ocS哲{o߂=@"k㣪?kP[xr!99\F4ZHWŀ2r'`G63h 5ڜ%t|LeA+Ve*Tb_c!{pH&l#?'v64痠kRw$rZS44ί]㗭L7{:{ Hri3CPDb跱Ƭ-.Υ5s4r$򼲔X&ٿs"G*0gYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj# N*s Zƃb&LJ݃k2w,V(@0Q /A:K ݞj{9j\J= <~#lniĂy\ 9& t`"gЂcs2sFgYZ7zXZִF! B]ŗXi%Eb⬞E$OH+k֕8}Ups W-\MCthq!I_ʑiJ-UqWT#:oQ;1Lx|Tpߟ+bBǣ 9׬k,՛ GBWUOzD\0GIS0@zRN 8 Υnƹٴe㘐7#V:'!ojp烲gʐv/[9z'* > oey({&iĂm|dIBKETى8Ե걏7?9Q ՚CY'镱/rD9]R'jUT@:NpdkJ+#J`L&2KtX?t]!*^1Oԇ9P>0QIcsY:7s%I; >'$x6J#eFW3lj(%nwD kBHM,"g+ܫ {Gd1LVDe