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 uu1 4, ]/ Robbins-Conjecture:threads=2elapsed=13.433cpu=20.308gc=0.412factor=1.517zXZִF! t]ŗXf1-/6vR[Opc2 DvcfǏq%^ h9R4I 46(ųJoLQe_&ZWZN?g d/mKs$7)4aM9dkC5_v [e"XYdL*ٸY!@Q@<_Egw'C H3 èlJˆ涗A*)-xcLb^sʘv} B~XˉNK.z Ds6i/ϩ?W'͓`bR$nLu X,)z[ڰUEW'Q7У5;Bc<$)lK]q:֙P*drWsGP3hA&s'.Hw̾\1*rV+(ѯ.Ԡll].R<gYZ7zXZִF! YK]ŗXiɟ{}cCs/7~f+#cխ߅)D6>aox~;H踟P2oK>gZ}YZ7zXZִF! O]ŗXi%W~mƋYd#?,pɴHe%;nAu< ICd"ScFRr}͎Xztrzk2m9#G< H)gE4͛ |`#O# e3/,Z9mqvypz)65_`{%=FiʆFΊNSB]?;زTQ~H}S]jYͽ&Kᦡ4/:T M0o8;bE»h~ VcaP9L U=yγ+L|#lua& Z\r \ ]jR/& ^;ZR0J+ ;5y-G޶}o$3ntY _$gp% הC*[F^Jw.yJ3ORKx I}i&cwGZa/=mC},]`m}J7>>p3UoòoKctPfX~Zj!? A?.?OnlJģ@R9e>lM,\~9\ :=570xІ@t>禝 |dYv>|ᗚcP}cWyAs4+wk+¬2%6W]X!s޻$gb"E&3F My̳gw N`Ӥ dW"x5v`u^x}cRjUVTPLNy˻^GW2pz`Auҫ<&uHRW0T`l]v#wQ Q9#xl #f`v m ȏ4TAp8`f/#t-̄v5 2 ѿ VVB/uu ;IKgm?OO}0* 3dxŻ2uCBs/Hc ӬgCJ"HY@j}ugFtU,t>rVۿBq d(>(M6O!=O XFJS[֝]`k<3`|ig")}jG&DNbG0fUl ;@֖=? fV ޟ_gYZ6986f814fe2de2c9486267836b2cd6b6f4510608d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 1 Robbins-Conjecture