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 | ]% InformationFlowSlicing:threads=2elapsed=10.698cpu=19.388gc=0.892factor=1.817zXZִF! `]ŗXf1-/6vRZ;׬S@à;@&HS`L)'"#m[8+*gәLϮ>qZ%U - 7*wḭg% /nmvQW.b2S~)g,oRk'<]MSu`W^N8ٕ gYZ7zXZִF! ]ŗXiɟT>(;Z#>dZʒT.|IM؀@5adm .fs0;lګ?sBmo:{)!6PѱgYZ7zXZִF! =#]ŗXi%9(PMf4#ԡjȫm"%YӖX{ Ka|7{VȝvhyDb~44:njp?Dn >8ȟ2ZeXmsŠ=sv7w9-03)\uz# rOKl} ^2(Ja@3'Fg9$Mx;ٓat #TE瘾?+~ps'ح%}`´+&źV4׿bK4]p1m!q?yIm$q)0{(&,8bM'o(X 8`{ nW%TRw@*4|ݙI{ޱcոU_jE*HԈ ,`H p.|mp%6e}lF"6J4/LN1.8\1;.xp{)7]Kv _ԇPo]zqO 9:2~6;ZEbu&&yKDd}__!%#]xqn- bCֿ_6Z zҝWAϛegf#> ]+'ܐ aaY ^;:YYSѣllo@ %0!+xe4Q1ol"}Z6KBОyGs2_TUmeXeDEP26ڎTj[vt3y](켸,A8)+f²lH89Թ#jq\dnAC3d}L)s#ĺk mf3mS/Wrr;9J$jwU uF 1P߱?G7À/L^y/V~ф{P՛{|:xvr)J6rj}Zg0Jǰz\;#DU_t*R*XZd2@V“O)J|hC (z%gYZf75b9a60950540e9824e69346804a68f52c71d81620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 b289b2d35e21bab3230d78ec88be7bd1d162c47f 9fce95bd626625a78ce7e16064b255135858ad7b 38cb2e05b1f4790ddac171a4dab3efee201585bc 9 InformationFlowSlicing