SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   d9 \ wS InformationFlowSlicing:threads=2elapsed=9.539cpu=18.888gc=0.932factor=1.987zXZִF! j~]ŗXf1-/6vRZ;׬S@à;@& }֮5qg9PRL@ZӪ]n'p|r|M1o_:-מ,Lm$vg-$<9e@Ms}ȸ8! Dxa)f[~aV4Oy磆d"9QLw-rYةli0evw35=ܪj(*TlqMD. [Y||~H| b(I8 hM32JCj^;i[&*n, X@4- /adʠh{ةnS_Xw掲I'ffqnTjG.1˧`kP3OHh2`4 a$aRuKW!}U&fSq7[d9·~"(¹.l| qׇ5*T9V|".|Fxkg)8p̘MӟP^ ^NZUkΦI6X\JZL$eOz+#dCQKSW%`ab&1G)E1}׀ 9tm'8e#pJN^Zc}a&OkL10&T#q?w2jS:OQ 5 KL[Mq ,c][F2AyTNJ(5Xpl8fZvXA#(;3%1d={zYfB3֧FyK>͸Q`Ľ&A+ y{F $"׆sZʊlr˨}ʈEkbVBHEBMTrVR>z4W/*tQ"4/,U>Agԝ h<fTǍhMios DC4JOxi* .S:wb<JЎ gD2.gYZ7zXZִF! 8K]ŗXi%?59<[=<;?LyI3nSOjɔl hr0ʾ҅X;5J/%:[bNR9` Vf9a8YXlEơ*#E@,ҏ Z&`l v$U3w^h4LG ƹ\aKy*SA:p N4ɀaMHrF\fMG7o]2ғPԴpLyV&@fa\@ oɞ|.G>LN1Zq?(]i2b-@Ql bhÑ, ::(·} ʒԫnKAΘݑ4/2Wk٥޻!(v5NC c&MlfyV;[^>*vbyX8)UBxָFd %ݖ J/7\?w&4;#:?uF,$0(m&% ssPʨ@˨ ;qehp׍ؤ/B&JK߶iY>/22>m%>B !P1gsxҕiq~Vc5Xw hLrXs r¯9tA\R[D|(9}(I]OZwKjA1}U3gf6Gq^{23"/"Xx ;NݰNZ &H_ɬP:vc)+k0vaXҬ-؞-