SQLite format 3 @ .
Y Y Q77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
B1 4l ]w
HOL-Probability-ex:threads=6elapsed=27.325cpu=47.820gc=1.264factor=1.757zXZ ִF ! I] ŗXf1- q恈 wX822*,״ {2I[R :28Bmol U!"H~JÓLq0.8 T&Py%8xq~ Ci؍"酀O:N @c7]uiW07>0m-t+,}6!q΅_ Jmqh+:!bxYJ$P,`M m
~,e! i7r:k:M W+% Ehan
7
g
O<i D~cpJjJ0"p㸅Źm5 3Q胑y ~߽6@YYÿE!ՒH<%XmSi[5QNU~ ( IPLC 4kM ,Z9Y]Ha nw'\ [I.۽3dz?t@Rg? Kq X
M⩬ J~4g YZ7zXZ ִF ! /] ŗXi%6ƤǕ9̬'EAQq0~)t\vn ?]l|,3 {
xaVp, 1_C DƖ7dEszN^9&z~G%ҷY$EW%V\$`.XCnaN "Ίʍu\jp"FqmEE4
9olQ(b {;ՋuHRNSo<ܛ/j0,q^$qt茦 6ˑ lZ|~
[ HW<# fK8 掓ߝ\d&'ŋl|p
*:"&I'J%CUǯ B&U>11V#5Sͻ t>#8쵭 =v =lU0 Uf'(ǘX7+ Jes'xAG,04ӛ@ (ӸS)bI]̀Dΐ)Y0@uQNԡFZ VQ7N#ؓ_5#sV>,ES> >riAL3Kl"rfmr ,byV SqDe- %HHw\ d}HfUf>Y0THm{|09h3:'0)Jh'Ȇ`Zw{/3fFHP zq}CֶƧ$yʥ)H HUr=C ZI*ĮKAS#YYզcq / s_H[i/iGw^{*JH'_8k{#/@BaOu!K |ѽIxxϹf
_{$o%g?/?7Ƥ (8R=SXll[2.]vIq!;y8¶@;/@`gA_>[
PM \
aUakLNd G&!ȑ%M*v͒rqcZF@ 6~8'uXp1?Q:1 SM كQ
&z{jd_Uh^[ofZۡuWkLV#c v"ehݡjݗO8z0:FݐTm Me+X<-6X ?4TȢe/^ذق'YGڗ]\K-Eo[{q, |4tukSmp0f#Gdez8*-$ ="J& E/d6' (#PGt뱱hE]?𮗿e?$[`9r!Ğw\i1B9] JJ=K:عȗ ci͒emQdddIU5MB1 ZG vU- Ճ [YEg YZ61b30a2de6d97b20977d909600633afb3d241b96d45c74c3c975463d5aed11161e8ffd9a51437a45
4473f24c6908ad0badf5e15532763e307c56bd29
9a935d177eb52a94e4456ec4f5b63c99be8e2aa3
1645db8ab85076ba320a29c94b217c43ce22bb58
bc453dbbe5a2d671520298fcd22ee8c641ddd13d
45bfa03ab312620d7b42fad6aa0880d175353401
1 HOL-Probability-ex