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 ^1 lt Sw HOL-Probability-ex:threads=6elapsed=26.964cpu=46.552gc=1.232factor=1.737zXZִF!  ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1K ,`ݭS_W[v*k .؞•=y@y1jmn:}ybtTI,>zclqSKjyTD%JY3q*bF~SER {sz' 4o/m߽\ TV\#0%[ .pr!Q=Rk&tlq|5Bz[SYNzWW tE]"j~#Go^f#JN BDĚ:dab,FJLy^0.E#KSL?L3|xӍqѵiYvϛv:ٚ@dwN]k ʙ*ҁ!`IDqf73 gC2q1؎V`Ɩ>Crۥ\xlcptxå<%x.a4#ZVTA&d*V/VrN#enP3!h`N5~ Gx(Z$bƬ_L(-qqL>svf*PX\P[ ?p`n|yT 2SpUwZ;-a~:N*Φ%~0B;ޓ_d0H5Rb3ǣxcod՜.?{ XYR(t*6d C #v{. AĀ͢ Nx4v.p֙W̢JQa},q,`J 6,}AV]!mRW-!bk!-{gޅL.\WQ0 C~<5Erϯw`TwSEh,0ąv!n^w'H[[j9VAiV p"-d)I|fO s ä\ע*;9ktǟ]ͮU$*{aظ3DxVhii(aosU`gzMx{`y@ Y-#d4}L{?4p5Y(Z8@=;Y2 ݙgӮsxn? /,gYZ0a873baaf1ddec0c839a440ec3104d92761a8ab3 7b4015c4242dfc15d6e866e03a6bc8dbdf2cf6e7 dbbef11a8f2df92cac2d86aaf7e461937091853c e65a3fa785f1e1ffe6f97afa01c52760bdf512f28f98d941c64156fd2d9e6152d3e4f12596b9f2b9 5796b6f0260c25fc982b633ea7ba1678730cf514 28f3ae5198caaa750d6dbf1cbdedbf9f18f9124e 74b4bc46260d8ba28d0286df19faa0b796c955b1 1aea0e17df96d4af783f57ecd9bc16c62511e3bc 1438b4e31299a267a84ae4cb60c2745086afb865 1 HOL-Probability-ex