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 H $ ] Category2:threads=2elapsed=17.291cpu=32.388gc=2.136factor=1.877zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~k~RwTY.zOgP WYoK/.$3ؖL@rf꘦8I# oj8ZBZxip-uw8oeubuɩj/%U|_C(:: 4(>hǞ:i X b5zem(uf| ~QXy)hOxJ22oɲEI;D##/}nP4$6խ;ft&^ŸXG r+.[ y'9hp'[4?dj|qO®hp( 2,{j(ln]kTES&p+"z7OOG뻍\9kX/kgYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAa1܂ ;' 6bڦ @Ԟ`qce/4]\U%DzuMU-v'[R0.Ү69SpM43~[md/U[)֧ IqfK(>ѻG9]"T~r G=?v>F7˫戏}AHnNHē}Ö&)d0fq}xgYZ7zXZִF! i]ŗXi%9*]_&:7(+W֐)iR0-K,]-0eN|=*[[ *M.p|c*C"ة.zN%~ K]' 8씩+z|SvEeW;)M]ٳ+6‹Z"R1x A]gI8RwGъ7%{NWбXT[Wk7 ZBX81 7V9!&imƒgO1/_'QW#c5ᄿPabi>K]1Z6Q7XD%f&Gg-O_p#(n}# \%h/Aԋ' X)I#d;+-0W ?a#[^ h5egyDnֆ5_lյ}:! YXk%ݘI7^}!v'=nGZҒ9HvbRNCpȴfW'`V^?a36J'@",툽6D6or^{g뚽TUb<@?},ApƓ(P~̪