SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 GG61 ||< ]S HOL-Probability-ex:threads=6elapsed=27.697cpu=47.460gc=1.472factor=1.717zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E]|2T6P<Ї[{UcWcց>&󓵪ɾE2e< 46S9лwRqN]?D>1.Q϶M>Gv8CI!ant'kg.^3_C&_zfa[g_v~-;#i IhwD]#&ҟ! + #Ȉ"ȗg}.T?_ Ql#v[ Lsa$՗ZR䆶w]yVhTQ]^T##"܁~UI4⦾ ?.nіhIJ`׏9dk|NY;_쐤X5# ?OMH pNNf\8 {6TeY_WBc|߈?[p:ua`<xXV>j69_ތ&i gYZ7zXZִF! v]ŗXi%> gpjL Yb,9@䋵=UZ X<v3m:Dz>Mua|iAiO<&~=_a]Y>@.LE11wVsX`j{%F<&d'8j|d&ѴpS)rZi'6>0S6a)h*AYUNH!dL(VKw;X8{SB)2~8u*$zsJz2!kZkjhE&v. G䓍gZeն`[Tu@!bU}Sb涅'ZB4^qO=L*X?RYm2x{=2މӒcq7C'6l^?3ת>nF7!z4j!b8lT7 ^;GFޤniuQ"p X 9^?T̷r Y(D7?,-69N*Y7`vH$걌7fݷ00 [(O aVD/;I5o w81"x1#6nCfay/>l1SjN]pRbR9ZY>ͭ /Na6i4MIؕ,0[vUپo q2p4"{ +%jxr6n1>KoqdSuݧ+puP_jLI5]c Q0Gy7٢I O O.7"d.|qqi4v }ºd_C-ĝÏ.OcQ{^+@|B̌"}_!Ի\ _ֺ&Y'6OY+S⋤Տcn 5h|P7 gdi_ǧd1"DaYp@fei8&PG?lm~Ģ1NE},ag$Y =zT/,!Pafr%N:YXJ]%& M Xd/9 EgYZ5ce0f03b2afa5457bf8e6b4f45de0fbe242be97b91654f4d47736227ca5d0c587bac104f80bcf18b cefe1a1c8d8ccb79dbee55a881d829917092bf29 aa38cd33d7432dd80e901486092a9d7bfca630f1 f366c882d70ece578ba30ac1d6675ab953063325 1 HOL-Probability-ex