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 V1 4 Sw HOL-Probability-ex:threads=6elapsed=26.955cpu=46.640gc=1.172factor=1.737zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1K0evsl-G(En: #8;#~w_$آ훼"\J蒳{'Y`7wfqRP'u[&ڹ~"x O֊HbCx&lj(iAU\/9Vx7%&C| i C"J5[qg0;JeuU9'GeFapfr-vhp"PGf㎖}aSo¿todTwA:L'd=31~);}/0k>%./⸁k쮃iMa(Wx8Kb?#\Үv.ANpbZhWwen |?!*^w#hDl@:Ad3X,Cl1` ؍ mA f\0Jvb}LF^0b b(tĀC_ oj4]sƳqFN!Ffo{yp4c q: C|'׶v,&R-J/ʚڔ_ӊn&䪿J92d7_zGIΔG7Ѐ?Nz- cÈPi^|ӃU~fVù4>B&_-j1vN lepsC ǚgYZ0a873baaf1ddec0c839a440ec3104d92761a8ab3 7b4015c4242dfc15d6e866e03a6bc8dbdf2cf6e7 dbbef11a8f2df92cac2d86aaf7e461937091853c e65a3fa785f1e1ffe6f97afa01c52760bdf512f26a0ed784f26b5ebad2e9665f172ab4f05843033c a5a6641747e9474d03d52614c2d0fff98c0bb585 c5b948318c357b1a3c9beba6f364f6ef7c3a9ae9 cda35e7d84b1ba5d49a4216d116922b94f51bef2 d6c22b4a7ecb589ae22944fe381903b12b472f79 57eb38dacd310e275038f0ddcf5a96beeb7af9ee 1 HOL-Probability-ex