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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
Y Y $14d ]/
Robbins-Conjecture:threads=2elapsed=13.112cpu=20.136gc=0.412factor=1.547zXZ ִF ! ] ŗXf1-/6vR[Opc2DvcfǏq%^ byd,ȯDA3")Weh,|f8 mS gSu'5epuͪ
rlXtjauo (`ނ{oM8R[%fM
"y^aBۡb8'2{W#fStf^x_?j_QCRoÆW>/xHf D&B?;\㶲{;&~)~{cj*"F;!m{IZ"&FY@DmzM[khl~`56CZDv2UuB*3G3#P<=qPmǦkcn\<S9f^X'n X x_ xc ) lwg YZ7zXZ ִF ! Y K] ŗXiɟ{}cCs/7~f+#cխ߅)DC/0~sxhP ~՜H gZ} YZ7zXZ ִF ! Q] ŗXi%>g&Mr6W0 sW
H͇ϘvBAF:]l6q/tQ(`_2(`S)kGZն~lZPOр027O}4OasbEj<83>&О/@s ,=OgH
ID+Z{_(3Kjdž~!z*ԭ S:dX!UnCwj}:fŜ#|x.: .՛h0)4l5N@tewG{ x5; `zq_G;» 9 }u9.p2[b:"c {8âvmσȱߠГ?rד3c=GA{s8T8pk_b19ޮUZ79CcZEU̎h;Z̩6eJS߷`h}SQD=DdPLT$&f&
<3ʽٞF
-ͲB}럯]AgV" x/sfԉ
K)<:Q3{?wwFz#u deq{?z_\懍5?PFP?E'=.v)> q:mӘɉ X@>үe飃
r^Z^lk#˷&Nt25h{k2gYhORCyd~\>gy|Q}z7Ĥ۹ӷߞmK~d0!@U%