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 e1 4T / Robbins-Conjecture:threads=2elapsed=13.594cpu=20.480gc=0.336factor=1.517zXZִF!  ]ŗXf1-/6vR[Opc2 DvcfǏq%^ h9R4I 46(ųJt^#iJF:_:w!mae~yd-QUZQDܾ)ΐyK;5N8U3}1VA-Fό~^[ {pᢆ>m}6˳bPX+2^35ם.$Ij! +KUiW+}kvU`Ū*Ώ O2 }|C,ׂ:n_PG<3͡LR~|E 4wme:O۪ݥT f׶A뻔mbO/YhBP",L, &&JP[MH]C+Q}'7Q;u!Z?+#Aۻw>|R*9,gYZ7zXZִF! Ka]ŗXi%6k( 3o\Gk{h8meۄ~Aג?2ԏ1E21ig;ܹ%_v)o+yHRYƛ0l}B)˯5@q \{oo%8`")K׊FSw8[6}\ k˴I.lC-a!4u>NX?5j6-ջ uG}Xȯ&;191iZ ;X@e wh,5zm2 i5 fMLP8;8=!q{l~oPXTcU 'H/ atE(!M\t!S i/2q߲"a+ŁaDE t:hKYGjٷ8!kbz1(-NXJ `AWc*B.q}34_@預yBbt2hRK~@ OH"?Jz+aQ֡S_D+n7>Ln.UUu AtKH;!ٰ늦C ¥2:5Gt^w. _{ځK\HޓH8|gYZ179e0a1bc6ef3dcc4446268cf7795880b0a5e961 2e26b1e29a3471e73b9ec5a949894753324031b3 a1d6778ea1c69fccd623f08d8e6ef26797959365238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c 1 Robbins-Conjecture