SQLite format 3@ .  YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Z1 ,, Sw HOL-Probability-ex:threads=6elapsed=32.946cpu=56.464gc=1.404factor=1.717zXZִF! H]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1DLn7n:4qBOo/;ʾΰ4VˢTV!0~1Xu8fbgJO*]k!oD㧹ݘ:q\0f-9 {*WUov2*3{=(bKv(jOhs}IoȞ{\Gg#>bP`ElC^%D /`ruGܠ(? 4|JF|OB"<]_*U7%$f4 7:$Ɛn)> so7βgpMZUSa ,gG}Q3(3TLC|L)m{k[ $v0{ kRx>rT(Al>\ eHwr$ 2?4A\r\0 \tvgYZ7zXZִF! ]ŗXi%6CۿKևt~`B}/{Dl&fTP;S44 FEVGv\_{ ?}s2Xr=B(s sqXeM׷j1#vi?g*7{vs1dnz)x wWh޲e7PI}V}?Tk׆X߉I꡶2h DЊt@ Cǟ {0lY)FGEH[:ז=Jx`SEgn_u{-2B}Fxh: @zz+쨜q%`G.;ʞ-2Qnww.L ϻ`ixq?Hأ&ti8'.ثs ٻ˲+%8yTWSᵗw݈EV^b$Z@Զ-K&> h,A$qؒgXF|~'5Xz}+2۩0\/HFhsvA|A2vxR;xݱVT',BJUlމ?WF2دdZtN#ݼpL!eI5aaL$=U[KU䇢̛/nZ% fi QRg@YSu%X-1 D]wSU~%:z QzOȫX,1yΨorna7 ͆ e:069xUuOa>t9|+3 z-bg aA$uX\T3M!yEuO~&TNLSaD4¶`1{:)BZ _۔]xv\^jd<).%kk/hxXblfzP$MWj<ޠ$GI1ڔ/O*FLI \(P4|}rn1Q%{D"_eeirU`3 p= [!T/bDIB3fH':ͲV!m*ہ.G7-$LVA1F xk7x:Aft !H)iI ľ`!ZEu#Tד W'gpmKu~Qvt-*\,j( tx+ c]hVXH8]O/]_\>{mlF-!ʑARJY ޷5lgYZ0a873baaf1ddec0c839a440ec3104d92761a8ab3 7b4015c4242dfc15d6e866e03a6bc8dbdf2cf6e7 dbbef11a8f2df92cac2d86aaf7e461937091853c e65a3fa785f1e1ffe6f97afa01c52760bdf512f2fa99d7b5afbe89b4a908db9749b9b74165a9e508 42e85511b690533b9abbe3ee4d90ea0558a0609c 9e3e97be0263ab09e72d78ce7c1f778e46151355 60b39058a760f2b9d43b1f40d3a5cd07c850a151 f5f030daeba5db154c262f0cfa51a02b266c66d8 fea804eaaa7ebb3da91857d88cc6be1f4a7f43b6 1 HOL-Probability-ex