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  ?G $, ]/ Possibilistic_Noninterference:threads=4elapsed=28.370cpu=77.268gc=2.228factor=2.727zXZִF! ($]ŗXf[&vpjXD4ALX򓳛mЅm3TIk'~2$)q{-WQOARpX=eQp.&E\ɾλ S^J4Qܗ) ~ 4G ˣK+"`$0n67{u5 Tg8B PFQ^,']ln= (0 $~LV5l& #+zaCue45Y±L;;t?:aġo$hO!$L= 8RJVW})tMQ 6Nэ}uܗ4g @Y/%U*bYQyqm1T;O=@Ke򢆎w/.Yr:cɂaJpVTӎilJJ;p`<  G Possibilistic_Noninterference  .+DaE|dҔk3tWf!!6XCt2OWuM(lYbIixCD%*aK\NzǏ>ͻNFME/9t,4QuuGKmi5"`2vyYH\`@lgj rtH"^v̀;@W'Ʌ֓%-c2??^NGCa. l 9P?XweOfl G+tNAۉ>hz78;o00|>N̯GYپV \%*,"~EԜ} $ G!8&IHo!e6@6)ia}P{E!gYZ7zXZִF! ^ ]ŗXiɟˏv:\k4EFt.Z5ʑ@^ 7`D1Κ̊i .+>jqΙ_)6rbxpM5ih.ɐ:ìNvזƕNdz4&qKĬ< ΀>(#{$5Qp8A:ٔ3ܘ #Pф:'r/;b4Q WKYu-T^:xqt^B _N\둢7A(C[\Rqk#䄁W<) }Kޅ H qH.ݳA݅!ylױ'b,c1FEhoWCuP[@g"枚EcvTIf7tKR䜅> V͗5Ċ ٌٞ€^D;AGv)v Λ!ۨ, q h7P>Ɖ&E^o)=^ C!"Ş|q9C%?A2氠(?UtiR`YL]_@Ik=cjy{kqJl 0:no3=e)1kl93~㱩  "}JK{ņxT]?֎IrjˋJ~)?t(H DWIz?oMg D>HX+ԝAJRu9Ikg`l aAFL8 ;7?\kͩjO Qexk3s?9ġu7  h,ڛ%Nmt>vJ4[W)6ĈRg[clyDS[Cǩ ~)3Jo ~\fNkۍ DwwH攰p kw2+=;D^1:I>Dwl<+:9cѴI%'ש8{5fWnJLq?6Ԫj)WN p_uC]l!c Ii H̦~: VĮmmq>|}^Gztml.banA iAT ކ]q(B4W;m--rQ O=DOWB4f |]fq%H9=;XC"7(0`M ^Σb?w xq4SZiD'ّR1T\uB r;JNGy퐾a(z'~!CgX<;@bY`J*)#2 f=*1ٲr!=մ%R3,Xkwx0lƾxf,1RfJ^u C| gz %`샵rm;*)bj`({Z$iLxQUY&psҿvCDɬb2l@LͶz͹(?A>Tz try~cAo@+9?B11Ř5_uܹØTR!ȁ#1[ ܳi.m 23P“ɼ7 "s/g'zֿiK/{DXC25VKl+wD U銨BӊRGbB`Ayo O0>CN;cИkdۋ &ڮ;Aq ]0oOg6{RxҭBYj`F~"k@/}ZbPkb˳)I#RgIg?;T;-!} %LoɈ49McB8Ӂ.xFvKPdXNWkh#ۿ L:G/Bo`||ehTbl?d@=IЫQ[F!QK8JԵG$T&sK:҅.:ͼ% Vɨu4yEbkT_o߃lRPq`~dNZe~"|*׭e'+`"A,{ަ55C`o//mvł1gYZf23ec8cef1f158e4835d08d332f1a959346efb8776b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1