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   p D< ] IMAP-CRDT:threads=2elapsed=21.902cpu=36.232gc=1.852factor=1.657zXZִF! }]ŗXf1-/6vRZ- VG{? uaԌ<[_ݛ )r=Mf3c:~I^ X=h3/:78@ 3}DҜ&I>5ˌDYt9h>י)%ݴkSC/rT8Wnf0}Bb݆s!<쟶O6%\)T-ʔ!v7 ;WKc0Mj%i{a1^uٕ_ed4)u~FͰBM8aG',}(0.,?GZo tS όD$+ɠnk_Gu|EAB;]ɥФ#3JV] HܒSj<ER!-F$<7 8;*P6>FWs'K.l,$Gowmw@?}|sբٷM($o.Y0Z=*[μUr_ vjn62Zn:*&G>!\MD\wu´i&{WtY#ǝVI 'ƫR}\B9ň )dZv\xEld`ZL-)fblήnT#ft1Թ'\Ů`ٓmk/MVƁ`*.*cӉ㥙!>1:+oTaQ͜jUƱcs=mj\>_;l{=a"KVZ/Gy\@sN} v.gYZ6be741875613e0497e86997d8705a5176722dfa979d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 13df1eb91fab2143104d30dcf6f2255711cbcc33   IMAP-CRDT