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 ii '  SS]Lazy-Lists-II:threads=2elapsed=2.418cpu=4.268gc=0.208factor=1.767zXZִF! >]ŗXf1-/6vRZǽlK[y)[Uޫ #j%ulV¥i$u8&K#`_Tf,oVq EvCF_yH 8S\ ʒF X ' Lazy-Lists-II;z\Gf, UON;!s>EU聅4RN gYZ7zXZִF! ]ŗXi%HH\&{Be!o+ԨVҎYpFU"a>TiW_V|':Ϊj tirLDQلko71_oяɄK[lȂG_kRQs 8"|i jI_ miuo*ל,t\5hѕI+jc3ھs= D !*' K =3S7 ^}zM}'?>hQ@L+"cUt.ر%sF|3BjF|dN߷*;|'oN/m_t{yߠ}'xazXW!!Kz\L5k%&Oέ>B켟Py]I#D=A]ygmTi: ͣ&-y-{^Pj U0Ө ]5+9YP^("͌X[@v6-bԿ!2ogrH5g8)qM\gYZ07cd6fc0d1d226aaf867878e5be0f229ea689e9d 7bfdf5ca69422decd4ad50f7254a4ef86e92218f 98bf004bc849e9bdb1288cb3aea04b7c22192cc2 e594d0302fc73b9c2525c4f236e433916a8632f08c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a 3c49033944873b457d9ae62996c629bc24b1ea20772c03cb6b40cf48e0d01b416184004ba1fc1286