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 j% TL ]S Posix-Lexing:threads=2elapsed=14.943cpu=27.320gc=1.556factor=1.837zXZִF! w#]ŗXf1-/6vR[2u)qS?'CΠPhuM2bF|Oބ2\8~eRL1ƼYs-qǍ񬚍FKpGFbm2{/Jܓn첣q(͙'H't#t?bO4AunT%lVMhwd%ǸoW,|jm>՝@вEI˜cEt^:&)< ixA un<)Ǧ;~3ا@]SsN=v`:DzVėDr|GIU 1gYZ7zXZִF! K3]ŗXi%6y2ANvU!F)S5|7yJ%]O ;19!1\ji#P+9m ˗mIbQ6@]ߏXaW&-G>r]~y .W]]֤8^!(zf?=o/ b8= b%!Xz?Z"N& 1L!C|En'}Οa=L('*؛ZtZ- Ж1YҐˤ|e\X(d8 5 u7^a:[YzvUc__&wULQ8r`.V IzX?Ҽj@ߝQ0l71sj Gc*m( %<3|*x񈍸q}v0m6\4R 5yf-xb ZcΒS-&˵C e<#Td9h5KTr⻱Z"f'꿩B=mk14 }ݛ6^cVҶB$ nisҊjq:"1$=`H[&ܹySyvRJ[e^s S<hFձKVm*t⎕[ȳG]%MK7(wWqu;OV؊]uYÑRi[Rxu<2zxq||p-/*W܋C5&XDzSA]1-I9Wm{M͏7l]f8d=n r~ WgynBYvv l roՃXG.yuö?D-DY`"Gs1sAH8Yfbٞy&x=OuIҞnK.Ũ"e52%! y̱gYZ2321c8ec46dfecc32bbae060767dade211654ee172476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 d803b3107a97ee03bf7c79244caaaae2e48d7406 % Posix-Lexing