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 ''V1 d ]S HOL-Probability-ex:threads=6elapsed=26.503cpu=48.080gc=1.264factor=1.817zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E]"ZG+sDNw6gYڦ>ℭ[ior5?6_vBʊIs޵"T[|4>{4#0r'CczT)PuR7IhsMFvenړ%DaODbш5Ԇg>Z!X <і5i;n T0}yMܞy .6C~4! E,Y题4Q \=0 }\U\v*QQDfnyKКX I&.r8{Sߩe}_ϲ@nM ?E4QGk&X]p.I9dqjdzj{}h t}/q];ǣiTĥ`{*rPegYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >2&aSg45 ~`q N!4ODxθB\Ţ!̔LdOm݉Pv97<4w0w4;0=׾}3h*fx%K+xjb{-. zĶkU d- >jNF,%k0bSibH !ӄ\9}_lĪ1 L,~l2a|y@p.DLӈ&:ag;xזuh.-h ˩Mp–^4$tq*[h*H8#Ӽ%^3mJ@;ԶIV3]nÕg7s;sU*2|仱P-h2MT$@o%ƿrzjWNl)j^!QNt}޸ X0]=8{0)2۳tW:5C35Oi@R>7+j^,$zj>3j؃2SvVL@LlBd1ߵ$n>\KVҜpR(FqbT&)G҉ c5AZXRQ@u s(t ܙF1|Of}"xB$îu>&y`R(-r޵Gf )(nOuUnz9"ES RZKEjt\B.97oz Ck*V;gq8v0>-R$M_ Z%xF>JMhUB欄j#۽+PrtjdEzoyݠ;IpѲ*M*\&CmbG~/BcVVmհX"tO?;R| LGݷ.ɒ4h<P|H.eVz9,>2$4KV2/0qsh^iAg;( ޫ#Ɗ<Х2Uh$qDŽ[zcpgM2<|F)hFb)8Hƚ/~w=}ȏ{Ch$ qM6f"ʬݿbٜ !򁙮0=8ML?(4Negj=2jT.3+m $ƔѮ.];FBL!A 9g1ܯVm%GpmzͲW9t3ѧNc80+r׍ ٯh}r|1'^g6e_kʻfT;y,œȢ>v tb~'u4Z0cyH.buF7\l/I\-g՗-o4.6YWdt \dQ4b gYZe6afbf63b049c1488a8673f84a4a329b345dbeb490cfdec0d87addbf47d3382f9c916158cdafeb90 4464720f6112547e5ddd8b507d4f8fcf7d12bdb7 bbee55a60b79e616c6f438d12114d7cccc2d6532 3f768f2b284a2e7b67b218ac6640b24e95fba112 1 HOL-Probability-ex