SQLite format 3@ . BBh77otableisabelle_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  ]/ Robbins-Conjecture:threads=2elapsed=13.294cpu=20.164gc=0.340factor=1.527zXZִF! ]ŗXf1-/6vR[Opc2 DvcfǏq%^ h9R4I 46(ųJq6- U ;+D6?uo)Z6^9֥OONn0h܇':rND.T6[wJZ"5>& ,@t 6jB Z$Bd˩̤H|יdyF 5[v]țat *G 15CTjxf _ҟ2G5R:{{p!% DcRYL0XϿ a3Gūr}n{2^eYTpI2o0ISI-.m6VXd0vUK}#6bY(`7zx)`Ι!Y 6}@ \k͏ΎuoE bƦG7Yn%8IaU.).B&gYZ7zXZִF! YK]ŗXiɟ{}cCs/7~f+#cխ߅)D623:<#K//X.r;{gZ}YZ7zXZִF! M{]ŗXi%92Cބ9bvtخJD=VRCpv5<q*1*@0JտiV"K7FuEDyF ˄ƓZ ,REQ+8v4|P ,2(Gu7V'Is/}~?Q8`e%'o:?SNo%@j7L;<ϑWJ%gگY(q Fx{Z^(~}7)Y7!3h2{fMwO; yWx-~k6^DC#, 惍2:poNpxB~fIZ_{jP4_jkw8zzV1ց8DS]ːȪ<ɾ'`tcϤQe(>8azl\=SM4NTS8_\M'][Ny8prŅK-jOv׻,\`ٷmJt( $“" اQ^c8) Vb|<t|\2!(ꏚܴ#zǵAڦ]Qd/^AR9_?4v`>r/Nɰ͡M(RtDq1>J$k53"_HРҮ |-y1ig7m6=h[:ncrfAoΞGErn@3kG^WdײTfCDžBj'(orb~:Х[s6MY[`2aaaDjR'ȖhmTm^9eGc 5RpC6Q5ګHq ,aKn x"p23qt {5u`=ԉk*ܿ]G"?F fV<4=SH6@"9 ( =7a6 u~gиm ۪mf $ q]]*Bzq]nME? scLXf+~.LcX?B-1 \7S4On38<`7h^C^Yd3Sj0n˥# Y'sgYZ9457bb57e1d44c023c8f689b2ddf86bbed905830f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 1 Robbins-Conjecture