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  #4| ]/]HOL-Eisbach:threads=2elapsed=3.866cpu=7.732gc=0.224factor=2.007zXZִF! ;R]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sdu]`ɃhAb5ڥhoNdA NUk+))7ŝPzdinj}a=] x(Cɍ߉N,\RZS:5!0U}wH}aH1r <0DiHpA(Y.!dEבlSOh=22Ĉ;v005{$;|v &dέaBb%?tł9<e?eX0=ҕ~i9CJ&6ՠ.ՍnRwg!ȱgYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰Ko˒פ/؝Hܓ#qie _`T?DmNF윕i7?UR7ҼgX@;!;s퀍moE|5ը:_Q?3]m Wh"ͱgYZ7zXZִF! 8]ŗXi%9(Pς(<|EJW ڑ$JٓM[m~=I:Xݏ\n M~ ѧUG%8J0_~F4P *Xf^)@vk"/J|Vi #i80bVH;zT'b.X٩(5ϷUZSx0hRZG{Lk_pհ#QN}΅v{^wl\?J;øׅ,e51$'Tp2⏼oC\3g.~q%4ټ1`Ap>{kqYꆽf6c6)K޷by/Y}, wLNrX/ Zm_?Y .nX(="1k52٣6Zr}x.Uè laWT%Cϵ HEq-ƱD1sT 'VE/*Żg̶ΘIm"2诙yfP>{+n%R"JN恝+>e+gv*Q<)˯OgYZ719cb7279da27032e0392bcda129e6a2cc6422656f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1dda34f4ceaf23be965c8081cc717a098d2f40b75 # HOL-Eisbach