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 M D ]]Noninterference_Ipurge_Unwinding:threads=2elapsed=7.285cpu=13.164gc=0.624factor=1.817zXZִF! i9]ŗXf1-/6vRZږech-`UMqď꣮BYmyIqJ'\hI%yMaP{jHY^=QSR%.IA]H& @G@dW\ ƧB8bt,] ̊EG!/5w,LaMGDS÷QZ>-]E>1C^nڡqA/w:HgYZ7zXZִF! ']ŗXiɟ\K lCHV*QJ흻n YP5eJvܡg]mnhIs@ V :>jDM Rm{ 8"?'C zkSK}wJ/L.3&)z>@'@ʣF c`rޕл9n r?h$u λUۿx8O=ƅXy=iU8EE :S+֎*hW-yUխMl1Čm*Om8kq@Hin^^jo/(te)'1 x =ImGFC{,:jGuLPf; jH /䍑eQ~Byys*oɔ5A(4'NF^tXSShvZo]kt5#W~n jOI7Dnx4HPK!a囦b :[rp:&`gYCS9bz l+ UG 6 `GUūf2PQ``X,kO-jBy![/P7פuAPB*`wbgYZfeabfc9a841f8701535d37453bd67b30f0654108fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 31092068156b813a4399fa5bc384bd916b9433e82bed7c4dc0e8ca4eda93e34d708a358f7ee6a85c #M Noninterference_Ipurge_Unwinding