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 YY$1 4d ]/ Robbins-Conjecture:threads=2elapsed=13.112cpu=20.136gc=0.412factor=1.547zXZִF! ]ŗXf1-/6vR[Opc2 DvcfǏq%^ byd,ȯDA3")Weh,|f8mS gSu'5epuͪ rlXtjauo (`ނ{oM8R[%fM "y^aŒBۡb8'2{W#fStf^x_?j_QCRoÆW>/xH޲f D&B?;\㶲{;&~)~{cj*"F;!m{IZ"&FY@DmzM[khl ~`56CZDv2UuB*3G3#P<=qPmǦkcn\<S9f^X'n X x_xc)lwgYZ7zXZִF! YK]ŗXiɟ{}cCs/7~f+#cխ߅)DC/0~sxhP~՜HgZ}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_b 19ޮUZ 79CcZEU̎h;Z̩6eJS߷`h}SQD=DdPLT$&f& <3ʽٞF -ͲB}럯]AgV" x/sfԉ K)<:Q3{?wwFz#udeq{?z_\懍5?PFP?E'=.v)> q:mӘɉ X@>үe飃 r^Z^lk#˷&Nt25h{k2gYhORCyd~\>׈gy|Q}z7Ĥ۹ӷߞmK~d0!@U%