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 vv1WepҨk>ȵǙFwe$:8@ki[+JNM$ K4BB_i|X3xvc)H\?a} Meyn0-' 04'  HƁ˂PV[a"q ܙ֯+I oR\#@4]|aH*>$gYZ1a5181a0c8aefa1c7886953e2771dd3da3d63485 4cda014642a8620c207c2680eab8150f30bc6fe9 6999d1052e8f2a323fbff493d8633f9c9fafbe50 dc2cb8844a72b8df6e1f736b3f71114be5ff2d41878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 1 Example-Submission