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 1 4 ]S HOL-Probability-ex:threads=6elapsed=29.349cpu=51.548gc=1.248factor=1.767zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E]"ZG+sDNu<1A+lԄ|$31۫q?Gp)ԥ51r֌6auz+a`JAHl̈́5\E=>vg>d$g G>ŦA*r,puiU&5y*`[{OTYgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >*4gǥU~I`iTnEi眩CX`4h@eK59@PiVg3 -wcRհ Op1yȇ-ƭ(Cm oʱgYZ7zXZִF! S]ŗXi%907U aP_if<$eĿ^q^zP`@%lp‘\+\=$eo+ H Ra~t2g 8V521? A*HPysWDh 5 4ӛ-uxnY0ZkИ׎.!QaCqp{{F=4v|G”FbɗCUTs,)(_-<_gjdxDuL>+4C{$,FƪK, ݫiiy$MO$-L* ˪87oWVg.R:um9th*V }ۇp00>r)~ q5m;[6y%㣺ǭ^Y ,TPƆ@haywTT|`菢cS"m7cx|3Z nj;ȷ~= SYmhS*c GWB{!ͶsI@BOiAlgOsⳛYl/`MDkݪY DD^)'>oj$hՌh^9\hwUhZy*XNw ;ıgYZ57cf7762e32bb9800f35dd294b5a493d5f00d8e5c3f84dba95bf0709c61a37f27d090eafa0bb6b15 5ec4a71d50b92c5aac197cb7db0025929ac32b1d 85acd5ce412aea81c3fb04622135e30d97b9b48d c32e04d3213d4040a00474635f8c3b3a3599a8c4 1 HOL-Probability-ex