SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 QQ,Y t< ] Noninterference_Concurrent_Composition:threads=2elapsed=9.467cpu=17.284gc=0.436factor=1.837zXZִF! #s]ŗXf1-/6vR[y(&j-:6a mAl\\DCnV!*,Nhs\:5/j ^b|B35z$ǡ9gSoũ?:^Q鸾sq2X~Dk.H:YݡjFcUpqU&"9M?pT≹&؅k-Ws,NB(gYZ7zXZִF! p[]ŗXiɟģ={#1w,ė{OmnmA_˫K=|ϰWP D- ܖ@6<:vatЖzgwqg}YZ7zXZִF! @]ŗXi%;3:˚(1z ͗ &Cc~ִ?4 j|44xqRE4v6qN B-QgHw!`[xLOO.G=C5P\TavoŵD[!;1ND}x&xElW~Sr+9 a]cl'pFaUaVҬNP Tb"zF)$&3&R>LA#6Qvj~H۵VQdEcHė`{*4RAl4 c=^ՊV4? :7gVoEfPEMHl|*aų*wnȳ"ղ'Hn}&DMtY3B8huJovE+Zkf]VDd՜;lW,s_ HS>^HJnvLKeEa63 ("VVhv:Ή$H"(:@K 0# 9v[ D*Bo= r>"?0SEg: )P:}gix'%M}]J+.OfIMQ쳯*~dpw¹'|^RdhuΑ_{ӑ8]l{4_ʜ_Im-Z^7ԶlyfK Z&Sʪ3n!c39 {){}Vx>,))AX =w >/҇ w"дy}TDi'ё N.M֐c`3$Ӕlk(Uo!Hmy3mF4|E%kvS}ՊgYZ76f14681786e7171948094654f6a76b5ad5499e6665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 91298fa0f3e2ba1a59c9fb8fffbaf9434ef83427 )Y Noninterference_Concurrent_Composition