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 CG $, ]/ Possibilistic_Noninterference:threads=2elapsed=41.289cpu=66.484gc=2.708factor=1.617zXZִF! )]ŗXf1-/6vR[2Y*R!,PeS 7ضJ\?[<.E$= V̆Ttʫf(}GZmgM +gVaM!;:6к1寪ͥE Zwzuo/pk GbqN`;ƣT[|jS 鐎$#*V28gGf|/H3y6xc-y?)Ȼ§BM:;"8M_ :XOXg[>It(ŪKsQ}Ks}Rm <ƴ A )|n=( [v2H9ɁN rV`2"iJ(^% {:T?[S|wXA#D\yV>En40>5X  wuzMLҳsxp(RSlG (2m9 {|9#SDs e~ڰ{OÛvI؈;./r*I'+H>Yǰ6|5iCC:͚XXfW(>_=\9)ň PbJM0& m쥸N elN+rؓ;n6*ft!#&/S~u5ؚ">gt oUz r, ?kN?xVn~@щ,owf_(rsPv RI0zVF fz}.\᪜ @{g]6'm"* Kt)t9Y 0\q/ߴx$fd#3|RK!Sҫ'KSу~p͖q E0K%6Ɇ&DQt[Ǵ52mkΪґ}Hcl6Ƭm#.e|- ֖xVys M;hɡ $Y]&cF<@uAF+M$Vb,!=0pv:V?H]b`A%_Vfֈac&и^Q' 0FzXovwHKzkkHuD&r;{@[]GlV޷d74q- NDA=ôFITSȹTOZh]a1aU%pv淊 Wtu81V_+v_qt9@<<*f:S Wi?n;~02m<33ZKa^ ehf3f )_[f'RY!=ZJZz@^!B#]F1B=ǝ%N^RR($fs?6~)Z."Pu^m{{l0}k8OD(|2r׻ԯ板d n"FY Y/h~5HErzKSI߃u i KEÖnQŞ.<7Ήgܫ^m&Q眓 >ѽI7_` {b\VPX _pđ=wYV%{%ٗȮKXFuIJ3Ѡ `?Fwf~lKuK?`&-&k#ҐSlkX(=v{ncq.[Du$R"&d"QV|S=G ː7}A|#97)ˠ5ۍ8\HCYdF89K";q-!DUb;:{n0oϚc/b!e哒]q j*H\5hLX4}4GҜItMO O 01u:9\8tl9Ҩ}t%Hwn0)V0ъlg,+|]%:wdAZdk{_YU @kh2#ݷK+lYQgYZ79d98761ba7d680ad2d2bc7d343ff535eedfe836665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7