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 88EE D|, ]% InformationFlowSlicing_Inter:threads=2elapsed=29.559cpu=51.752gc=2.688factor=1.757zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ҟH80' mG=&>j3']gEiҜ3-@__zw^q"軪ď(m1H& _94ގ miTȦ+;v>OƋԗL_>!7#\qV0u =~<*SU!̼M 6h$ &{Zs䓳J\@* M C=Pn[+:o~y4";r$@bgL/M &ω$um=E ;?WVdQ^w4b ߬U<טߔ-ͣ{D󥎁W%_2&7U$,Mt@MRxdD5LWc,_tk*-PRG9 W] OLwQ|"}<' qUY|5^-gYZ7zXZִF! w]ŗXiɟT>(;gG"**Ax(ɳtlֹ$`GyC1{-XiXc12`?HZU4@` F%gYZ7zXZִF! G]ŗXi%ή+0ڦ1v+eb{hw;I^O, @(5!vGq@\,mG9Bȶsj%J@m㺿k%H:5pAW{g%O>y_b-TTT<,,-kN홂W"D.brmy9> ?8$#o&k7"}3i7E6_W>w\wc&$RX@,-N Ȝ8sg4'V~r=<KNvz녎^I؇IRKc"}僋mW8&&d(V1#CTA$8OMB3brù!}vXFי?Cx&w≼VN> =Bs=L*ӎI`5b(D'*S0g~g[`SN;ƪgB}8,^~*C3_a+9.RlUx"倥Of3 RG&Rp O _GAցv5臕LG㦒#jyC  MbXsoCBv\>"!ghvSg(kRJ!4856zڊkAiÂ>*YG(}lvtn9)Zw9FF<>-Ҫs3u:k*dIP$=qkpu;J8[;wERS[!u-K1+ M?L%? :ِiD/@v|7>F Mg&BxZ 1ZW( =^IfzhE+:4#W4 LlIj)t^)s<k#K2⎛^dF?jci4k6N*.ǽ  &9yMBH5S! eqJg,ʼp͙<졌.}uw-j~ij g4R&9qaʟ)^ټ+n~dx%_SO q xh7,2'%oSl2)Zr#fe-JGq$Bc*ς8z]0٩ xPUⰎժ2g=B77Y$*0V1 ȇ'@^Lt1}'Va>>wHA.M|o=^x_\<Y%;lNA{ i"(Y\_5sg{c`t,qi[$] zl+rb¶8?#Yӌd> 9pejK{lއ6:=yXrBF;Oq*Riu>܎\+ S 1$F؟&fIN}AQKȶ% ?gYZbae62d2c51faea8866bc4fc545d0db961318a7df00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 3f685792ca3b3dbbd8bf6dba0c2899f39e8ea5d5 a5acaf5ac75f39877ddfc6d8deec6a850cc9b798 E InformationFlowSlicing_Inter