SQLite format 3@ . BBh77otableisabelle_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 GG $$ ]/ Possibilistic_Noninterference:threads=2elapsed=41.780cpu=66.916gc=2.760factor=1.607zXZִF! ']ŗXf1-/6vR[2Y*R!,PeS 7ضJ\?[<.E$= V̆Ttʫf(?6.(XS5M=w8:F+fB*K^3;rH*QJGl+h5׼ZC.KrxQk~ҕVaDVZc+<)}ۘN'we:nGt#mZ,9 y#kV1 oSM1O "Cg|鸄XPݟݾVw͗p2d+r v(EHR0s"  G Possibilistic_Noninterference$7 7ytkiYrD X?;c-c4RSMs(Q2y i}S uqB)A& BQfWE!vKbjB-=|Bٕ7@B5?o`.. MagnTy-ͧƣ1.6&B 3e4h;H]{Z֢U)P"Lj1P+cNZ|$ϐE}Bq"8g)Ҍ %0ZV+d|PnE|\akixyaauz^'hx2LF'd|V_C4ΔtDzQ˴ /LOF׉g+]gS\6zX2qeKfH(_u(JO̪E1_R \2f#466*KfN ҰB[p)]ّk?Ք?ڕE.j؜lydf'vNզR2*"X4vyPsANkgYZ7zXZִF! \ ]ŗXiɟˏv:\k4EFt.Z5ʑ@^ 7`D1Κ̊i .+-jq` v.<䴓kWఆ 2(ؑ@Yh9{}hλn"އ3bcpFa&.CT=sRE(-lNVjF1s S-$YXļ˓FRoVmoDpNCYt /4xdo~uYj5a𧄞גW"%4cZD ?mgYZ7zXZִF! ]ŗXi%9(PKYY&MU/7L'JHrE%rG+# J5dv8,z^\$O} AwR}強~g|<Nnv:'r|5퐭A ym:N;",Ѱ-L qJV>s }͙ٝ|{ܓr̊ tPj;cըv_'Rq]gXpKA"ʐEQ;7J hk!BhצM`Նqv, SLt2ԗ xfL3uꪯ *5'+rX꼫d{kMce4ڋ6 d`#ҧ1S8粊7۱sY-8&5V#?Y:jjp%ili3==._(~Dy6!ks1q Q^V|Q͞ΩhbCF ٤}DMAgRD#^ܶX&/=#h<] =CL`7xw+^Ky˷y".41\׷z^۲u nqùDUBBFUC qB9Db$k]ltf'!刡%Xߠr}kFƴxeʲ@ /O_a%I5c4I(m_b)nܦÎM(T^ZVQIƯ1ί pit fW0 ݢ7fP XGh€T-ߜ8z(]U@#xFK:vQ`xNGKJms)3:Jl)ЧmIT?c[]O6Q늋ȭmq%b᰺t0eӯn45k3|b]ڟH ֶ w)u,x̴s*I$k74;vc'8sSW? !⪝8]ISrC&$j[Wc7(8anHCrEsFgfzr=ƼFaș,Li45A*ru(^&WC3 f.щ=8%@@#O0 ~+!$iR DC!lMNM q71Yb.!`V*RcGbмSƇS'/Żi^2{rDza*Ya Aڱx^0IWDzբԟ1"y>Jd7s_ǤӬ]Aj[ S3vgBqeG*o[lOf~p @aoXީ 1!gh n<Ԣs["Ru`l͍~.&ka@o,l,Ú&LgRixh‡|T9*t*aL~̼Pwc@]38P% z=!Yܱخ m~ƬgpnNLPH\J.b'#RAяv?$x]=1BirAť+j^dW%4vW:x