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 ,$ ]/ Possibilistic_Noninterference:threads=2elapsed=41.161cpu=66.320gc=2.848factor=1.617zXZִF! &]ŗXf1-/6vR[2Y*R!,PeS 7ضJ\?[<.E$= V̆Ttʫf(}toYn 8jH|RCr'#;M$ytpgp] J]t7oУ$ ;1n( 5K:P|E7XnYSl@LG 9 QPgli5˪} M_u.Q;=C$M_  |>l$>t](p -kP>gNI|ݰ"'M>'Zc$ylemk(:Rv  G Possibilistic_Noninterference  @<v^)qrEOG!`K.٠S XI;$N_c,3 Lt9‚`JeR sD#E+Tp&]Gp ۄ43# Rd~(@RjS;.@MGQoYaJ>Uܤ^vY\'H.P]M@̼Rᡲ~/(cn:itf ?Főǀ$nR<JUP|\p,k褙aXCۢ8c 6cMH Y]DV9H9$i՚01,Z xYR>?PiAN.R LPS$ߕPNf}᠑f]aLݚ=|:F&hMVZV|pLEɔRO 4WՂ;ozkmԨ˜Yͦ gjߒ5?aI.gTR==|B[n`ܼWe=h&E#MkgYZ7zXZִF! \ ]ŗXiɟˏv:\k4EFt.Z5ʑ@^ 7`D1Κ̊i .+m1>jq|B3o }ƒ4YFMɓdQa)7k-PEHG\S`$r@z3)OcQ#^ (ooX^ݣ]=G,ˡ7XYdO&Z<Ĥ i61hZT!suKM)r>c3{n"s.FJ'C_ed9zbt;fx8]Gm5WgYZ7zXZִF! ]ŗXi%>go;-0*jd`{rmK& [\s?j)WNffЫanB@`R0&ݛ$:Ȏ̻XqU,WݼCzzD ~&IO'&c4aYσ^kfXiM$;ݼ[,/ jlX?N3qD~ kNIn]Q~eIT?1iNNI `'ޑr?M4} h}rgóŕ~e"gě ԩS*. N>Ńn^Qq9㈄@hl{_0=A9dO'Oq=~}.fh;w\vbXhC:v ;br=3E@L&.#\p %ekP"evg/ifULh ڦhƮOFUW7> Ca")@VowOdO6[Wgužx+R 1a8Dik^SsEԡ\*\7pҢc[\Ѣq_e/_j@΢ٳe>pX՜J?THׇpP p`n_fE 1!N"ŪJ*!!'$?^)P+3-LΝ}([r~(4=GV":\Sen`wpG.=06&~]'?lsS5 j t8Z}=|v9Jc# |c|?`-\-\+mxY&f¦ݓRa2w[uoy 'Y8"_$?jU?(w^P,I`Pz"餓XUfoF?buu6JofN\k r5_R>m<|cc译U6efhwi>U>IӅ b—BC)dkƅeh5K2 ')0hq,m0lmkM|Kn`6oPy}d5.i}fmWUW2l4`^ߡ|~(6ܞrF[> ʾ3Ibv!?V}vdN`3մyrD$GLzIHQ8TsW.XyIM4@C݉H–*%J["N\ΩbaiSGm,Ru=7ҢŦgx˅|r$M'Eo9Y b_ e6,:O3ވܗ@[N,HCROl3r?Ï^2gn=!;)c4b yz |T:{|©MK'~D]3儖!i A{:71[X\NУN֢n_80obP4iJ;]gљ؊v"`̯&DZ)͚ԷG^R^u xV݊#4$e&n期nV,~E@([I< ;bnv5)w_G'K# sj`a=UQ]_$݇L{b]4q`)f[ PB0nkzHnьAΓU9ReBh :10Ra2M4vw_a!B@h/_pf_؋t@%$p41~@ @g~k;gYZ5a4f2aedf02c0fbf5efd618a2b523536b94506b397833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3