SQLite format 3@ .0:  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 u1 lD ]S HOL-Probability-ex:threads=6elapsed=6.922cpu=20.256gc=0.956factor=2.937zXZִF! p]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-SMgfZ4ȇrCU[̵ykj- RuTyKo B7FYںkQ\y[6:zHFXgĔ? ~QП[ŝŸM:օmM3]Aߊ˅H'hqodZ!Sɫ |TѸS-xIi"=i-Aղ34/E+{k62C<e /]@ ?R+†zCI5m'KqirM]]d6!_Y9 I2E:+LDK7FȘefG~Bte!"D:;o\n56sVdloPUoA*+]yOKS .+@F.нDigYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >x.?7zT|Q:G$KKz|2^BOѷ'_Y\-A+$9rP{ZrN"P#|[2-瑠W4Z`֝)Z@/K,vCȴ/J չDDŽGOL0Paт-` >EX׿n֝"+ᇋ⻷9%svTR s#ZJ%oמּbI\[aQ'XoR .q$X6q &?@'n.?j#~<߁mL [v>i?g!T0jơ_J)v>A R~u6RrPb[VbaE,ы5x`+,p.8gqi&٠QEaM.0˪z12cm^b6+7=-H sz8!zd]TK~&P_.E4/k 4(Oz'A5SI}3֘-c2aVw.[-Qcx K g-##gqx\oeN?!XYWjV (sm(xC Z|9F:eߗC, w[-]&+an#2&ӭ0V%06iT#AӴaLTXsQ;K^ь57n@SO69gYZ618e0fbe871cf5ba4c612ad5548f30ca82b0a12278a3df3deb9d45514fea086c8beb2a7c1a1ba790 049b979b2a06b0d5c1c847e5ecbd9c6d211697f3 8ce0fdf031af6ad6ca99a632d514aa312ea32ac5 5ad7686a80cae6d4cef000acb24cfc96e1fca158 1 HOL-Probability-ex