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 @@=3 d\ w/ IEEE_Floating_Point:threads=2elapsed=22.095cpu=33.788gc=0.552factor=1.537zXZִF! F]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7mvHm8jQFgwt2`[%]%Y5͐G`~6{߮ !SkbQJ9n;x=$P"1QR\5#ΝkmLi)W-mPԙ;&4gU顎BeRlCo3۞) 8ѐ= /&tӪy"sr-ΖɼTּdo+dB;#]{/9)wdw7uD=yRCVG_ CD*%$?Mf1QO=?Q#c3*O58lzቺd ^[gYZ7zXZִF! p]ŗXi%6D%|=Uʅ w: Kau#53H̼P%,uUOhS 惫ۉ)'VzEnYDK<vp^S?/(.z<ˁBZ~Hz2hL&L<_XpTD9?SD ]g7(o.)Dm]eO'/j%q` ;]53dC7rԘ@uh\#ꥂ䳙l#-)0謝b!}<#o%؆-mͷ=;7Cj|2urR+~qn)nIB6Aܐm}4ic\{8ګ ?̲> y+PIH\kY$TY%K"sKaCy;rӸeRM%o흑5EIY&y>N%#"R]I.0;s/M"gc憌Rmft #xq`:F&= C_މuYY6ˏ6IW((u yRL<';۟]bѳ1ɪ2ՐS}ww+WL%;hȦ-~Pa"y zlOWZ?H-[Vi >=g/l+щWȎwf?x(:Fe2ͅ9FiuS4NuFFԾU`eS4BEi$ mM'F%y;R "R~b0fϩ5D ̳\U!!]X{!OJ ]\V11&`n.3] B@/u e-JErKaE m$7:@Dە2_]*")Ȅ49_ttcIx+XUV}Oyƍ[0\ +:) F֛n6ʗb7^k jgYZ52e58de7f6f6fb16a6433604b7243bf110cafc66 739604e7b6371eb898e1f79ef9e18c789ea4195f 88d48bbfc3dd5a979283b2237dbbdff2a5915fca 94eee150f6e23efec055b9cccd65b0bed6c814c0 c305d1519764c5f5875553ba77696bc8d63ba3e5 d1f859c96d5de7b9b56cf79764e40635c7b52969e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 3 IEEE_Floating_Point