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 mmY t ]/]Noninterference_Sequential_Composition:threads=2elapsed=20.237cpu=34.992gc=1.664factor=1.737zXZִF! 3]ŗXf1-/6vR[y(&j-:6 q; gـ[H;lh 4Ӂ@4d;XbkݗSJbަ>K7bFv\ݒ$Ԁ_Xjih)^q AHbn \\!JS= mخNXӚ :x qP%} qp7ZbLC7(*(Q!CEgYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfX2;MI;$EXa&Ar_ #!0kD/o& lF&J(s,uSHS\lp)"A`p RbZZz@uyfUl'E&#QkԪu |Yr/kl.I8|Q0 07OFz/sJ}m 4NQl`8-6>f> Ň)s:F'"߮p0 s3A rn]}cw`D!?mBbFR8l3B,T&r3N鹻^#z6Q6e{ǽ zYEE7>$N]ѵv }˃//m؝_ 6ܲIE#j. SKgYZ6b9951d634fae22922d776d43d48556681328094665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee91298fa0f3e2ba1a59c9fb8fffbaf9434ef83427 )Y Noninterference_Sequential_Composition