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 *9 4| ]% InformationFlowSlicing:threads=2elapsed=9.352cpu=16.684gc=0.736factor=1.787zXZִF! ]ŗXf1-/6vRZ;׬S@à;@&%ǟŦwYL껇acĢ]'/ĺHv|>o3ODݶp317KQooxgYZ7zXZִF! ]ŗXiɟT>(;Z#>dZʒT.|I"{6eӫ`^*u`PZ Iz5Ђ,_=%e Ȃj'*5Z3!M4Z4YgYZ7zXZִF! ?m]ŗXi%;i߷';|^ie" :Px?!Ř$-$䰶VNsU”j# !^:0IYr*4,A9&A ,=L]hBQmN@=RD_gm҉O$c i)O1x/K:> A ttgrdUAFb,t|UdQX#yOzN~o7@ yZȱ\J.6|Rś-CeyP܅#ֳO}J"ݮ{xU[ʷ *"/Ts ;:a>ߤjup+,m"p(}ƨXe3B7O2Poi= =՚ϣwVS=7v>+rQ[Ռ7 G40;3_*G&E7$/p:ܴ< ~Sme1"m7م:_ͼ^0ք?4%| B),k"%~gYZb4f33cffd8a292ea041e5a917f9ff46080b869e6273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 6b4a8079902f8489957936d8665e5d5f923f476a 17b41bfafc26bd85aaf837c3c5a9861fde5a0e47 9 InformationFlowSlicing