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 66G1 D ]/ Robbins-Conjecture:threads=4elapsed=9.034cpu=21.028gc=0.260factor=2.337zXZִF! ]ŗXf[&':lt66LJP|rv[BպEǴYTQ80BS D%9 OFhŇ+Vjn3XV#?m|pI|Y#׹EҪa (Jv9L@?%8)@3{"CHAJG'_mnXOM6/dJjOd9%A‡Vf{R9=l5^| ղ3%ͳ76sϒ®_IlOK9Y3ȁB8xִr;c_oq- !{YINgꃃ~ҘOS+ '5P6^-h-l\0j#VsgB0!_"Dv=sɩ'lnuv&NL΀Ap?^J`Z9,Y`~mzqpV)KgYZ7zXZִF! YK]ŗXiɟ{}cCs/7~f+#cխ߅)DA'X]8m?!6{;6T(n?c gZ}YZ7zXZִF! Ey]ŗXi%ES3%cNE˟jl8W0W-<<AQEM CLm:f+NDB1i';tQ~ L̒vݷ_?۴.o_LA2ܼ!M <~?9t/\hN@_|t4DžY{fII~*ykVȏ5w[nN.·D}/~"uȲ>%?N=lr؟I'F@6("KR13";|)4KWcN{y u19ژ٪xF)T'^iBmgZhxU Dqs?o<9+1ٓ! qb7Jo[p_-f*Ʃ;gq~'V ~S]h[-r:v$7䳔VVfs 8eN,v1#=to#o`N\c!4h^$>d N !D`?|*)DM%eR/";S1z~Ћ+ΙqSA=[g˖NZ=2^BHh m[M0}[51`ik; >PZ+.#`pb+<|~?iKmiWzݟxpd5[pp.U0wm}Wz22IbO9SFy RuuQTi4aEcM=ꮞBGN(Tܽ4L tZԾb}%^態 QsQUv`]Ί>G\E:W^ݞލNv4vm$[#vCX)7doyS_s^+5g-/H^se?$$2BLU*lOMuloKXiT].9m^kN ],qI+U#&w+.&Ao^͛èO~S$)j8KC1!}Qqd(/Ll-CZ0vF$JyPf6#*JtFA-@=fPČmq=CCܑ_#BvYʡT<>=q틲3C{JGR庈|S^óJhG4RQqCQz҂2Bm4O+%&wüӄTF P gYZ39a50d37934d4849576bbcedf8b7efa9b45d102676b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 1 Robbins-Conjecture