SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info W W 3L / HOL-Data_Structures:threads=6elapsed=203.409cpu=871.360gc=48.988factor=4.287zXZ ִF ! C] ŗXf1-q恈D='-/w)P5$WD,L!p^k0=lKhTRzϑ\jrJķ,۩#b}Թ&]|hu Oc'M7<(ȵ_tW.`k/T͞hj l%ou.Qz -Bx.1uȞq\ &f^8rA|{gT줗{W+,Gjsge 1qE6%(}/=7~$a!eCg0:*a}?=qg+Y0jlO,͚qHw`Fbyp&Ex w|vpC/ f|בm>nLt