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 kG L,4 ]/ Possibilistic_Noninterference:threads=8elapsed=20.765cpu=74.313gc=3.282factor=3.587zXZִF! &]ŗXf[&vpjXD4ALX򓳛mЅm,N%!Iⷛ-T¢}V. WFw&CUb(|,"{<6<pُϻf3Uf%E+Q&},o mT2czf{(߉o:/;t gk~jMZ}ijU`X oHê0 }猩Z66R),Pe )*AI}^/.%]|bx8@*R*nkKFƃ :O%)xHv<^49K#2ݴ)^Yute )^f 0[i ?%2`-ñgYZ7zXZִF! F]ŗXi%>t{ʕu#xb-zǎ{W<S<ʹmM[{(~&%cBqZ//z_dA2:]$ClӹEt 4jŽb ȈtZ2g҄񀀺Zڞ&334o\tTSsc"eYK[P3[>뷄TH|kcK:xM-f<$=QBr +;{Cgv-`mJu!YCҶbLOZ澊Wd~Ϲ1DgW4Xm//f)i@T$ۜ͘>!*] '+bHnv(%Q[Nu^j*.gV;4w^/m014DPĨ2![3JY]+T]+k)]0NyzC?řZa](^+k)EYN;\FpxͫmkeZ W .œfn*GoBKK6Ί xH[>]>%^mn/3Php o M5*֬H%YهWꑞyЮ C=6,6N5:y{]I:kv!0%-n*kv-8ix5V1]2Nccg\#^vȇF k:9q}bQ{HU}1y5 [%ZCE}f=!!eW)=iƪ'g1+;{uI ׹`y7K0R Tm",IO'>-@|-4tc'@nи+ B2f8(I?Gm --Q~<{NYD6$Ƽ|0Vdq=758$; aia\,v[ `F:%15vyƬ3BA fL. >@oz8^"`p r!b2Ed |{6e0l"B낳GUcuBv=#=]̓͗/X>SYBc-Mw7Dr0_QYe 4e[}HZH8R>@#-;PɍZ&q9xnPv4U"[lE7eE^>Mu0?ТԟaU-&S/L{/- 7y!Ċh(EsʹӒSq-R==ְ#75Xs%s.HL-O#XS'yܚޥk hpϼyb'9PjtS%X-jzଳ" K:&X,f 9/W3wWfVWUJ"yۅڵ]Jqf>cQ; 0 Z[LN ,$LUrF}6HW>%cX,~DZpOe3=C1D |kJO[zdp;EiBvZۗ U]cnp%7:fg#(F{Ë!?m1#1gpip389ntQD鹣p~K1ֱ dpG]UB*'`f/?>-%ZFwŤaU@j\${Ë1x~F}߯վ1Eit}玂jnOJɾ~ʲV=:'͠E`6Ɪ_CZ^tİRH/؆z6+qɝ5t2c4t#۞ImQ&V%*wh*H@0Jrꇼ¿dzrvWz&6 IVMwfzƒ;?K0=fg]szvQ58dMbf~x xy?Vѷvਊx4ŴorQAc,g`E;\9|[Ops1=zQ @_mWk*il4)"Dm )Jfd AiaO/iL0XoCeFCp|Eg᧖:g5u1Ԇ1mS%z֨aq.Κجj͂A|ĊE6hDŽogYZ985d7e9e1e098e3120ca62147d65591ea1e0edc2c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b  G Possibilistic_Noninterference