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 tt 9 4D ]% InformationFlowSlicing:threads=2elapsed=10.692cpu=19.288gc=0.996factor=1.807zXZִF! ]ŗXf1-/6vRZ;׬S@à;@&tou|y ; n o^0|};^oR>4+ߚq Ra%º+ H=QXG?jt{ޅrLzE_&j±XOE 8 o_2L%?nu;r2=fOG@G@ƣKo:SgQ#[tr s:E&<_zgF gYZecb1bdedbd956cc392758a1b72276325541b125b1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 529da90294ae6a76ad19369b741f8531c3213614 1c8de3f0869cfc8060765326a0dc872208939c52 9 InformationFlowSlicing