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 p% u;Yuٓ8|~O-O0m.2L{,(ֹZUVFg{uE9Дx)'GG9p 'ƍsKgۡeM)"W` by-bvULqӟ!q,e$ށBv;"٨gz saʑQ!uU.?)+$؊@ ~L;+rlcyTm(NлɫB;>X*]Чv0R y1^ѹte`wgSgԆ7_̡Ȫ٪:Fk,gYZ7zXZִF! < ]ŗXi%?5A,'6l*i&Guco5-96p&b= 3:Y :һ(ƈNml >!^3&3n(:%o%8Hf+F3%qLYPDPE-wH(:.ώ 4vZmCSfاg͂(Dбw d+~WɓǼXZ>B)dj0;Cj*tD#:ؼ1 ރx-0lԙ9zpxyZq_nz DWsPJ*lQiZϫL꛰]Xͥ/w^02cҴT9IAKYq?.rB$H8j%_~ "_}AMMV*#{W]{^x!kv qsNK$^3BU jk@Bh[8@6lc 0"oVtm~3m\;s6QH'vh\,#e() Ǖ`(Ht0ͱbS1n!7,.K(=,D~b!f|@ƛ.^P.#h[,z\ .0_qZg{5\kEuCD5OZsѯN.MR*UOcdvja;qV+"yW=d 'Ӄ'E]Ys:y~3gYZ2416511848c69b845f7c8a4ec82eefea0fd138c9 31755525071793d62f6b61cf93fb27d5793a7c4e daafd816af788235165bdb8cfd09c393597c7cd6 f0fce7eeae1ffa41a6f0691e21062958b47031cc ff404cd69f9aaa56e6cbe122e3d30144b32134ca878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449