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 ;9 $ w% InformationFlowSlicing:threads=2elapsed=10.159cpu=18.576gc=0.908factor=1.837zXZִF! ]ŗXf1-/6vRZ;׬S@à;@&693zܣQɌ3'`ھ"&epY" G)!7kl>#;f3^9\Gnh=ٶPA"q>"%&'{cEcZh `ff`J>SD6DUߥۼ7\E ǚ}2KcG3DilrWRs ȕ> EJ~2C/SiʈAF3DoX(#>Cq2׿ݝBCu_)ؑp,YI^~ '`9G5ܴgzRV ɧn35a[Tӄ<1)n]Rk&7yZ!Xe CpY#>-]ӭk//"-xI4zv%8 }9"8ŲKhyFe]|R)Lֶ~ZJ`=֒Mɔ6ӯ|q5 K~YaCA MU*X߿||~Q=kT2p8%YCtnMe{czJjoi#0XVÙcW su&`X4 pIYQfsJ bDŀiތA tVŸ387U7ߝoڣVh^@,A,.Ls!!{b)JgoZZ 5q/[y=2#]h͒b#{VC*gcjM_C8J`WD<ʡy-c,݃!JI0C5_'*Wp%ER[SʾL7>}EM/i^1!z"udh3+؆/IFb;{/徰|-{_V%֥J){8&~juH)>Q6sƫIϝl0SF~[KT>H-}!j(O KyLLo b'TLI"o1\EA$4}/7?{m}gf8 ) CR:wQKBofxn},/y