SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ))TY |cv>Н%<U"mpiʉ~meGL9sʿ_ TvqFx{'(Eeu8{\ ֩(HgO1GuCx1.DZgYZ7zXZִF! p[]ŗXiɟģ={#1w,ė{OmnmA_˫K=|ϰWP D,Z[t'@4%t7I`Zhzwqg}YZ7zXZִF! =>]ŗXi%B:g!~D(tt|6^];Us'yXINsfɐXzૈ_ xRfoe8~ӶDSW$yԜj**[H?gE&e0q3*I=:5OZ,IEl(n\֩>B0Bd!Q4>G K\2=| 9@5C#b8Dk:S[t64_N~`hIbəЪQFxRz/յ:⿌32kO PxQJBcfnVNCLuqm/@ZF'{6]QH]NS ϾC&iBPzvIVJzOKTy F9$ûOqԋ,VfCUd65+.bMq릋xr=]nWᷬ֩;C? >GE` .R[R8a{@64{XŢ@%,F^YEgTh{EyלPڤ:I>[h3X[T`/[֡h⇽cͳ+I}FV>םgqbm3/.؄VR*_Z ).s]R{(U;7afǤZK ؀6 %r"(S6L~WvH{g'cOcK9K`*t jN|x}Eպ.5 - ۸#Xߺ||ѯy8|R[+Du7?L,y;3n%$bYu]P[@2Ի'!dHirY!N\&/0)bAC{&of0lUke4dz z?/gYZb41ce8be7eb70eb3af24654795574496a2303bde13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 0d1f0de6eef32f9b8ab71d2fd57b4fe9bb1983a7 )Y Noninterference_Concurrent_Composition