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 kk dTT ]]IOA:threads=2elapsed=15.098cpu=28.624gc=1.160factor=1.907zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K =~l2?kEПI~]v5>2gM\@VB_)(?"@ЖK'"C~z0k ),=~?Tqx=b{C1z@Ƹg2< |Z}v'du;wRQӕH'E2 6F!s;p߾78\hk nƑh)~co .sgYZ7zXZִF! Fa]ŗXi%;ź9H?Ynvۛ琑st ՟+ lxv)m{J_rTp5-;ʹbBNqm㦴Dgpedl!/ gT{ڈ9xs4P9L _. 3ūB:X) |e_ Y[*s|)ΘYyJFڸ"s!{<4K/?^]2fZU/xg{1 &sXG(}c*UTƊ;գT`PZ^٘UˎĹPɘ])TҸ 1EQ_]ڨ=㪌eq"υ浘6ez^1(_9_suz&Sh wİ#ͽNsy/jԾzd0 WAU-V ~aIht7]懙L+H#Թd+4lw&ha0򤫇Ct+uOkp7 vUkL/1Dw.wHGBdd\|M α3`[W2qIl_"w\%kfyX_ s`-+%moQ1ڻmUX[(VnMMc^E@vZ55e ԯEWRwBV^lc` p0 R_|o.f&ywaw|#v&WRCUȦPh$Pe$*iސ׃<ˢQڱgYZd19958a4e5421ed70a9e2bffb52b067ed6ca381f047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 25919365df18615587d6ae826388e338f79662e04c0cabe95071931b2131924f0a46c86022a4b361  IOA