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   oG LL ]/ Possibilistic_Noninterference:threads=4elapsed=30.659cpu=82.244gc=2.140factor=2.687zXZִF! -]ŗXf[&vpjXD4ALX򓳛mЅm3TIk'~2$)q{-VT,Jf3?QqBcv2R$q 1tI40LXC pj <*FG?o-6,/~Pi"ȗnC-Fl!Ybb=mikdvZ~".̶nڊPא "ϙN.` C$E9~l_Bц8E(F'֧If 9:/eċK҃ƾ]@s"IڛUF3e< q4_QɖKZ^Y70 gྮKzHTNt}KlijDCɺ)ͮ@O"k%TꌙQ*$YM3D  ӡlaCvh|ax. "q T0w/_*C} B]*Q #cC/3j9i'oQ3_=CK%|㹬ѕYFr$3Fi~4<z{Cu!  G Possibilistic_Noninterference  BYۤ@:1%Ň7qrcs 1.c҆Ps#M!-Unݙ*y6\i5s~i{jwC_\J@Wډ5ఘ;oƳ#'&v1l*5Ӆ 63EP6nMhxG:2{G1f~$Gq"mh2ݤɧAQoS@Oac ˽Ἧ$)mܯKWHef:0TI`#R}]B[#gYZ7zXZִF! ]]ŗXiɟˏv:\k4EFt.Z5ʑ@^ 7`D1Κ̊i .+1 okYX~.ݽ*i)od g ]?VآpRc-SBK-9FN?k޴)jqv YۯxܽuqƤ+aaaC2/kP~$]~.%Bm-&rmuK/qe]`ﶿdbOζY%&*;g\5VgYZ7zXZִF! ̎ ]ŗXi%B۾׃G  y@0oݘƽS{$ssX#u0BEenjJRHrڠjd^6 `)P]Dwа=yrƵa0&UPxFO%4c&.11Zj mL[؞t> h{~~pO er_{6_k5D0H{䷑kk0E |8&GfLa2I)63jos /Ay:"@<# x{Gi*W~n# 8\t.)t}RN_I]$T" ذueT$K1CZ T15~QDv?XMP ]o*Az&éhi)a`iQm?JB}YDi%2\6)y|)ie?TaTʹ^'/U䖌֤pZLt1Z+f  5Q3~ OkP#H B hcF+j,8fIxt±(|5[s4DYK͎݁ .& NHY`6ԍ@&q[4*ٜip?n^GDF] yQ;i\^w`3ܗ1 hsa@4w&k4qV"з9u8KHjɯ;Cc)=[iw$F5 zy; gN% }w*DOlO-r)Ѡ'17É<*o_|2Ά,>m50HHáF =ti h(WHxf- 4DV{FFgGܨ6] ]ãj01 xA;]"<%6­RUtZz\!+ЈFmqG܎[ZxQuqS?1 }H%jFrhIEj)=Qcz&s0\2hv&e2Q' pV)'mV'6Zrk{tK2tBy0מ Q3%9cv ˳K_7-Vl`2h6P7.BJȺyfB &:^D5nT{GD!& _1D&1o,O8Jv v 3L!Rf3ʏe8.ʥ{t9x, |= vEvXMc>V!7UYf{U)Yܺ"fY*%WU34ƱuGo;i{B%U),$2tVr觹WaS]P oR֧n!X$3U3{*f#q;H|սuoI>qTmFE}{!#D> 7