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 ll) Lt ] Binomial-Heaps:threads=2elapsed=20.287cpu=36.712gc=5.676factor=1.817zXZִF! h]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=Urɹ&{U8ex((Zbs7<ÜٞMGO^HtXW:vTC.Rz3[E^\'^9o&2%gV|^J> o@ߑUT1z"n0:[bx !\8H۳>gYZ7zXZִF! z]ŗXiɟ:Jc02߳|ztFg7CǏʲ]$v:neמ$tjѠ%Y\-oQ(l0rhK ThgYZ7zXZִF! hFt]ŗXi%>gϝI>#a:5jY'Uc׮`sq %t##0}f&횙>jtv96Ι%ulꂯ/kgb{– ! @0(Vg5pő,ybY9Y읰%aChͣ w l6#~)vg?vDuTm\=X| DT:0C|ߋ-. >*= ܬyI r}I>m>qo:H^,7N& JB e64(9H|-)ek@Ii²Zꔁ0w:y>CÌKb7_7d\2nj#ޞK0 {/`" 0*'Ne&x;`ۯQKH!)[)ffhcTsi5B# cī q=6ܓ< @cL kxz f>VT-o2ӼR鍿tzL`BǞIJeRsC ~E>j שˊ1<}aZcW¼_C׻/Hԍ@G2/:{rGg,E3D$%mJmO?B&c9Dc*H@6y6rNg,p7x K# ǶYW\wH+|c0OR&zPJ{E̙9㣔fL]d11Ľ1od[h$Do>V|{R `~H&WQ1{Vs7r4Qɛ_71x`0 se LY+1}WQO+:sl+5,\X0^~Q$ަ"rD]ɔ+>kI+ ƈWet&:lޒ T:.Eԥb~R`\ զt~(+(Htme uNŸWW$4ELs*Zo% rpj쨗xX@tHf*oBto.W|uI:CV&լZM ԫYgYZf0785e3a13f7562bf305c6facd728bedab9eb40d97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 ) Binomial-Heaps