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 44I1 <|$ ]S HOL-Probability-ex:threads=6elapsed=7.525cpu=24.304gc=1.060factor=3.237zXZִF! 0]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-(嶡yւ~ +U˶&3% 7gMd &QZe۩L3,qV=Pbhmȋ'6"^Q0=1*|נzF%.TRgB̖Cl9==x@2/O =OH8fU`%jc0`kdq(6PK8MNJ}@#Lkڌ #{z(S9vne)Ί㍀ ̊-Ki'`ɒL=ͣU 6?z.`U(k/|=Q%#܄Ϊk{~TRYkMY-9e>|K02;d]A"Vj6u{b٭4fo8Ը-3ـ <^4 $sȅ:5'FډIo zgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >: XoHR7P`#{jb5h_`j)4iTURl>?"eR@v c$޺;]¾gu; 8=?i@b7ή9F#a9O$Ni gYZ7zXZִF! , ]ŗXi%GRKb)b3H1Azzs)@o: W ]eFM!Pӭ bޒ4ݤ v^М.@´F\m)PF;1Cz Ys˾Bʔfr=:9;J on4 otƓW<6{PPV;[4 @CcAZ7AXr"#yܭFgs~U Kabu jd Bs+$T}@(c @8Siv9 n4'3WpӍgJsdT“^KR.(*Rհvר{}OD d=>/y8’ɏύtPó'/Ҽ:AR/rԂz@$芁ߝ]:RvCC$$] `xڝ..b;ΏrFbyܥ|ѐ١bJT&_YuL5gYZ3a5edfbd0cfaa32b2c3ed1f52346c3730773bd364a94cf884247418bea313a9db35e86db2b51269e 14acf31a4772521a6ac0f6c0b1425c28333b3578 589bdc532d94f13dad147e23d0649ca66a6acfb4 dcdff6031fddd9ed363384adc6a795b2c7b799b6 1 HOL-Probability-ex