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 X1 4L ]/ Robbins-Conjecture:threads=2elapsed=12.911cpu=19.836gc=0.328factor=1.547zXZִF! ]ŗXf1-/6vR[Opc2 DvcfǏq%^ [B v>Tl|mQIվ[i)=Ki4tD^yGlHV<~$΁qK]1;RXd(r@#OU(2,0._qԖecr:7;t-hJeqL@ 1rA~653ͧ^%:ӷ~h lR'/"N ˦(ti6&;)Zs+Їj0V[yEBmϳ,d@C{mNpKĻuk$$у-{7i=gZ}YZ7zXZִF! M{]]ŗXi%93- :2{ݸ5v#[sYl>C5@j_=7EUԍ*4)H; MlF;tesԚ1 r<--ڇM+,Z~'H5dW}.V5=&@> }ޫ(J5&:7"!Inglz= 1_;;<!E7*Om3?I U&tsҬՇjJ@:RHq"փft5M:BmИD4G?_< ;c*y^|y'!<<*ڽO*f5~ Nv20ނL+H\.B0tX/@pEnML9KK%3 oRN{xV%zG!%с .+)!_8d~D;:O]L.ڭ"r9D#2+ "?oC1"jz}%8]|;(z&]*Kv>3e/װzC 0ˆP*}zw[NKƛjvsA/$'1+㚇tf4`#,g]MjKߢӸJIR9O9vLm~γY1":,9Ĕw_X>~gavrr$XIxL*ҟXDʥ8?Q=*H;;C0TBoO4 :$?a?)9 }0<:_ERZ..l G='_ar1FHWA?hF!WSnպ̵I*IvFboDTSfB ٶ:8OezNkc^APJ"B(`^LoYL`yG4C}V{Lַi( rSf&18=T!׃0eK>1=isnl