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  ' 4,\ ] Stream-Fusion:threads=2elapsed=9.586cpu=12.316gc=0.488factor=1.287zXZִF! ]ŗXf1-/6vR[]`\Tu}M-*qtjX`"ny#90l)/. "$<# c}Mo]|솫I6*Ǽ-M6n G?Xx`q@ZL̮iɤ/tac+#\Š1 Dw،gߥy4w-r^{ר+n2Ots4is>zdњWD1C}Pe#kqUAq!9g%Z-7HgYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(v]N%q\ ^We3$^LX6Is#o+(m ¥be6X-j|9@xk``R'w 4!prϸā "1^Ć!IQXϷfwʼ>YgteR@skh̭=|jǞW8˟ǧ^78ߋŔ.vEDe{+tdumJ Qm?(Zh@#3} ,;4?R)K\?rf~!\XS<x7s5`g(0R_Y. yHoDH-hݏowFgjTd0<'Ж ˦le!ElM S|m̺1֧OP 9ޑN/h$KYp&gYZ94d462be44b04992eb9a88903645ab2ec33401a18ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a f94956453f3c9449081944f015f52317f1e1a8e3 ' Stream-Fusion