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 ?9 L ]% InformationFlowSlicing:threads=2elapsed=10.986cpu=19.608gc=1.064factor=1.787zXZִF! f]ŗXf1-/6vRZ;׬S@à;@&x\w84N٪GLjJ C& Q,#?!kA(XդQFu:[;@NX;Ysm:E28t8Vjۏ5MH~\ARyd\qo̐8bjR7LUg֠(1Z!eV(!kjCps! #`GU@טZJ3V.FfGH jR}#5H28MeDA yO|fJ$fɽ:?gޖAͨYkCLOZE᮱gYZ7zXZִF! ]ŗXiɟT>(;Z#>dZʒT.|IM؀/ԁvYd7rL{mlz".yWA}n9]=5_oi Јh责Cs"WgYZ7zXZִF! ?_]ŗXi%6SwPx#27Q)5?_՜!뻭ȎB=}u^W|4v߰(nhw}]9mדDA|c>,a)k[Ŏ!MͶWֱ#Jnͦz9_3>1y/>δd:=k'~:ܽ=mܥiօku*:&:j٥דvig+BW{0 "=rӁy0VZ(]ȃZl' 2TsġBE)y7: zАafx؆WT[n!K{ۧ'vZNXԣݥr&{lN%!SyNͻXM8N,f fv_<hͮur \$t0.LUa~Htu[ˈYHymM0 q]Dt1bdDpi=~{2͒f?ӡDe28Phe϶K>h6Í \oM}[yPǯqd"@}@B9HIS)D(.AYuVt}|)g(d "op1TVo8Ёӷzq"\kvz)5eܵWwR1ꀺ*"%y-H އftT^*BǀcB;|C ?PQ 41Yҳq sEVN? W@5x9?qP _z75p]U-@ʙ@.QZfG&/ޘ e_] +~/la0K+A"qxvP6C#A7A^?zINbjS xVQy~6gYZ3172601360c96ec249db5f0720ab958a76496dfee70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d31275ba026f2eb283010ebc0fc44d05f97a9481 e2ed2338d722f34f5e974c26aa779cdd59f1f722 9 InformationFlowSlicing