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  a a+|D ] HOL-Hahn_Banach:threads=2elapsed=3.630cpu=6.632gc=0.200factor=1.837zXZִF! ]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'QzqhIIP4 ۀiy{:s1y#Xްkt5&:.Tnm-h`|3l4|Z4^vнԚ $&^s-О8ZPmc@RN>fT]r*g23N8ӡ T1_~lH9=b/f gYZ7zXZִF! 4]ŗXiɟ1P ~n8nQLh) un0ļ݌8uՒޖ`fߋ̚cJl%xLI&U6͙SCz'Vl b(:ŘQgYZ7zXZִF! "]ŗXi%;NH;z݃G+7ÑDļY%tܛ>ҪƦUa5P_T!LwZq#%]ֲrʱ C< E]IEqP~/q3 1WLG<%&ND}PA#fJ|_m[~2$Բf9'_k1}Mo5\N{&Nۢ'; T+"`A0drO Э}j?[!E}nmzq7x&o/ˡ4̊`Z0l=3hae d+iL-GB  hهp9#X}*6Zyg8ga3g$KtB'XpRUVsY$5ƑxWYL [tY%z$@ȍMb=? hUw~ͩALvVONy`t&` XGvD>Íz1@c+ MP]7E