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 WL S CofGroups:threads=2elapsed=0.857cpu=1.436gc=0.000factor=1.687zXZִF!   CofGroups ]ŗXf1-/6vRZyѝ6lAZF=/Ob~#;?\=~AUןLgLõz*uKVK,WĄN)!n\ K$oEur"ɦA̝B?#jH:^@p/LrqOgYZ7zXZִF! ]ŗXi% cUVؓ ih~UmXc<ȍz9\ݨo2K'͘)EECV9m6!lNFL;.9*;y&܌i b/t|;Mm܋R3bC,y#'.=< iQa%L•Ő"OQFdJMOGWn ,pZ ;G֑ϝTM{O;uoρ!D\Pɔ& /ѩWQ 8GҊU{dθ&敺yN *e'Uy6,}(%JN&M&1(g %n%[~"H;M$A V̓D+ uL|CE h0 DtjvVQYgYZ98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b fc51b46b53721245da2336233e334c5388d48eaa3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31