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 FF7 4d ]/]HOLCF:threads=6elapsed=11.701cpu=33.984gc=1.676factor=2.907zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V}}7g*Zeԫh D`o.]]kYR14c5 D3G=7ĎFU(gs{ɢg)Y} xr/-']SKj إ%s)Rxhd2+^ g_ }5Վ? ?P^ZγY\>VORt/u @]fL%J$RdX헬3%z 햨a}I78n@5;<Èvbo:Ƴ_xo{|s kŷgmT>tʌ RC^^G}O_S+#2wΛ 9^Ὶ?.dEb2U/s7jbhE{9A؅h!&U:Ƃ́3vrih6ഔǚX<_ك48dg` S{^o`<[ fsFF*/2ߪ ƍ*ձ|PzH5r <KʱgYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]zm <s+ jko'6pmV nbyi/1*' T!C~qKZaLy05Fm7}e4b!x| uZEl>fdHClg[)kcWs8v{>s'8eٯ B \.Cz[ofthNx0.o(a#)ۧ/j67[%6pU0R`SD.3[,Gjj\*QHВ>eʆIlG TX>r;fCjLn:qxo 'k0y4nŢE+Lt-fchD4|*Li@fR$nəuks#v5߇:ft;t&b+QG:Wa^1y@ӄEC?_{{ݴBM`PџaO~vU3dB/V#+aGJ>YTz$fWgYZ7zXZִF! 8*]ŗXi%7bvFN1_x-6kT59|*& iu5Ջ'UBpGYIXߩr\b+(515O֭ybIcvXc>M9PH.xVMDzyzqq\@PpL4W0F{ bu5s Ѝ ϭM'-w%E \N=:]%/^B#=i7pqoGp6׿ئ9, tF