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 SS*1 $d ]S HOL-Probability-ex:threads=6elapsed=34.206cpu=59.812gc=1.516factor=1.757zXZִF!  ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@Eo N9j<&8Wbo}/DvhXBRw6VND`c8B` 6M o-=p"l9J'1K姚ܺR^f|ߑVa/"sNuEG ,Ri,ZGɂ,xf~_Q6 Y1HN,d}\0 sT{OMid )λ_&fNjA(h}ZXJ8LH`wVbgxy/7BQbAҎ[.uܾSt.#l WɪYK\vH͌ dj$蓘vgkZhLFA#BNG֠]g?$sPU,TU*T qLM(ZK{^F7鹢^yStXgYZ7zXZִF! f]ŗXiɟ11?E'TSݚ_!}M >(:B; H"12 r~x=3X"0=S!'5$Go:%PeEaN3fx󠓄sfSonu7o6,ͅCPE޾(dGYbm"dK75Pc:(gow%2d ,09 tqpxkꃣ A]t b!@9Wѷ?Θ¨K|m%jMI|]4Kt?J2q1JB̼,s t ܢՀ`}wt%]Ik3z^# L]&o^ZҘ#1)|Qv+}N+m^Oi ӯ6e678~u\_AEVYC9覢\C,OH]qptv2YT'ٛPmD!ڼ1%vpE6@(gYZ6e39c94f0b2a20777d9560cfaa3b04dc9a3cedf362858bf7fdf2d16c6c85785e129356049e07047a 91f84b8d0d5f1c5d3cbd22557f0db5f1ab6f6a8c a35fa5f12b65f3cf9910d6ba61f9c49bcfd56df4 47d60348f8557728ad71d3c5c006e4ae107450eb 1 HOL-Probability-ex