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  ? ?>3 d$ ] Efficient-Mergesort:threads=2elapsed=10.370cpu=14.148gc=0.696factor=1.367zXZִF! ]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{Lk쀤\qě96B.La{WsQ%U}Y%v\4I"28n߅82nő'-ߺ-g閑0Pg.,5תx,~jai ƻ oP4 { *ѸgYZ7zXZִF! VN]ŗXiɟn+c͔(c^=N-Mgƅ!j=Z6w jg_UX}˗i!UjWQJ}YZ7zXZִF! >^]ŗXi%;33%w 晼ȏzz H>M+dmS|0R2b4H-xy/K B=Dny0CySc< .O%XԺ?\p+Jۧl~`S?gw+3\թ52Aߔ2t}kbR/Z4d{DQ6폫ySI{)>E}Z&ۉt'UgyfطOj,CXu{ִ|kvh߶E._".C,vnW*ҚMsi ~yffV]NqNxŁ9w⸳|] J9VU#ČId8t&mhv1ý: WSFZdf!!79 S.OXMo4D#Ku˸lОċũ.Yt֮~zM)jo9XÆLcOML,AiX͘:3Gc#K!"^m^rjE}S,lTt;qoz܆L|膽xIy{AYI=b{mNb1~ҡ⌸x4Xk)U3/a!}af(JĢw;HR]M܊!. s|Cp7k(w?Ѩ"!t/atAòNV7NiQ!)9y5t`"A5lN_٤ul̉ˬT4\џ 'D>m l-feŎrLOQ\ӨEx."Ae2Y1뒜,>i] Dˆ#(ޯ4Y%xHj1S!,IWs|P*gYZa372d0f65e5d0a038f24033ee3ef2e2b9fdc41c7665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 3 Efficient-Mergesort