SQLite format 3@ - llB77#tableisabelle_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, "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.957cpu=20.960gc=0.300factor=1.407zXZִF! <(]ŗXf1-/6vR[Opc2 DvcfǏq%^* m+Z6|0Q{e7N`rSh(w-#dH(4OQF8VI9DPwu@4QX5撡䌰A߰)rә}e" gA/Vafx\Y"Xz`͉v]̄ͥc92F= $l PLf݋ݎCc+֯քU52#vϫN{J f{rôNÓ`ԘDE-O/0M@onM-ҷڥqߚ1IpDT8+SSY9 I0P\(YI!Rv5%/b"_fb58aF@4'{P[8f&#?eP<9Oc> 1 Robbins-ConjectureVŐڙ ܊.:~u%#OzI#1ؾ'faE_ӹ#Z\*.«Ke;Jt(Zt_Y:vLUlS5jҌ3m V ;*d:]fK2_nlCrKg5dMz+u[> iu< }ñM_b%ϻ{jy02?%k%;|iQ櫲^UTqOyLp(%;kaM76݉ Z(<JW0_ҍD ,z&8diMF~Z멞H ɷ,p o$Vm[y˙'#2%Y:ك^HuF-}g`S0_e-܃ڎu2yHwh sPͳdyY[~⒯a@ɫ s Pl?\?[&ⵅ5+>X/Sh$lڑZ#V(!=!iMFr*tIZ)i#|E nMxxTgYZ7zXZִF! P]ŗXi%?5=%XiSjR.u= }N .V_5EͩK j?dn[f*X|M @٦1}!].GiJGԹxv< EwCOSd*qvFҀ~ź{95;؆W)u a?}G&#pމU8&h_lҽP1 Ugbo@.nR˯,v'VCmShVG|;NXp ~= >YmQ#*W_\K7\rS`:bȂ*8.Cqc`Lm/F9N[  TTѤAt/3qWtZ޶ ֈ]YftoܪEvYPG#.;EҀ#j_'9u\[+OmA{7za}' Jۆmp;0Ճ *cz&܇l= P:Ms-}~ uKl*}Y1sg 7=Ӣ u}jFVE< ;Txm deµ8!3H[1/-{H=P&)D[J_lݷtm )%o50öMyD G]@X]Kf'w$93h@ iޡ7ݵz QH]T4e;?'7^RhQ<ؘlR%h@#JeO_C#H ˷O# P@l4tqcj2 X԰ŲeEWx1`'>‹1A