SQLite format 3@ .  YYQ77Atableisabelle_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, "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  4 wS Bernoulli:threads=2elapsed=10.924cpu=14.544gc=0.320factor=1.337zXZִF! ]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sS #U=ǛiF#>Ր~SV~'AqL}zk?_2˞ළA/vN==ͥbii]b1O(qR55ASl,M{¶gz<:vsgYZ7zXZִF! <]ŗXi%FWu^~=ye#zW.]e#}+2W.>FK0"8$j+7nR蛊9ʧJ [V$^3 0DET2rBYl2/ɳӲ\.z$ٔX;34N% t_sczAf\)ݢ4}O4 %,VI^ܦ"(Zs7\f;@* i=r`p'r22bhye3|4N [5[ MGz@wb'SmzC7y[ 4cʎ/4bٟe &*56LyFe099J 7 (*XD*2j@އԭNV4~G q K&;-@Ihfn/ ^-xy6R4I#'w NI4-&k}:"+Pp.Eǫ*U'sOװg\ ۡb 9 :x vT*ڝAM8ϚX!ĞX k 62n5psyNjL-tCX! bB=ߑ/BYOcZͼ1cSf=,_):ָoH̋jqAjF/=1'ClcgYZ306614ae7e125cd238a3bba7fd3fa5e2d2176f65 50fdba8e5a4fc67c2e42ed269149e778daf78aec 53c6fec8bd0ca1122e97880d460225de71ccca78 5a5e1fdaf975d1e550fdbc34edfc57f71789cded 63996b18a434731c4e83e9b8e9092ffff29a55ea b643d05d50864ba0cd5d29b7370becfbcb3726b0735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95   Bernoulli