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 =E 4|, ]% InformationFlowSlicing_Inter:threads=2elapsed=30.720cpu=53.392gc=2.820factor=1.747zXZִF! E]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ҟK>$\oL3t+*^QRRN4+4n3ES iT]!p*ە2& v9~,z)Z܍\HSkKoodlo ƭ*Fy^o4Ifz$ ppF'=Rb@HOT_NՔtwRBh,G"^/ɑj@yD_X/+46)WEacP]do'w;NӂN}FWFqIc. :½4⧬Ro/~82#|OI=PHޞJ0W K3?T}[l.9ec v;1gGn*o[Ad nZ$.Aw/_{é=@b+7aE(&9P5r頔0rBB*Ksg,Ǐ mOD1O)_uJ rFޫp̀+o>=H5q S#zSRd9Ң,eXn9k -gG8EJ;*n7vCz+匠A^ 1e 88<p`gYZ7zXZִF! x]ŗXiɟT>(;gG"**Ax(ɳu+KL 9aݿ/B VԂ_ l ,e5>eh VZpÂ?蓋:_DhB5mxL<~/s9"Pd#RuQcvq17#:M"7yR9")9B#Ռͼ2࿠E߮M0(kn5|t9:U MI29e/c z~-ڜ2[v$~ԚWnk%rֳY$&G^jS7MKr(FVܢ|Q)]JS}DpQ]T0RrT"#6'V&;:qL0, StZE{()|n!U0R'JKVo"L4/M]:ĞN⥰Ɠna)_uW&ZP.Ë>ºb|34d fb, _5OnhXL2W^a_kJwD|er~7 YK,#X%mrxۿ}-gYZ426daac6b5cf7808f35fd0f982a6f11187e4d4c6325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 78d36a4647f0ad2dbd736c70a612f4f7fd4926ad 9da1fbb9446fcfa6755190af4ad4054961d71ae6 bb3db30966783095455caaa7e928c84fce927d97 E InformationFlowSlicing_Inter