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   m# l < ]]HOL-Nominal:threads=6elapsed=6.272cpu=13.140gc=0.652factor=2.107zXZִF! {]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ207gyR|&pB ĸޟRuzCiݞ[$|WfNQ4ޱf#8Kj8u@Bt|#wlóQ>I/yU VIcX8^LRz?J{Dkd~п+V:ph”K ʜDZgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ kH(@~Aicp )@b 6`I'{J}YZ7zXZִF! v]ŗXi%;tx$ZL8՜^b'zt+\f ^d8kdDz\%֏e:q ?fEsgaDVo}a&kҵtB c$Ǹ3_r0őI\(qqr$NWHܾ(cĜC$_J?][x,wk4- s>nŮlB{mv6)q0>?Jd|! fP: "qHo F$oi@{ut5 I [#LBJ/Is(Ssp nJʈ< <