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 DD91 |, ]S HOL-Probability-ex:threads=6elapsed=7.345cpu=23.868gc=0.856factor=3.257zXZִF! I]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-åqh~F&#aP zdC8iOjűfiM*B1%Mla d Vѷ"Y2S#ĕBz.E@h$ i)u[9O ䷩/q pry[Ά UQ gԠU (zT!̠K*P8=8oE2qQGxtU+Ofrym `{5zE)[ H=B uڥ"/ÙI2`XFxp2ώb\b rwšҾ =fcT3& tT{Q.?o(TGCOpq&ish^a8^:C1C]M<ћ^{-3}bs{GCVձgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >KV z3Is]b)%\8N)ƫ!Br5L>oCC$1vg. l](Bz,oOf'gyF.E*0[?%i gYZ7zXZִF! , ]ŗXi%J {$Mѓx ,\\kT&Z?d֓:oNp$gH+]"N|/hidPA#w_tVw#H8^ٷ!Įls>|?=7F;X]9Еh{1 ,\>~J*v  /k;OiL|b[k3`I(pT GnmXoJqp2XiK1NA)BqԶ=7\R!1ffs4ĨvY܌[ƱgYZ625fae53184cea7e6968c2ab3f3cf66d5390402ba8d2b2957cf6386ef71e6190a6c8f3ffdbb41229 d359bf5ca56e584aaaec05c2cf0421ec40e1dcd0 9c4aca5eaaa6e549d8478129fbe96258f458953f c9d2dbfcdbd8da8e98274ae898d57486b1f1b6fa 1 HOL-Probability-ex