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  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(Hos amL-7OD=Cy7MS9Jn"r端yShOm .` aBs.Օ=f$۴-_Fs'}FptxjNchiEy~@?@X W gYZ7zXZִF! QC]ŗXiɟ(0uIU`s..5L⼟0U4[Q7Gb[[ g:iu`l=&)c_Rh}YZ7zXZִF! 19P]ŗXi%9*]zFsbx?vf )nܳ>N Jq>d޷z 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Ր9 U76:Qs[b0}3GIpRo6h ~9勵\I;kϤ]5!%IGA1VdۋdG}3#rB<r#HUn%E3\d?z%Zx[j+7vX feqzϝ .4< DǢd uOO-@" }S!У/(Ǣ NMm6Y`zʒ[m6Lh@ t>GguAb