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 |, ]S HOL-Probability-ex:threads=6elapsed=31.564cpu=50.572gc=1.612factor=1.607zXZִF! ?]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@Eۏo Ś9Af~ZkHmҚ[w`?udsl7P/[SZ!>"_j@t]:5ܨ+ zN` 1zn7eO 40ݡD ET5shZxE:OG׹겳Ɛ񣮐h >n!"Xz Xq%w_19s#T`%l'ƞ/GwxK`7e"{1T|+ >wjcA@aU]l`_GݒRuʔCl'w/#K3I3mtȳ ݑd42q5˓Vn 넴\hjpPZեQ1@XUWWTAԱgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >x&MQ['F7h2af{"b~7"0ms?@eO|t/='#LPX>9ua]IW )3Nl4[_v^)&E?!!TtmD͍n}fYgYZ7zXZִF! ]ŗXi%;PjSYh ?`0è;9b vc0Mt 4 ֟l(e \V4}~ +-. @{.2XmЉ]Q8L Z :Gʄ۞mg|*e o =F)LGlx͎䅯 <ay㨉C*02=[;b2BJ]> =ZEvk&)[Z7HO/ogo>Q"6^Lk߉A/o]즹Tp\ :iרb@>\2 :HxX̶>KH2YQUYbF0Fow-'O|VwTC2>o!"b:H/o[h.& 4bFvJus~Z>|,9Ž+彡On} |zE]~XM)-Sg ]rd}%A( 2ň@1j t N.d䛒ߒu .[/ p?[NʇYubWӠpӺu'j˰#]Q㢞J=y~ w\f=eqi,Hy(pC흰Il0s׋T7]m(7 kxY FWv9ַw 0罢_m2 W:Zɮsmɂ;ߑ(s!;#o pIijy?>#m{߷^.XI6Y xaHO&gl2VE1U.;~S6)1%K}Vⶊ5"PR4=X[菣.vU)GYBttp9 {fEsME[ 㹂Q݁g7@ Δ_gYZ576cdaa4926e793fbd135552f930a848d1fe78ce7ebc77e06d0e52a3d23b989ac3a5cdf6ba4e38da 173ebb4f87bc782b63cf102fdfc8b061631d5b0f 43e7153c4bbf419c9690c24fef0aa1a56eab0ac3 2f9aae130dfd8bb9c846afedbd8ecc3838578832 1 HOL-Probability-ex