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 t ]% InformationFlowSlicing:threads=2elapsed=9.340cpu=16.636gc=0.716factor=1.787zXZִF! ts]ŗXf1-/6vRZ;׬S@à;@&pFhcӿ~Mw&qT%*.cvr;v>y޵,K j=͜+C0PXTpGv%ܭ|q9ʪ[r Sb] ݅ "bS z1;wlO%ǻXy4pA*~[[K)~t\O7Պt;SufK67!' N0j(2`%PKK@q p66S"ֶ!7W1±gYZ7zXZִF! ]ŗXiɟT>(;Z#>dZʒT.|I"{7dO. rp'xB+@aQmA!qf{Ԩo벿TVA9"KsnU#Y^h"WgYZ7zXZִF! ?n]ŗXi%;Ÿv J L]y Zj ׮MX:؟dKQ\iIbLN(^D2I(}O@G4{#%xC)jVN  u{ #c*P8bQn6aqkAQ15I;'X2,)5w\pz,A](7@m{Cϵ5\!nl73m2J/3%/x1K10y"C?LFhozܛ1 p7S՘h&/y#un1p\~*4"ncż}HľVGψ"~0ށ@2$>̋5M070 Lҡ_5^[G&JՙD+&0fs<%yKUB} /ɣPE=% {qs+T0 ēԲ=k0#%A)(-[6>>=Y?L Uj_4!ںB=DOƒ_>"3ZGZMu#7YaFQ-k|0}t[x= e'LЁuzK5Rܠ!Y:!q롷b|%3R7W!hYb4Q-`I o5M xʕ7j: ~k stbCujAg58 쐊;OB'$ݙ(:jx8/ө}Wȩژn|m͟JlGs %_VQD@ڟF2GcLetUgaw[%vOSD"KUXI%ߓnk2|+#~:gYZ9d84a431c6f51211d17bb5775e4b02c968cd8a0279d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa48 efaee7e7596a5ff34efbe84b0bee324218c4aa79 05403a89547936553589e20f464238f6cf641bbd 9 InformationFlowSlicing