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 8Dd S IOA-ex:threads=2elapsed=0.921cpu=1.896gc=0.000factor=2.067zXZִF!   IOA-ex ]ŗXf1-qN50^ \!RY/nDTj*tL_,EPԣgY:-q]\vj]x7<  4g8- IB4S2"kP+ޝ,e/T']04ՕinBV@㘊^:ByJBzex -2qup6v^1tdEP&n 0HerQ;-es&ViF2I}EvB4>G& )SAIr6eÓϫl―aTo"(]x,w̧r]A_f F(gYZ0a3b8cd38944bdab984be3653875710900390a44 600351b420a2a1e509c529a1cdc650c3f43945ab 64f13f5ead5c299fc21eafd0f4eb3419e8a3b86d0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903 44190651e766f74bb3f25a3b29bbc1b367a82386 2d0e3f70468dce97a0ad58472904bfc293db1155