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
w;|D< ]
HOL-Quickcheck_Examples:threads=6elapsed=74.349cpu=167.708gc=6.080factor=2.267zXZ ִF ! `u] ŗXf1-q恈?XVd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'ҎmXZ
_^/$m`2{Z'ٸ%ERxl:{IJaTI&<YZ9)hym]@ʚoe7oj*`WUsV=/m8[v ,_QWwm,PDr҄MSNl!HfahvDapJc5ǻonX)lz̛fK U_ Mwf+H4:±u4e/wG34d!%}BcXQe\͌A7?jPi_)ׂ|W{T{qo$CP 'k <;a8'nXߛ
+Oθؿcʎ9jPPbkyaMV'Ty!8˴?Dd(izZ VGg!
P^(TPw4WO0=(r9ht>ÖפJ$սVI!J8ZA"zi'8V\ӀF#I .HZ(SWҎb3!zjC6F)$H
ӡV`<}՞f_Pw_؟s
(eMFN YssNON7o"X\#-V40
km48Mg|IO.P/kcК"X)PxV#VO^mY:.R&[kyۯגc e31u(
~h|Yg)*Ok3eWx!{