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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
a a +
lt ]w
Randomised_BSTs:threads=4elapsed=7.794cpu=26.068gc=0.456factor=3.347zXZ ִF ! ] ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9! , 1
=HZ}iQ!;Z觱Vt ,rp&O3.i=ɥ!.pBJ'u{&by20Gήa 'tI31AH>+&# .zH xWquĐ"mg=lk5)&6F2FK6 QΖ
P4,#vR"Jڬdck)8כ@h`\ O*^8f-dCu4bŘ k7 14f3K5 j{ P9UhT˿K)Íz O1XoR
Vlm 9|'D+bor +
Lo^ n[pV=YBT4Lܗ% Wi_xݻ}5 NÉ zZ lqgF % O&g YZ7zXZ ִF ! p] ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗭ1ORW'ƻDIeU729" 7^ 3Dc[BKj6qSi 9nL7 jK3g YZ7zXZ ִF ! B] ŗXi%B۾2P#g'NaixV0JFҭ`gB2q /]r>S7m-:ګT<}8DG8ݦRkq~40v` ŰyQ.AO?r !f$J~
*ęKo~PزjaFzi0,y~&m5xn 3n0菢ާ/@s!KL w1s>LsJz-uY Ӧmqm7r.6hJx$9ʺӬv.&c#T|r(&K4hbLv5h-yoWXi!]e`Exen{>Ь32sY-U`AYEMC)5*mpbqW% z 5fF|lm|;jRtyΌgib ~0 c2\d!XJ*{w)A7(t h)p&/ģrK&Q .D.OM6_R4nx\QKf prTc7;Oh,P'^ؗv2HxL >ʡ2r!OٳdfE< 6JNyL%3v9s}فMc;G $l[}[ }_@Z& GW{B: ݹj3\rݵ$Y !9?F l"1@4
|wg YZ5c7137c31c7db6c53b6b8a2c8c1863db2633633576b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
2ba2648cd2e9eefa4e482a87a5d42b21c90574a9
4935381b0a3d53b4475efa9a778a2dd6f8926c83
b2c71891d8405a275bbd76c41f43cb1ebebf1330
b3d6c0cdfb3f7ce8e687125946a96f045b3227dd
+ Randomised_BSTs