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  1 T ]/ Robbins-Conjecture:threads=2elapsed=11.997cpu=20.000gc=0.416factor=1.677zXZִF! ]ŗXf[&':lt66LJP|rv[BպEǴ3c[Zcu>![X5%F;M#"AJd;_v8)kH6Q{E6q"yn['u^k"[8] ^+c7.*Gv@mDjO)+ܾ];x 4r<}ۆl k" GZ?{3 ޹BRTcn9.mKbׄ}\wd4R$Y$lZuh"p;ˆNCdZx7CV(FQ^K8u&ȥFPF#m^w}SiBdX ,&(r?}nͅwO? PCA ٢RɻƴcM`b @tC5% Y'#gYZ7zXZִF! YL]ŗXiɟ{}cCs/7~f+#cխ߅)DͩAўjv6A8_mhZn}YZ7zXZִF! Jxd]ŗXi%>gN,'za嫟3G%U_Y],ʻO9)},үr3I'⡝5+15/'xkIBI#w|%euDLQ?[!'ɛ-&Y OA2gPFeJa{I9]UGƎgܢaX Ei枫ۄZj rdbh+g Ԃ'-=SB82b1isCB@^Ւ9z,q) 9kiϐ9XKL(jyxn EChr3v7VYPħ!\S"}y2.|,DOOR*#u4Z17㔎w@*1=BR RRƠw*`seoHҍ$?^9y<^ R vD|@8ArFq8ݩs4a <,oFjld f! w=mcʺT6Ul3Uxx l^ĵg?l[NL|?dhKj#ƕj.4wT9"W%]R 4ښȱgYZ61ff6f2b2f5702409ecd5618de2cf38306a01bb70779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 1 Robbins-Conjecture