SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 AA<+ 4l ]w Randomised_BSTs:threads=4elapsed=8.247cpu=28.680gc=0.548factor=3.487zXZִF! ]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, 1(-T9!X J2 SoǓGԀJJm6+4eJ*W_jL“jyRsF>)%hGYck[VNVa^ `puč\wȺriQhYӖͳȖUCbe}= |Jv~4ȨoCol5Xj׳[ۈ@arDCcl &ثH ܉)">SDirI4m=E+19X샊i8%<;HGjc?z 6@w`D/R`y|COۧ?IM* ;lA4>cKo\wW*;V+妊Bͺe0B兛m]6 UwS:j=+$@|U(fwgYZ7zXZִF! o]ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗬ#P:$'T?|d$u;+I9v2fV? gh|oV o.Ŵ ]/WZN.gYZ7zXZִF! B]ŗXi%ES3$"m "HmVfiN\Y*q'DЍ5Š+=ֺIxuI?6 N] k5)DOԍ! [V u+7EQf5(^A(/n9594'aկn*m &qz, 9r33B$V`!eBST|T#W@cGׯ J jj(uy#7:9a r43N'=bZr0.T xoخ[s%O 07N Qc_ye hAg@T/ovU#uj-ss^~ڼAW+ OWʽ9:7$''G[ Gq'\L5F;j.q:O8 ¨̣HMGo4:t820#0GMᒏH!a\!i~"d=L9_xU)W {rˆVNr%#;;I&uwgjBB>lIq~z 0Ytl"Р;3˦3eМr,+qhN9#s{!%-,J*Ԙ jy~;jd}'ʎv]1ƞ?ua]mT)MS~_,naNNKrzSgRiBWO c[Ñd֯~U$7!"ދ!x93rd w)r3X,oD#VR=K= BGSzUQl8(Zs u0ee<%u_s̬/կ ׻#? kDb ;Ё ܅)VgYZ9b8c9938fb56f8106c1ccb02a617d6be582fb9f576b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 6d2ca289f8b6f3f2a3914773c718d36e0da9569a 11b16b72fa7209eadac73a23c648ea733a439b74 a5213ebe4f953227bae040302753ab2584b85172 7e5d8613d4e3f8dc8c6c684347a26a7050bf0d57 + Randomised_BSTs