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 cc1 \ ]S HOL-Probability-ex:threads=6elapsed=26.877cpu=45.760gc=1.376factor=1.707zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EnqNLؼjT1D+ 5KjXo34 ɞ*3_&:D[hE܋ExomX9[q A $s~TH-1W=QWT/eCypx收Fق7Ix4œhxkp`Sen2W%{=~a|nxvOBAs,N>ƄrCqYb M(0AUj=J3c'y]|~koI:/z`ޓlέߚf|H+Ki(52I?S[][d6ڤ@~q1q%K;s28;H~O {O9a]Cb,WIx@UWアʱgYZ7zXZִF! %]ŗXi%94dLn2TLDݵz%)U}a,o=lE%`!q8#PQ²O-N&=A̛_}3ay2Wf.yw{D ˟yDE|Rv|^ef>eB"D}P؁}\_\tdfi$'ɪ*Z9WQz7sG!֡ s(urO;ZF0 oS1fؠ_Ou? gQp( rWۿ+W/J#1Iy7qqqD#eL7jP'tp5nY_347aV@gT⦝[(=~ #~;gxZ&4yxCǟ5ଅ|1R n:o)]5#࡙%x [&9Dgxws5pz{?~`} _$޺ (;(}=G9vR5U5q2XH_gQCnY(CRQ̣7yP!-CFN̠샩e%od{^ 8\ixlhaϻ<p`r-Ft- HUƧM`Ϩ_!G15,{mZNe^!G@H ZPEw$'o'd޲'?yV8I[ij~װPɨw&Uf NF$&]ñ|r_$8*zb!JTC鹇8 =P7MI. 74 *m rT78HT*k3E#K]8hykV}zgJ(R L(L4=8 e0^}ۑ|6L@pw^ ;:hӣD(m{gYZ1cf33ef6a50aef3509f51109ec139eb36a1e537ce2bf23c7d7eb3616a6ada91fb6d55c5b24a424db a63549e9f792e863f2c65c2de3f08035d4b61871 15130889abb5e5b78a68d3c36d5e49668f5f8d1e fc5944a63dacaefcc6b6cef70fc5333602f5637e 1 HOL-Probability-ex