SQLite format 3@ .;  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   pY |< ] Noninterference_Concurrent_Composition:threads=4elapsed=8.110cpu=27.272gc=0.460factor=3.367zXZִF! lu]ŗXf[&zV 4gUMFP2Sfkf"] kCHoQn}qLХDa &%#WxQi)Bn}]Ȑf7쁹O|ʒ0r fF&8F\ly!/XMy~yN&}ɖL@{j;J jx"SSkE@:bsG?Hȵ+]Jb(~uks׺e\>4a%Q1>Wvl&k'NVGH%G)V4\[!W-1ݲ̾Zu9N[F 4s;ߠݪ-đYYB\ b$Ѧx^CK5]Jf:'P#GYIC`9ӥ> (@nNt]?R>N\eAb%q״?z^e lC_Eu"z'wm{Zq%qV<«~p-'> BٍLk+[,Ih1|{̺)P44UVGsjJؿHcl/BMѯb +FhK.iǟ,Z9dMdAmGz@nvi7 `hp0=Kxv0qֽ2 ?2u+ufp]2nE72_:9'+zE ק$'Jƃof'?Ò@#=LOO{Gͮwyt_͖-7ԕb My9h+2&523tB_kHOs,S!f7> ]eƭĠoB^O[YCL c.4gQ zBP2(9<R߾bZ:HON`vaC) 0&a HO/S_X>Re" Hаt%X]` GHImf?IpӼ ggeH!C\f !7~q|155^J{c7;C>uM7lyͬ+k$Yd4FbSP$/_Ӯ!8M.%OδgӜ(ԙ::Dd$t|Iٻ5z<%k֬PS w(pyBlV'#`}+G*V`Uv,ŗ˅i xM)DP‹ג|Ԅd.rhk6 OG%L% bWJV`,  O'2B/9' ņ}gYZd496b3513fe7de83e1892ee0d4095d73025c412dd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 7e84f6846323bc02a20c4d253953c1c5bcc7540e )Y Noninterference_Concurrent_Composition