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 G D$| ]/ Possibilistic_Noninterference:threads=2elapsed=41.577cpu=68.240gc=2.796factor=1.647zXZִF! *]ŗXf1-/6vR[2Y*R!,PeS 7ضJ\?[<.E$= V̆Ttʫf(M@CNΨ OK0!ʸV VIE74+z $5đuݹvfo|O(s~6cJZ'_"/Q\t#+1S8}M\~H)68ruXTP  G Possibilistic_Noninterference  ֑ gdޮEkz @o*\=&27oJ3DɶJr3>R% u萄.=U/2b0h)GR,h`=Ead-̎y |V 1s_TGJJϚ"j8;gE yJ@O7ҩ;=-Fl؎X0gaH3&5FU%T3 W   n4 (@E¸3Ou˃Oė6<_"4}Sr5ahΦAL28P$KdB4&hP]э۔Kh-<j9 6- /Tӣ h\ vD!Ni3;W]ܟAAn3ӆ#GZQMk NݏY׎ӘW-}^[d]? ]{檅"祪4l}"+J²Ss/=rJ$y{h 1O=$;dL>)CE m_;0ӕ0D}V?7MvXZ]x{gUwygYZ7zXZִF! \ ]ŗXiɟˏv:\k4EFt.Z5ʑ@^ 7`D1Κ̊i .+2HuhrlwR+/-a&mu:aG-'|sE_x6)[ϴ/= AnMLp긊tc䷌S#(K;ʞZYv*nQiYOZ"iWbX7 U8nx aѝwt,1O#DV1yێHzΡn:.FxxՕhcgYZ7zXZִF! ]ŗXi%>g[ˆ`QhE/k)Rˉf6%NI?FPѧWL VN4R~ Χ#UE,^ZWy{\k]cWF>9;v v 1T}1A2 Ca-LN1QM v @g|}l 2m>[ZA+ F ۬㨝rK㢟b =AmBGCWu^i+9Y@R-mGld @oܹ=T/W %w-%X[yu*&OGřdqbr5_<Ťzw+P 0Nj̈́)O.#qu i_k987 ׈rߊ'nғ!J3Q/:ю1qv̪nZkaezԸ+w-@+GS˿c:$hc$H:AZ򸣤_i&ȄR?Upx4% Nt9<!ro~fM0{)2S3cSڥ2AHJs !&T&?]˴@:id뼚bAs;z<K>i59 1j27קV~JuLX2?[Uȼ-k z[_V< z}<@ö1TcbaN]4*:zqy~%LAR2 ?oMg/U8u d{Aiiu+s 6œSʦK26F,!=?5`|YO/M:`ڼ] #k2=\|W-5N\#ع'"jr!`"ezHI i z|8}t/R%1/"V~XYz{{UK™Ӯy!՛#,b3 j\Co9sL\0'{dF!6zvj=vV[3>N] /HJ1ӕtMUџ~S/Z},ۯVo M 7* 8SUVDri/a~hn_oZVf`F%;SGA:ϋ(mQ K"6GLN)53qW2%WA3%zL>2CipiF8O:˩PGM&ѓ Tob]љzXHH -l-QY&Gv`P:,IuV&j9^KBހ61Q̊޲8?FaGx,לQZe{ W1QdFaRb k`t3 tg[?oh*GY\M|>X2 zr9{8dE'PNځ'u!Uf /uX 6Zm - J1yRqIˠXI_Z%35')39b)^#4;.XkzRrU1' ;E6MEe4_"pA̼yR/G۬&Jww8_n, &sYZܤcΎ4/E~bۆ}NB.@&U _.(`p3r.l=b V\nܟ֩mb