SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  u uM |< ]]Noninterference_Ipurge_Unwinding:threads=2elapsed=8.929cpu=14.440gc=0.700factor=1.627zXZִF! h8]ŗXf1-/6vRZږech-`UMqď꣮BYmyIqJ'\hrobow"#{jXibKS +٩9<]nq9<ӑgYZ7zXZִF! 5]ŗXi%6ħNٮEﳃ,}Flk3 &Ջ(MbA3o%D!i/]-.D.(Ua^"Ux ӆ*y3,^k}svJ}뫕=1VI֢XkVW~){4Vݣ bt'/}Q'˧ꈮ!P,C'g)mOuFbX+'@ 2\U@3qk8a56}Hp\ECE0)8Tc-2ИS:15wyu_y 27wf/SnߝӚ5#(:yj)֒P=kTyJXDtȂQVhy"%om]E#= O`ONfTR(IY'