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 dD S/ CYK:threads=2elapsed=5.180cpu=9.464gc=0.468factor=1.837zXZִF!  CYK ?A]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣtS|'O%;l.W$ܙ!kHHl5HfPUJ>Ū@H~'[eˏv%{Fxb)g~,k7{n{^|;@F @xA^B;OX,jP[SK*g un%xzՠ@\²S,4ܖ7&hNg7I"XV4$i26Wy'S)wƬ[4$ ?P IjeL f[MX]2!  ŝJķwjAJx$;XORmNh",_d[PM RbZ}r)s f,bqq yp\gyjwv0ZPUtY̎S1cqÿ2BwIк;7^ƶ R s ̥3|Kۀ|Yz9;Ɇ者7*Sݪ:Q{(eRTak 臮;Z Ajw)h8?L01.f? BB ɌXwb41A`?9ڪ@Fb1TU3o 6j^@32o7FƗY3gYZ50f0096c49c2bbf48be7c1fda97224d10c974fac 5eb00cc4d9a70dcdd682585bd5fae0f37f7e2097 99861fa07fe03ba8914f3d53c7de7c7ef6deaa02 ad5b67e29573926d3c9af3c34856b90c341449df80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4