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 Tt< ]S HOL-Probability-ex:threads=2elapsed=38.020cpu=46.560gc=1.452factor=1.227zXZִF! (]ŗXf1-q恈͐7ӺV ;Dg[ o83LͯJö_!s[Zo -O&vB诳|^E.kO«\Kl/2ɜxV:bhNh2;.OvQ0 ]A2Gب$2cƳ!Q'wcn~y@$/U],B_?kpڸOD>h "HBhj+ohR9c6iРǻʹkn; ҷiLXC޿ԱD[ 9[*O ##Qb^9qthB(7א.I`ӛ?Bz21:kӼnY&_DSɺT,zQb"&Z@ 1V;3zpdY=Ԅ*:֍>1h:F]iXB cw <ȯ1]F3#UtFXXs@)<ߝٵ,:<[[(et}(9[hf[܏ 5a_1:[=Oi$1w3t7x>j|"Rbc8/=,j:PޗKB.=be:;H깊64[դ 4~C(&qE:9Cg˸M 줘4f +S(KWMQ=w:!)0T/F`n,# /-q;@Bg04R^W3עFjqu /% X-{0V,xO:N ӹ!h"M_i E*ϖ!?!eDf(/k25@;g"xSK nZ%͵fc8B/^:!Ryڢ<2)nߕhDIJ#O$teC~0 J.ArF2v!*)sژùɌQrd=wcҚ,zdCr&Nji%lfM2U|ob {0tx4Ⱥ2;4 eCe ))̬b̟S@ΩESNAD Wt[v OG?}K=2ꉓ#o fg4Y?Nsf!D԰"-bUqvb 3K](o鷝0F Uá"[Ay\) p1|V@_? w۞\`JToAPbTRAW"di,oV޿zV㧴v&u-Ƴ2f@*#h^mRK\fٞ3ђ [骪Zp`/ӓFGQ A5JG҉ l 6x'uI]טLs6%p/  `_GBxco徿Xwh" W)-l1R"6@&©S[h҇~9D{BOǯW0.4CHj+;\'z$_%[iL)yAcGX&đ(l1_UFo8s4[Jtax`9q%} = [{>ڰO ,Ri.~TG@oE<-+RUg!-<% _L#12hF/ Nᄅ⯑Ae/QpȵW=q/]v|KCORÌku F{eݎ$\{>Cbp#ai[t%/ɬ|C%5Nms>Qm-G$h :﷝e*Blp&‡]afc gYZcd0f677111ad47f300aa6ccc51976383b01acc25daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 56396c8d516283029725687324b706f91b16c2b4 022163e34c98ee04880d25ee59394468cc01b8bc 1 HOL-Probability-ex