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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info '1 4l ]/ Robbins-Conjecture:threads=4elapsed=9.618cpu=23.088gc=0.476factor=2.407zXZִF! ]ŗXf[&':lt66LJP|rv[BպEǴ?X0qlUFo9D 脴%uvdgvx]Q-.w{~[y).yd7G90($L݆d(>J, `z`r9fdfojG \A݄oU%Ov|\?]~#K\y#]+_m Oѿ|躓Zˋn%P1|O1{ho2 se?kŮi\b2:xƣ(B")\UmBE{c<y q/ igYZ7zXZִF! YK]ŗXiɟ{}cCs/7~f+#cխ߅)DZ-oiH3Ӂo+ 0|"oqgZ}YZ7zXZִF! Ho0]ŗXi%EbbpHS(AEm-;dH |8+\ןD$J$9RtDX=Z i`>NQ5/U Ym ]TrqE,7ƹ lS~:x XvB7M SXf~]Q%ebٓ"QY+?WHn^Yg2\sV6=#3ʑF% U U aSid^ɩ]4 ΃,PRM'ϭabS[ʅ@m@EdBʂӗ@Ee)# a mqTg= CdN- [Ad//;#2WyQp2-9R`ұ뇯&[Rݴ2Y>1&S 3ߣ0Ĝ.E$ˏPzְFp<*CN)м7 yQClh;dzZ28gnDb?\ I(dbpMbCrzlc\ҍ"phB/uwH4vψjgT]Uί>/ޫ.l,޷9-+'ڨd!?Im1llՄ'A~ߔرR)".V8D)?3zViV+C.U;ڠ&4bMTtm ߆/|15n(Xw@ؕ-Itovjf7pa>2RZY.k  ׺0XcVg\~;UJW .#e+U;DGK +EؠA7zAFe %HH"^{ gYZa451c4b5fafdeac5a33bae4c5cb8b8641c504e77eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 1 Robbins-Conjecture