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 ff9 l ]% InformationFlowSlicing:threads=2elapsed=10.845cpu=19.816gc=0.804factor=1.837zXZִF! ]ŗXf1-/6vRZ;׬S@à;@&(;Z#>dZʒT.|Iy5M#rB}lX$=?* ҩ@/z8bc q NIjG`{<$-7鏋vwO=qIw$} jD|[|cd2)͗ +x 3ʭ#tQ}>Yzt;%}l]᮱|BZi11Y m =RC'rKCn#6]!1 ʒŕV"OgٳL1 a-z*ћp}:U(2otcj3P}8lZ6Gɭ}b$!k ':`FIqňr{(]^.gU^"з=+ORϺb%b+6nHH u}k79c"Mv;}U麿v`1/8~aN, t%gYZe804b43952c0c2679504d46f405286674d07c6acee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa fefa1ad6894a35a383db64f31d9b68c2979c87c8 2081d0c90517b65f098dc10cff3c43c1dc892eda 9 InformationFlowSlicing