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  tL c/]Ordinal:threads=2elapsed=3.637cpu=6.428gc=0.296factor=1.777zXZִF!   Ordinal rt]ŗXf1-/6vR[$ l0I/O]kPJ/iL~N@V@*RCwF.) <]7'AdȾ՜> q:a;F3y fvJy^622/I!a8@#f&4 6GT!]㿃nn_D6?t?ZMkлy9ݭ6 H ٗ*Dyo['1}N"'MnQ *#&'ciQg~U+l1 ܖ%Of;v% s4y,>+3K '"JdsJD]Sw+;?qAD=2"72k# %6SO CːTӐ'NCv<X>'4yH$ {[{@z|`n,N~D+^V撨dƆy:("Q@ۼ-8FXv<}/ l u{ZoVd^5Q<ɪ"^`'엱a?kKi+EZ,bB=tJqwFe4}*Mg2^vvCnM5mbfZ=E ڪ5Rq=:3$JD-m3d貳e ϴݹS_Xʅv8BހGp# 5YʼKDl(iL}vg36YL%kU(` mo" Izxn)D71gYZ0ea07e2eb048e5f1c7380706a7afdece8a9220cf 0ec36d7ca23942e0d8211bca3458e89df4086332 39fb1256892d3568b8f6150d61ca445e5012297e 4236fc5d5ace4dc812aef1bff77d50fb2f4b345b 46c634f4b6a44212939795b955d06be0f45a2c19 6da2e2a0e422696be54ef36c23980e1e96452ac3 78dc3cbdfb68f55db83f24fae49c32cae516c581 a2b9477bee35b79fbcb096eb5e777b0aa5666887 cafa73f3ecdfa81fad98de2057649d95f9a4779f d401c1896f1849accd5fc7c91c3a8b9b46ca9be5 d439013a4cc84688243731923c489a1a610e6155 e016f822822bd2151544565aacce9870a7db4521878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457e86b9d5953ef74ccf8ebc382d7ff22d0c19c4272