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 \Y <<4 ] Noninterference_Concurrent_Composition:threads=2elapsed=9.371cpu=17.488gc=0.744factor=1.877zXZִF! U]ŗXf1-/6vR[y(&j-:6ѰdU0g*8vyU0"՛l\X$.N^rv;c,q r4%;lMMfEaVM1`I24,B8[10hҴcx坂qMld{H =wZonf56ՏoFY6!*1eWď k,xWdk pi51gFj"^ycmaY}pz`%=:BK)b\PSڀ[/at {#hgvPsmXj-'K&Wo,%3zV 5ԁٱȁK/WúFzɍXW(#eSducƑ Ϙ6#cԇHf,y=L=c)wO^NbD?J&\{3hU7y L{$1 o.ٛ;. RX4l5@/9S1xmr,Dª ܑZ#/ň HgѰ`cf{~rM 3G#]8r >~@n?CENmZ)Rfkե3`PP6}ʊğ|bruC|QMovMqcO8.eNMvM9ƪ چq#zT36 ;nFw\?e[Bj3i\N$M:KV:>҃62*V2@ 3s!u{+|/9kEiqeS:]AZh!ԇܬk_ z:E#v`6œ҇|]xSg18YBz백gYZ6da5a4336fefa53634ccbcb223954358aec7612c79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef d7a26cd7072866ab2f9d3172a9497c82804eb73b )Y Noninterference_Concurrent_Composition