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  5$ ]] CTT:threads=2elapsed=1.005cpu=1.396gc=0.000factor=1.397zXZִF! SP]ŗXf1-ĽeF5ˤ]HrȏWB]=gb%~lkc^V%SA^DxP lTmȅ}YZ7zXZִF! G]ŗXiɟa3,=&@1 ǹx1̶Ѻ1<93Jzצ:EyOT $I,J }=%RavX- {@҅f+<̽/HRrD؆ua|KxgYZ7zXZִF! ]ŗXi%;>swM +(% _46}Z?>XkBYo\:{D? }I6"X쨑"p #Љ kk4VшG5Fb-Ud,C/p(m3kZ{HzD}V(%K/xe!x<$L[؀kl֨n; ֘' tMNL^TED]}ou:}^j.'=q-|P=C"_3MG]'1I;=%8` kG?E7f`[7UT(k(wGڅ#N&"G͒þp/bC&_R55iLΤj%kmjG@m(VS~nw@zm_v 5xY"A|MK[F ƨfN2X6