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 PY ,<, ] Noninterference_Concurrent_Composition:threads=2elapsed=9.440cpu=17.024gc=0.368factor=1.807zXZִF! P]ŗXf1-/6vR[y(&j-:6|e _cѴO/d/ w ,ˉ9#8Nmi:&<ћ)Lqj4=nv(-W9*,pNW QY׷՚&0qߏLo`7ּdfpmokN/i&+e2p RDuw3Ct? 3;7FDs~,oUz͑\,p:w2dͱgYZ7zXZִF! p[]ŗXiɟģ={#1w,ė{OmnmA_˫K=|ϰWP D-+ܖ@/&Ff12a?{+柟 wqg}YZ7zXZִF! ?U]ŗXi%ύw4W y6x' zT\$LVn131S xm6Tqk!j2B5{LAM@&i}1Tl*r^T MuO:QlPJvGz&a5Q02t- t)k=Da_x[^,X$0Ű/$; zuEQH;ˡI/cvorD7;8ȍCH26 E_[FJ d3~ `i }F=:&n^F 2leǮqlM@^|^PXwDTpp<Ԇ  M95ӣm Dٌ,a h? rbHViKρ'FTASq^4p&d3Ɨ[48~fAŽw"(`යu~H(7Q~CJJH\sǝ O:y7_|8ti:Qt>ʚa&ziD?#W5A6k{lvG,6lKlXEQkQx^7&1*Ŵl7ueGQ#othmZ$6*6EYr%od(0ҋrG4~@PgYZ9a17a45a93f15798a76ba6b1fca8d51d0abb0bc6d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 10befa02d4d99b1a485a401e97c48b9399ff29e8 )Y Noninterference_Concurrent_Composition