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 ) T|< ] IOA:threads=6elapsed=8.682cpu=35.412gc=1.376factor=4.087zXZִF! 8"]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K);f!qGxQjxɛJNnGo5:/ct񼲜ƴ9ޕ߬"ʁA 2M6\愖^@qr]ɆFfW(׏B:V \fT*bOa"SޥtU(䶙'A/+Kshd U=N^b&o>nxZ8IS<,Z v;s7n wc@BɴYGO r3CvWE+^W@ZM.#2ָ:r#u5{!P&U=-ץmae#[ mi ,g&S~w_)S "j鏍J' >MI)`a2 rck:1d V_;آA9d"𒂎xBksڐF> #xrGu\e SR GE&VȰ<]'0\!UtX{T?rOMSjn5GJ5ݣ-1_ժfOH"%'tweC PM;F_zL#Tg tMhGb3ym`2J2-?ͶfNޑUAx|9L;·Fvw dc:֒qUCw@Pjqy*|eT;](3N ͆ߟ)UQXZk(YnI8?PGcֻ((-`$#WA-|Oϴ^LؒT nln5 SNN"`bڌfm2| e%NHmp=! 㦇nGVNBPtacwH