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 f1 \4 ]S HOL-Probability-ex:threads=2elapsed=46.428cpu=56.884gc=1.236factor=1.237zXZִF! &]ŗXf1-q恈wX82B#yvxs ~]<~4X'|\%p!1Ohe+7WW.JSaKߩ /RmkF=W"kZԽ&7Đ>wYw?= PJr9wP?R\\]+޿iSce'(?\!.sק$`SHVa4Zi R;Di(JQucA'_Uv?WɛŗIc+Ooc%ɃezwKGG|m h@q qQJeb(tRP >ȳ O|(!lyia GrddZ! _[9 . ڸ6>LGB)qF n]JVu ~)} VK͒=?^!~Ìq,k>k[AUA#S-M3!91r){g%I|m<& 3m/~kA𱵇 ,pN2K'pf6PnB֬hK yԒuh{J\-%ycc7͌tyHq@[5I~OaB Lvzo=Y̚$]iŇEOi1pɻ-Qhц Y?Z/:E' XLɡ\2M;V>g)%nŴ;&hC.benMB~Q``u yv#U (&`FKҦ:΂CrT\#yEV^{ mɼ+- lkȉO24Zx6x[E~A{Ar7}k> IdK^Bn % ^y쀪6:MGa2 %xUޜO#T$~V-MF[\Nwpg N+%rQ`J_ewv/"pn >G;؊$IJe_&ަ9`|9ᬣ8yLqAΉxJf"*(1C- tBF +);-@Ӫcľ6tC.˱bIW,F<U*:״ _e7&Vr,?=q϶PN9NZЌ ݍ W!ܴ@G"N5!b^ ݰ9H-տkQ6rJ`$_D<ҁ`ppN/5TF'V-үTM]OMe>(Dv=#֢ ՛V(y NՙN0+#F]vxeΆWB $o|]st#ue6G{u8 1@>Yࣿzޡ"mf1>pͶy 1pZC褓~|,ҽ9g0 7HtBOjzI,5l_1G7@QXi,#Ic%K q^ҩUeL=ld3H =L\FjfSXAC8gwKDb5]"in2s FYbv!^B֎pRUSc )B8˶]kҺ/|N /(/ %4X`j\ vN㽒Z2f$ڕX Z*[I"ؐ?Q~W$MsIr1C A ~ d:AV '24qţCxуz0iZ3 Z#B{:"8VfTFʼnppU~zUi&Μp&rpCRz20~xAY/Pّzy7[t ޙ{@Htch!FS']ØL)v Ξ*eWtQu}K)qRPhwe_eJI)WK􌼊Tr=YB3 4S>UL[d1/DJ@i7@ JL3wHE/سMM0xjn ПwsA]ljy_M^>>d fDnEElj҈qX>`DLL֨gYZc9bc411dbac8462dec1fe3b82fc479af0309c8bff24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 7290b29571c422019a604ab4727275e96d8102db 2ac621e440251e6456d8e7513c7005795c7c857f 1 HOL-Probability-ex