SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 D, ]% InformationFlowSlicing:threads=4elapsed=6.497cpu=19.636gc=0.556factor=3.027zXZִF! ]ŗXf[&KvE{!Gx/d ՜fjp,h%9u\f`,?2GIK(3&~;7$n3Gg7cLԐ߉CX G|)&ǒ=NR]:(;Z#>dZʒT.|I"| 'u}Fzs\=:á<`0J)#(+_&|SS枪֠ z#=buX~b!y錪:ڠQi}f8ѹhehPq?g~3Q疨^8,@i"̎z+xUͩirmYWcYa3=]sc_0j@ `9R@Jy0wȼy"s*V,}^qͦ[3!NSs`݅q >EŜѶ-VΓ:$b2HbWEu +I?znskZݏ(`~q3 -@< 2GuH%1~oE3뙑g abBS0Qc@:O(e5\(Vy[jƤO=;T_W 7Y“ {]4J$niĄGw4Ν詸7t+y_`V բɱip|Qj$&lGaqWiI󏏯!8?ZnbjRP IY9e=~HϝOl- aRzLӠ-D| :D,*vnL R-F®m<]G#Y;f¸PD{n%DOע|4"W [. 82Xq!PlQu)-x+ &de7A2֌@8 t5ggYZeb60c5e27694f41c38dad47ea56a11c0570501c6d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 8c966e953b92cff91275316f27b056d6f22aae25 09e3326be908c953729b9419d3751c49c2821c9d 9 InformationFlowSlicing