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 hh $|D ] IOA:threads=6elapsed=7.348cpu=29.696gc=1.164factor=4.047zXZִF! H ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)@^?Cn8yBo0z*Bujp-芣r]N 1\/+iTVM!-S<3Es0 Aaf1W[V5Jͻ@V0Caލzj $3!el+?`OMV'GNO+_ූBN⃩KXΏ rn /$hX.6h0K{GICM$w`g sIf.ҀV`+ W%9aȲ! ln1rӨ,gYZ7zXZִF! `u]ŗXiɟdN'LvH۹$>#OzI|EVmUj] ӷ?N`y.2`|9`DYq*4ݯ1B5sQ&ڒb z tؔ!'.[ĒR:|۰2~~#B/؜)M0°ЄuM*հ9## jFg/i-$َgF55r# thz0NX"|%Ix p)*t^޾يq_a%ICD)])-G_/4Uj+z^ƊߵP>`S=}2 9o;̵謹sDݔ:t!{ `ț1gYZ7zXZִF! #`Z]ŗXi%;y#mlQ.5ogƮdǵxyL - /k{5^&Ptg&^ˁ'6A㮇~!uar󐽉!1ŵ^&\H 7LC9V .fF峀?b {8ɼZQ|sXZ?FU C"leć :, P߅ Ķ㻵R%ȺR7oW|x? W+nIo_?NM&F08 PjR0c\EC?}flܧR)y9ʉ3 C/Eh=</ dU yYJ"㽩W$H±([0YD5.Bi'j M?/q/v!"oxdy.UzZMAeoz~h<#m3F STx&-Z0V!t`ARK r߾e h:ss\ 5ɔbU-^Sd T4bS*ܘliQIw. D1xDx,U6,28L$a{ۘXu->^?yO;]I qm~ (-F,T y5۷,7k q2ݓIŖ_r!DkH ̶17|u{M*/^nuq >"f+7~VVt*Ȱ?j4$s#Y,o0rTCaGAN΁wwGBF^{DB|o0VI;[mϸoB/IFV gYZc83c61d1a09383adb860b850be1b24783d44a3669884737fddd3e6081253c712523f8ecc142c72ee a26171661ac87092335660b10885b138f2715297 d2714f6d7c1fe634acdcf2720cc6d426fb4e5242  IOA