SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 a1 D|L ]S HOL-Probability-ex:threads=6elapsed=7.529cpu=24.260gc=1.016factor=3.227zXZִF! 2]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-GrI\7: FA0.)y\ldPsTڢ1s:jU/_Ht#l _ :n&0(dbd|P%+Y :@f Ir8k^7ن1)T8f0cބzl½TQ>eyں{Y0w󏥳q*OQ9TIIj_`?F$aF7}m PgM/ Yi >pdv@ yhNM-Du%eLI(}LBoȭLƑ_NښKba(wő T?I&%="-ϞSJʕJGIۥaO1vpcAAGp h¹U ͿNCF'Ok@ݱ DgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >K`M[ FSN ȂL9N DJ¥JuN@ ;ohˆ%[~SzYigˇC` pW^WrZ%$/V}#=ݜ31Q.ē7139=]9ti gYZ7zXZִF! ,]ŗXi%J]D/ZKD󽢴<6B/iUT-cs|^؁D`Y5b x6Gl[]z)t!>~Tb-\@JgXR۵$v$I*l-c4 4ئEE":>ᩎBƺbOPPjPN0Q`ˈMCeHy֤9fAUYIzl'8ԭ[9'R] _8qΩYԂ)λc rk*n`\iěk1Uvi$^ !FQ7vɕVF:x Me U2ZUc)Afy)<ăavLc,Ϗ'Bf jGa;5hg;܈9?z8IbI*)%?|Q0j9!;Ь/,L @6wGGjpkߟDR\z">%չva'?k%#'Ȱs謼D$W"rOuKy 2`)iJA>cn<))35|r@Ca!r`C׫=\\83\OX~)Y6J^;lv> 3=kϗ 5ru7SEݖcCr:j#n/MT Z6= ($t`euH"]Ya.wE|{iB,:mWP$[2o;XTQ*ZJ 9ҵ>{r-nfNs*jO-̿+т!!ra?KvA 16|g+{*R)6{IE?UaDX&`c NzV2lIAɮcv()]-ўrE#7pC~s"jKYg[:X4bDe)ʗя,hjWӗYgtbvYL/EgYZ322de307ec83f7f1a81bada6dddfd4fa028e85d9a69e01c96a12bd53668892d3b016657d478dd6de 3c734878b591af1befe4e6e92cfa619b5f2484ec 2ce451959700a31a0834f7d306c8c903e714bdc9 82faf991a683cadfca18c67db0cf4b16a9cf0814 1 HOL-Probability-ex