SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info k)d, ]S Rep_Fin_Groups:threads=2elapsed=93.594cpu=154.524gc=4.768factor=1.657zXZ ִF ! W] ŗXf1-/6vR[O\"mӼ$zX6Auv$}#K]$sN}[z i"8oR^evMe qKB6Mչn]JQj._]Du~w,'t'"1Yӎ!lpǺvBWxvٔan҅aפsp"#џ4hs0K^&&@Ί%xzQiap5;\|BuXn#:b5m\uo*F+ D-u3EvHd6ů/tEgo @ ?s[$q0A7(<&kr6PeZ۠ʹdrMΡ3M5dpdž Üݖ_Uu{nV2yOx2ƣWfIz_6wIV$ `|j*76}gw8KM%7.v9?o^S JSӕ etO |f$~n0bW;ψagxYz [*>5ZnZ_B?{âZL 8JSIsoҹ>0raភ(GS,`=;<(WТ%k=E "?ԟA?1aeƅA͛stğ#E/9m~6vH#'@VZol^=NRxf6323pjC NN6عr&uUy