SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 d\ ]S HOL-Probability-ex:threads=6elapsed=27.877cpu=46.376gc=1.488factor=1.667zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EnHh]Yeҵf285/weck%Za`8*_ҘPoAm1,a8c$,| c Yvגq9ͩѯ4b]5;0[ h,Pl?+.^WsD8;fŦttV[t?̌+hjsJ~u?8ik+YO-Ŋ3WiXǛw+馞Y -j^+a|lWxlI⹀ lQe.OѴN˙Bm`Au t}l ԃGjWtnCkb4:3A:.r7cHܚc! HP$h=2# 5΅q$l徱gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >J˾EaiKJ{`67O7S+c Q`zA3Ls*P:yʳNZ/):2TN@D:S\XTaKSo_K~bo~݂A?5*AQdl1xa뭆]ƨ 7$e ? Q?;z΍|rs@sBHdsk5~|[PגOX{JKk|!8!3Xݹ>mveA !cqO1f-9z[9ug 4Qۑ&)>X<!n4b'hk]_CF⯲"I|-D5i~Ǜ}BNՏj%bw Kn$ͿPѣއl[= 6F?3jz]u_f(Λ?Ŋ#٥1 0_2M(nNRhD@'ifmUt+I~xH<1ޗFjմn yRClE~題/$8=HA{ ~v7;T6Cۙ5'obcpĴ3PcraY,9DP:Ÿ 62 r'Fbɒ(?Ypw ngYZd0b492a03d22422c42b6a4357e848b4cce4979d12b741fa2ed8a0e813cd5871c2da862936da19705 9f48442a01b557873bc8bbe04241e035c7b55e33 2b157bfc2e8cd5e7f15866d3ec2844e07bd87673 c61aa9bfaddf46f785ce3ef168cca53a0a11c16c 1 HOL-Probability-ex