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 $$Y1 ,L ]S HOL-Probability-ex:threads=6elapsed=7.590cpu=24.612gc=1.088factor=3.247zXZִF!  ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-&Ƙ )4 ytַo8^C!ChI yӷл';I!Tv4&upEP-bw$)[D#dn"n Fb,^ZC#jg;#*5PJ.DO(lP7aQqQ\g?,ho'?FA<2oS~zZ%aW ?;x]R]jP ]$9Dg`fqzNZ6XvW=ZgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >LDfn-S_-7A9AنM+rm^{ i9EūЫv rTCR9UpiS p]SSX/ 2JԊD&vݮRҖmoG{VLgYZ7zXZִF! ,]ŗXi%JϳhITnwӶ1!nYM<}nM=댧=[)B }Og5Xar(t?V!͜?|p+7hmx 4:Pwt>De>+Gd{|{U1`jEUOU|nYHK|q`[ۥYH򼻎]t}?e-a h.P1@b2`U78 ҭ$#E+>4thXx/)T"OFp\"u1{ g2?+2C hN㼉kPߔ<}3Ҷ~@0L2Kbw لOe8?3` XKæʜzsXvՠ`Y$~= @-]}2e>H)7/ ީ9@!mi99v*헿,}mA+f1J6N_{WcP^-ȕ dSاcաH?*!jʉ$v#%!{n G*Z{8 VYSDqzTNv9:Wmֻ;5$؄cc&W\FBShnfvH/3z`aa hi}`i<]FR_K aƊA]N~^2>bc m;%xviS!GfxX(HSN@9jY%< ykfʅ0q}A@+ܽTP It;`)3#V˃/8m6\E#_ũ9+YPt}u$CCvBwVqc⺓t<"; YL/EgYZb2e2242c0fc34440e8989e2c2888f0375793c7a5e8eb12ec958edf5a5d2cbf15395a8cea53977f53 d1f8b402b68bdff9c63c026506ecef83f5f68c00 db5ae5c592e67009b13e862cb0ba621337695ca7 ad6b63f0b72ec138be4fcf96ddc838b8451284aa 1 HOL-Probability-ex