SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 C9 4 w% InformationFlowSlicing:threads=2elapsed=10.506cpu=19.060gc=0.964factor=1.817zXZִF! ]ŗXf1-/6vRZ;׬S@à;@&PjԁTEz)T=4웵-ܼq[|DU c,>Yi̅Ē\c-B~PDxҡaUh 4)K_j(L;Ï Q7gt@̱HߓjXjOmp z t H/lm#NK+\ Nq-fzpW Lc+BIΕ1IGD ;l6bdAcliX]r5_OBY1N3h@ ;6ي9|lO5{ }@ZA7|7/^q⦑)1F4ҝA9m M{~[~)*& w6>0`2JY$8MY9,rV@g1lAO`t#N>Zĵ2AI|?yٳw$y I|U^蘺 1`&o"8Q0f*ok&LƇLns~ -9ccc#JH {z#QEVdm`u;G]!c`JA-C|\zୱgYZ1812407495cec5df04e9400ffda893a10b1dd05d 48f54b27801ac9bc464dcbe870311259f7be9c1d 974e8213afb6cadc24ac67baaeb3ac914d640b71 9f0b4bbbee284527170127effd3487aa8669bb97 ca4c55c603d4b24124f9ef6fe58d9fa69fd00b42 caa6596dfa93f7644db52f75d75dd6e1d7c2be70735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 3e2e7ef682348b9f563c991b901d812c434adc21 125580434e347ab6ad5c1ae21129a6e41b708c0c 9 InformationFlowSlicing