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 yyY d<\ ] Noninterference_Concurrent_Composition:threads=4elapsed=7.372cpu=25.244gc=0.460factor=3.427zXZִF! l]ŗXf[&zV 4gUMFP2Sfkf"] kCHoQn}qLХDa &%#WxQhs*zֻE].o]v j,ux~2T]ܱ'A_Q;sc!'\Sk7_ h YkeD5Cß )w0o(uA.Um\azz_8#[*.lFt|/3FCK@{ZPcukl*]/1e{eb԰geV7Q⨕4q;wX9B{1WP0H})UAC_! cC >5focatg%|1ߺ$] Xs)SCK4:ÖP l lFIfg&|;:o︙(r%k D9r?/[ 8.nk+Mѧ/ O6qо,I*6 O=;eD$fK ~ n20,bObxT~ra?>}XgYZ7zXZִF! p[]ŗXiɟģ={#1w,ė{OmnmA_˫K=|ϰWP D,Ù|=oMtYa"p^2xkwqg}YZ7zXZִF! B]ŗXi%G̉Sm:YCT,JbM% b ?Q T iQ.~p`4P/]ruy3xJYͯX⺾@*Kuن>7dۑ !ZTUBTԀ6dELBӘ0Z9ֺ{U`4a뜑g6O=zѢ K`˟;BY;kV0Ec/KXzbum#s-",N1lQC=CKo ˆ!T2&4P L*6,x&i<ѷw/A^1:g@p][|k>YI`Co9p||j'k:Ǖi:? 0˙̇J+!K%#:ѽ[%zM6BZ)/g.Nr5)bL"Y f.4m㠔9S,`a&E446& &"tEǷq#b)ʵ&*HkuTκީ%?7Az}~gꮀ1;yx]#!zIǢo-^8F`Rj7Hm2K`oDHr mԀr:< =Ƶ *:M_"t`\9Ē#=+|\&%jFP&E@kBLس~۪^rٹǜ+e9yE (b>`B%^z$h9~ >OrY o:O b? 5Lk6vp *]X/S)/:*@k9^^经Yp/ Dž'gYZ1b34ff6f5e8eca1020eb87482d3dc6f5daadb38f78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 6598680c0286e3b7d104e48ed9cb6a2ec21838f6 )Y Noninterference_Concurrent_Composition