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 aaY $l ]/]Noninterference_Sequential_Composition:threads=2elapsed=20.298cpu=35.176gc=1.956factor=1.737zXZִF! J]ŗXf[&zV 4gUM=кt_2w)~|)lJÉf'[3g<\fK5DҸm8R\ R=D+ )oE뒥M ɞuI哆+rAJ#sGn8mqCC8 Ku}E4 j6W3e&fЄrq8Ize, 3/_S)xZ\͒1ۮ'LȝpJHU.x7=؆(Ɜ4k!x'0vQ\!BQx01=׌+6U؟\j@׆| ]R.?>՞ؼJ=nj$1{6o1aB7r96fX7fAx),ac_q2m%8# L5yr⽲H(F!"gYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfY{AIPMrFD&g,Α!_lH#Ksҙ3]nM%t.'#t:%xf-uAU#ݚsƬijf9/Bg_J<~<( wYO0: ]~tTwM@旝Q sD`F3ba4BdzIoZ9ٌ& 迡46@tS: -V#AޱgYZ7zXZִF! xm]ŗXi%>g-Rϵ9$=YmSaE\*YÂPQ'T]u߹x~9?eÒtZLJYK,HzKi̭q [-/g5>2#WI=ԩXj(y[!w Nir^j-w~#5c+UtISaklԗfqD^ yaLZm~'yuW%JIGQ'ۊT"7g?rW`LQG7<# p0uiys*= OKwBWSJN4DaYQ@qYWI }a.hUvxԘ'Y߅"|R/9>??)* -' ox Is$ Mu'x;b@QefnMWKnFHbW-}ִukfq,\ߎ<=է_cJԢCd\8bW6{~Y1}KB>~I2]Ym𜋾MEzv%!!`yPB٣`5A=PH4,%lxd >AoY+ a2;Q:,l1"jr;)xUsetEu"$mUE+SջOu 뾔CqR І6% o42m}!BrRY- <""Js("@mNn~6d_ͧg8op}|4`LG@֨Z78o?~Cpġa}ԩ.@QO.Pw'R3P|H, MmŰ2mOwÏvDߕf:<\@z/_YvQ }c5 -׽/%E#iv' >0KF}OH4HeӘ퍾h{-7)P 9EE9Q:l[x/@{)O?H. Tu?hG7v>?+5x;$g_w nھc&Ɨ:dD{.4B Dݣ˗UWa1? bh.aoMWYSKp\4{Q䇹sjP\/AQZF\n^Q^NT5 ]4.]0©8#:xz*bm!%3W> k^S;$ V~5w@gZDqX҃6_= Dsg1y/ȔL.ĸ ,4go.V8myjcM@rڠP%xxN3ΘEJ9]3N.&բ):D< H/xtTN&*tT}]/]c(+H2YV % 3gYZ47025a0492d5ee53f67cfff9af87fb81e48c87930779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509fd8f07192b0e9b280766adba0966edb57dd7bf89b )Y Noninterference_Sequential_Composition