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 ##Z1 d ]S HOL-Probability-ex:threads=6elapsed=28.244cpu=47.860gc=1.576factor=1.697zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EۏEf` 25YD$u2(F1+o!bQpywn \;g!wb^w8cO[9Bz3jҾD0[=B7JQ=X )l?Z(pE 8k)tKsGqi H^ME vDs{R\u N(\FH|P(I;nq9G:&n, 0 HkJi`#XX܏f@!%341I؟e(,ښ Y_wl.K{VLgYZ7zXZִF! D]ŗXi%>j:Hҟ1e eilZf>,5SmB}jq@gѮU]i@!Y ;뉄+7yQc | baL5·tlrG "/>+ {kmY<'U_].\)P9:/MT hRDR%dC'r42f[ػYS7:T?Ɔi#%8ʚ{9V O%@89VŮ C9 ~:!QDWb%]֚F`'z9|V>9 -Q?24* Ca&n6߬drdVS`od+XY,w Eֺ?znW.곁(4k0qUE)VOm~8OiJiI7e?z*Xzf KU9LU8Jz*ki,:x8/̀<v%A*jM_߻ӿklg{ύJWEn1tF -V5>x(]_VKRxSJLbJ ~/D)KwqB09,6 081o?tQg]'ʙ NLhO^;As]fb769V#`Q=ֈR͠\Svw74zBjj(L,SϱE>RzAeNV?h* ck(qSӳR xU;Tw֫j G{sM0>l϶v.7cK42[pkn]8T*:kG4-?cwEfuNsMM@C+%Ȇy•e{k[f-.O}}ʃv>࣫M2%WE*hV-Y?]E!E73b,d?ly68@SUՄH6 |qz8 PZ#LsZ>qbˀBX(,YЄ#*xE F;.( |7dw(.\8wnK:i]ҳ) 9>K3\@tl rqX!\OC.z,KdCSf !,WJ^?U`eU<H*96]Dl̓x$(gM& Q'R}\GY\Xn0gC%0 mNh)tz#=e4֢N׾Q q9NI<ZH%"ӷCxZ<(]sY\`pswaC-z>[$|o *7zA~#3}kٽ)Ϫ&+^՜ҮCk󫠾{"eGD,Cb9ڭDքcj|ʒ+F{o34qCY8G8J{q<-c]ؤq$GTOHp d͕x(y>ƹxU-t œAXgYZ3c5e531a40e5e32b95ca941350600732d3d5f279fa95ed0464f30ce78a23f18378a450505aac44e2 33766297751265f96298d96dfa2ce2f96fd564b0 4a558029eb980c2f7ab12d25c559f9c12f74b7a5 a50b2623f7b15c49483d30a0cb24d0a25c143eda 1 HOL-Probability-ex