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   n 4/ `PGT gw[sݥ-:Gg{|xYӌ}%B>fdE@}vNUI1-uan' >>xL׌*+@@}=*vS[gYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz(AKHR__F)]fMы%xkdGҢVzF+N-tN: `<:$uj+V .00W76 FYm|GK3L?+A7& ,,֌>\jR{;M°u(pgYZ7zXZִF! ]ŗXi%;P0HƀmcKhP0uBv@E cQAYpoSAnlH\{걕8HrosŚcRoP8P"3w'~!+B7nBA5"m%SlUB|#BB3HTl_<_qc,{Ia(c#2-J;-VvDw峏l F8۟$:xh uқ\Ȩz!-%ޮYL:(FNa6!ilgķi4X+)>13jTFv Ifi" aB_07Ii05(K9S“ )t/<;Ըbe92 gA+_0>xn}Ȅڠh#+kbyh`>o2g ">pB v@j*.A*TkyӋ3;08qdű:CFp@`sȩkdK17_`^QckrU3 _AZXDC|=3q|Oπ\٪ޑ{4gG%63l!B