SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
m)
t, ]S
Buffons_Needle:threads=2elapsed=6.679cpu=10.236gc=0.104factor=1.537zXZ ִF ! ] ŗXf1-/6vRZkC@R Y.;c~H>8v%3
v}2UGDiTdW il2
rKʋuCDi(HosamL-7OD=Cy7MS9Jn"r端 yShOm .` aBs.Օ=f$۴-_Fs'}FptxjNchiEy~@ ?@X W g YZ7zXZ ִF ! Q C] ŗXiɟ( 0uIU`s..5L⼟0U4[Q7Gb[[
g:iu`l =&)c _Rh} YZ7zXZ ִF ! 19P] ŗXi%9*]zFsbx?vf)nܳ>N Jq>dz V#JH=H |⯠(#LB?Gm3K{^qT
FI\ZG?D
ʓ9O"g@`u-A?JVdmn'J`xK[0 >p\/1,ujy$Ohti69k>!EVnq\|p)dOܭ^)$GZ߳V
SՐ9U76:Qs[b0}3GIpRo6h ~9勵\I;kϤ]5!%IGA1VdۋdG}3#rB<r#HUn%E3\d?z%Zx[j+7vXfeqzϝ.4<DǢduOO-@" }S!У/(ǢNMm6Y`zʒ[m6Lh@ t>GguAb