SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ~~1<4 S/ Example-Submission:threads=2elapsed=0.127cpu=0.192gc=0.000factor=1.517zXZִF! e[]ŗXf1-/6vRZmgo34kTKjkAw`E:_ XMz5 rX&wfw)}YZ7zXZִF! T]ŗXi%4^CiӁ~;a!Ke{inYSE<Ǐ<ŧpӬ-صEzREġ1H+dwm 2K`U:ު*[vx7'&|QLce__{ZoV@@!JH}$lD8ԜQ9eGj?t#Nȵ:2,[j" h& 7C8]ɥPWA`Tnu E lS1rc3sAOHU/)5v41q0LOl]-H`m6(sv,;9gYZ1a5181a0c8aefa1c7886953e2771dd3da3d63485 1f37b54878c9bd672e32fbf147db8c365a8ef806 4cda014642a8620c207c2680eab8150f30bc6fe9 dc2cb8844a72b8df6e1f736b3f71114be5ff2d413b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c 1 Example-Submission