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 \|D ]% InformationFlowSlicing_Inter:threads=2elapsed=30.972cpu=54.208gc=3.264factor=1.757zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ҟ[JC) Q$ހO۟%/DS:$X@Yqe,2ߔgyV]3u_lgƫʐ|&K4l\E,n'I#ɖ&q#jĐOpò/o ! گtSp-,rXI~m}9|zU|ohn@8}K]Q 5$B>DdO\L6}HqBPW'v~vYc^"XbHQ( r$z`;[=h<;53™ng^j@M|қr62T5cpyzGSJJ@eugrs֞C?uLRZ9F${%thٜh.{/7e;4gYZ7zXZִF! w]ŗXiɟT>(;gG"**Ax(ɳvk_;fM^GF] 1\,]i)8ocCGoI ̃<{%gYZ7zXZִF! Y]ŗXi%6SwR=[8xEզ`7S4gs͖ J.sԱEXqpnVܹ< 2Lf O-yfM?4S3ئ(+.)3en4̽@@U]6i*\C"PVsAEGzIoGagPïU~Hewh}_6$>V^t#`cc].Z35:W*o-flss LI3!y^*=Q ߤJY|<yySA%4`7| AhpE6 9 !+$MB%' nzr˺h ?'u _:?>,X(S̵vqCtLN!42XZEvV1XMI c`I?XsLmdkT^n0\}Ƀ]:wz:L#5`-V 9W(SalwX?lˆ".tgrkuϺ0M+"ibpi? RA .^?-XT~oI Uͮ/2p_++kT06Q+n8oY,frVxXz W elGS*@RdN$w 8:^M>{KfuÎEPlRW`ܨ1~ϫ7=$dcZg\٢+OF*2o5g_Vגj;5xn7x^\BPF3|H""kIq<Se.bs ar'5- 4{)Vͳ&9…9f ̞c`i=^<$ @F^^ӟ~aAn3L;e d_Ij6n0t 56gk Kh/zL/&"*Ay3SbX4H Z5L{ CRN