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 u% SQ)5XLA"鿟A~pǧ91GO#=M bɛ8 U"ٕ"T3+{|pY&6G,CE)]ү\Pa&-&5.`SU TeR^ buќe.f6XKmOpRzq+p4Fi}uM^;w[zRN-rprgm6GNe-.S֎gk5Cs, h&~P`'j ^Y*09lw̎n䢋-3F.>P;*7 z'j8UOgx^>b}5H_=l'?2U{_+.Ԗs.#@i Cq'M}R}f0t* n\һ6RZ ftbnJmBW;amA˓EeKU,< xqJ ñF`9ͱ]KՕHz*mkwÝ;2T B4[6]& ~'5&|L .%y|y_U.ŷT7E] $/T09+CBcdE \]"u[ࢳ z9e8GWtTf>8f*hW3ق8h݂[AE*M֥_,.tI@kD-8x9BV<;#U-; e:ɝEs8(JGC px 597r$ď*C^5 ?YRNn7zKM1c;g {G=3nAmzK٦߿Tذt¾P 9GܿH'+%: jṊze&6Eü'|]V\͝oH.zIl2*]Mz`A/A1=Xd۶|+V.Og+W+*&&IPj<\ݛ}!~ұ/$-odz5?g..ڳ:9պ@g] U%]+|ކHioo-vM\p 6JUPWhs6P^!;smW1lse&Y+ FP]x7K