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  d, ]/ Category:threads=2elapsed=4.815cpu=9.024gc=0.500factor=1.877zXZִF! y]ŗXf1-/6vRZy_^&Z`Qp Kj'>f[LG|F_۴=yڃrUɰ}%vD^PfTfG%hn_w1n'muWF*ћE عhZ1'b~z҅r)Xp8/+wspzOujU^p2KHTiM+slT@$;I,$Ñ.h˳-<tڟ)Guy\ƍ+o[DS|V'bpsd*؛L8f~1lאCl}^_J#9_L}cJS7L_omڞ#>$^ 9Gkys + L ㊍?X\YE'dӯ2L* gmy2}xV{3i&7bVh{