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  Sw HOL-Probability-ex:threads=6elapsed=26.392cpu=46.816gc=1.180factor=1.777zXZִF! ]ŗXf1-q恈wX822*,״ {2I[R :28BmolU!"H~JÓz4b`ſ!wJ# 0q@ M~!ԣq)$ ] ſC\ݹ$b6j#Qۼ`n"t}r"R&?? X߯7|~u-AO,/_zɳ`+,/cHUx=4aw~"l?~]1tc6*CAprVYbUryGfM,p jq΋(^SoyŊݪ(Ŵ1'ѰZau碐BL.'"8e8*-h 1Ɯ-_-L! /t_>YA'4uHOy4T8 ̓V"BաΠxX< {۱q'lq.ZUuzGkɑ5o `I/_2@%`׿}{, z&>?AFԌfa1{ouʮ_&9t9UFfdӱFKu ]=knٶOq-CM:rʠx[VԜW h /?mbxWYvo%CKn) Ow2$EIK#2@Vv&HΡhS7hXj OhtRm C- :.xik5>Q+뒺]5OH, iƋAwY+JONMl5-bd=U5ԕ/RJ&amb NfFmBN 7g)*IӁ-O'֦nX/2 5q r*?&w3\iw̪B=+n-)72V.i V4Ď|YzBz*p5fx=qoG.8JM(`k='0{B A NL$}d(xyC|++ L/[ MNK ,M+}Dx3!1:D |r̳ 7FOy eiofVo l!I!ljOOWReҽ V4Y` ޵gYZ0a873baaf1ddec0c839a440ec3104d92761a8ab3 7b4015c4242dfc15d6e866e03a6bc8dbdf2cf6e7 dbbef11a8f2df92cac2d86aaf7e461937091853c e65a3fa785f1e1ffe6f97afa01c52760bdf512f2b1684f193b1204941db7e33c4fd7a8cbb739e7ea 75cd3bd2f18570d903959c7fa605dab93056a383 bb662d998ac279236eb5579a0c61a505a3eafd5d b309d0b0e23dc478b55ddc97af70260077d75209 86a9855bb2c352bd8a0d4ee456cf2139b1fc39ae b26c5ba6d406324f87df4baf301a71fcc2ff9bd8 1 HOL-Probability-ex