SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  ]/ Robbins-Conjecture:threads=2elapsed=14.054cpu=21.164gc=0.308factor=1.517zXZִF! ]ŗXf1-/6vR[Opc2 DvcfǏq%^ h9R4I 46(ųJMYZ73y6?yWU*  tGQo\=3~=݈)(4U` M;! Iѵ#Wz  r!'Qҫ shJ2!랪QA0)֠QNԈJe`D *j\(G?(x}fAz]s |-|\V/oXToRuYʿ_-CR qqLYAz+vniTX:55FLלhʰLړT:ɾgަmd@ he%7 ba,' lHC3{[7N?϶{UĤt gCm&%,bo#uz@wuzIձYXbr,+<5-u-gYZ7zXZִF! K#H]ŗXi%6q땞LIV_?@>'iЇ:8yޗ@HqnjS2NƃeE*,erL¬Fa&2g^HDlFւ<$\Nt34㲛6ЎkA5td>`moUB3.(/.kޑʿCsE5GaZ~#Onw6ԗ{y@p9#Hޮמ'';V\x"JwkJTa Q֯]9$]Rxi`14Z&o$f5q&'e PS̷6ȏ4B膓W?jcpZۈeS8J3 RG9?oUCAnn(KZ+ԝ"ih17<;[ 2fۯWvm=|hQ"QRFK_onΗ#{ ߾5 K^5&Wq0JluA(pӖLrlW;e\ٽ|\gYZb0ebe72ee71b236611ec6406630b75873c3b496c1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 1 Robbins-Conjecture