SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  [ ["Y 4| ] Noninterference_Concurrent_Composition:threads=2elapsed=9.332cpu=17.300gc=0.352factor=1.857zXZִF! T]ŗXf1-/6vR[y(&j-:6;clcT/Qq s:Ҁk{)Ѫ8'8]~ sss6gذrjϥIdWd >F*l$UE< :ɨEw68*iHRzubVtGL sy*IAɮgYZ7zXZִF! :]ŗXi%6f9ED8詴Pk%(, .c*Cb}Zcjnرr^Lu4CQ4gC`@/"`QjV0h+!?rysːZ 5lFW @f8KEޝʓ$=P.J~q4ޓZ>zjw95N(WUQ$rO,5B$)%0@ O#Hق6|p zsBN͉ifH6/J 9Xw7?nEvxDFp+ǧJ-rEvͭ%r{]~u }?g5!!g";yޣB~g[m/tt?1Q}uhx鱢RڠY"bz8^Jr%/#ncbI`2%<nɟ>&!W=)C4 *' iS_'f/9nf? >4IY󨱰 u#, VVitUIlѤ*)?#zvdLp]Ӌ<,Uڸjn b+K]PH&lq#y|Ϫ-}ؚOQD8/܃'^h !QAW޹2+VVC՘h1صu;:K'?4cvZ#F^d$Y/GD",[rxXfZGc#_s4Ubtej &|cU:ӰiH綡Nʄ*y _&X4il4%klnm7 GUhC􏯉֕BpBG{%{WvĦIn^ WFҪHDus@gYZ18a1337128034ebf37afadfab6619658c7c6aa050a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 65d6910daf9e4887b5383e1590d13b9a3b8f05fb )Y Noninterference_Concurrent_Composition