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  V V'1t w]Discrete_Summation:threads=2elapsed=2.808cpu=5.464gc=0.120factor=1.957zXZִF! ]ŗXf1-/6vRZa*Au&܍ׯFm{"v;I M\vnVG.&E΄VGaע/*虗AF!쵯='W>LGݛv0P \2i_p;ԉu%~L aL\ HTIjYꝶ;\܅^!'I$u} WOm~D(uGܐL x«DY\&E{44!l&]y`i :6Ayx?l̡Ú[2֐]Eס6Oܐ_: 4i"\c_F4w`h(ׯIh0oSj줷*Ikݥ_nFM]ĔTdLyM[SDW6A+0w=?W^oQ6 `GoH-/<(ICg w`(z ;}faA'7QwgYZ7zXZִF! 11]ŗXi%sSx5t(d0t9ѵєk!}b>&Mԏ2&\x|'UƮD$@$ePBWf˩܋#Q$l{-q63;յV<EƗ fiOO`[(FRVlc'FYI'-2Ŝ[X7U'ؔ