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 cG  ]/ Possibilistic_Noninterference:threads=2elapsed=41.155cpu=67.020gc=2.756factor=1.637zXZִF! %{]ŗXf1-/6vR[2Y*R!,PeS 7ضJ\?[<.E$= V̆Ttʫf(}toYnwqkL9*鏷NXOlgy,s&$iQSJ^̊A#U"&]r*y 4nYnmjYG*dNPV$:-toMz/[u:vbM^5^mϷ@;@\38жf_CXq\Gc">>i%b.'%ƂE~uwYQ{|nV  G Possibilistic_Noninterference!R]Pr \z ޾ zeF vYw-iP#μ$cփiFCy5}8.6Z.HY|ocʧ,¯2Ѵ\½H?* W@0cS3ߓODUb /|ȽMKDyLܻxecNS "F_7C<ʑt[Ǡ=緓|fނ]HLToJעJ+!] 龮]</q+|61db\l}|i[BE E11CHt|&fS}8BЉˊyDwgHΒURZzNH]nC@'.t>+X(LH^##%=8FW5z+I)"IՄT=>rg8WVGũspJT"Sja:zulFm}&!}zǏ34c a.E "TLd;K\%`*um69W*SՄDTc}(< rJ"*>pPҿޥԾ 2ÿ#}#"3nhtǙ&5$0:5P8M\YcrbIYnmf^YOPI[ٸ743l5BKv\ѹ}7aNߗv0Y<ڥӬw}CA'V_5.e6кWb3j(pE>"IaNjT<ÈU|[#D,3`YEjJ$1őCf"Ou1 k+?^/}Ҩe7ÂIanG%n\0C"tR{4u)mJ]TB>[uI}6]W**CQ f]2]ïl707I?c}Ϝ f`<<ȉ <),Ǒ1W+g`ZAwh.y4Y{DiAȗ _]!3pI>[Fз}}@kk:={f$?ΐmn)Yg(ϙ!2r!wtO6u@!zDUey^>fG s&^iFLY'׬ 9}T$&dZGE{vx6,j`4h Sp|$+D30q(|L͟!2Yx?}@S^<4ҹ|Jև^:D -f1Ȭ}佋\3@tuauݯmeC8B$vYbiA'i6OCarwQ0ba<|(k ȣ5 ޔC)s'Wl(d1˕+DR++  -[6,@B]۵.xD0C۰#?x[)mި/L1lek]ӧv?Ax+S|A?(ӀWl6}h݄`@"psa}2iz'XTBqTp]puI +i$]2gYZ38b0eeebff7666fceff340a9d0a798a0eb6c22a8ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198