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 cc1 | ]/ Robbins-Conjecture:threads=2elapsed=13.278cpu=20.608gc=0.332factor=1.557zXZִF! \]ŗXf1-/6vR[Opc2 DvcfǏq%^ h9R4I 46(ųJtG,\}#N@oOp}ʮRw?QVRT)0d"HV0}_n(˖4ovRl#0t( 7 ~c#C%\BvRVe t*偐 m:jx?w ZHbÛBH*e2򣽕|77Ft-d5:ZtDò; ;Αނ%4ř7& p@ywfYNB{nB#QdR7smܒmc6 $j]~|bdR%gz4θT<{ US,;}ZfT~G;{&TzIss঳&Xr U]=7RQqOUyԯIg7k r.ϖgYZ7zXZִF! HH]ŗXi%6f-\d$A/uJl&OGO6j@)<GJz1;Z&68Erր$sngNMpžj_N3h2pT^Q+wҮx%cid9m5L t3~<5pֻ6#r]e2{A!zkȁ4:Qg{N{[BaNDlίkMb%VD\BayLE_e 1sr ;`'Z{"B\k6ء%?d㌝aGS^n#PVu!2 ҍ=N‘~GgYZ5f1f3e4a1bb1aaa61e28914fee3807c6a19a284b0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 1 Robbins-Conjecture