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 //N1 ||l ]S HOL-Probability-ex:threads=6elapsed=29.290cpu=49.912gc=1.496factor=1.707zXZִF! \]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E۠ѫ'l4Z2Ʊ*F:qQE-,h_vg)XD񭞞suɄDJQ:QHnOdi6>DƄ aJkȩӔߠ:JR~O'DH.|80~0@/>4lވw(V.&]534ic(:9f@U 4[Fxz>Н8 *0ҫ<r0F E2 D[EưR}Wlf5L,M}kA KEcX"woe[h%|Q6ХL7i gYZ7zXZִF! .]ŗXi%@^(g҄@]AlT^K[م8$nsN˽&eD;:/a(k^$4 ¢~?zi/g lg`6:1hԎ$ Fe4r.S'S|C5,#%JD U`9{<[[34wxDѠ<7YՑ;6HT#SYn+ ~Jo 2LVKM-B60 sm Y oQ,i @3W0\DrSvY ncDtH)YfDn;ml$c:NtdO (χ@4.4ro|61VL ! <ƄN<#:NBepͱ*?  - Ÿ֙ hVf^hD9J^y)V QJ.QzQh.5 $!YFRPe/qQq!ڴ$[ GI-[xfU?W`X6ʫE:GIArCdJ xv+ G,kv.A7 =(44\31FP%Y]EJaa댛ꭥ4Nkg,*4,*qږ[ ʞ~,lQ;_#sb\oҴmĄ] P-JTjV<5znȯ#4,D%j^u}PJ%dljc,3yz=5jKψ9W{yA JV~gL<>T#(@ ]Ʃ[яմ*L|)+c.eOs}f&/Q4E>g'NDJY1o^,&rfGrgU6_YK 8Ì]ql_eu?]p00[Pk$>T 0c$2ȳs Ž?,6l!TE3ViJzUZJvBPVTc.44QQ@]Eבb:̳Z/'&(y Hyht2=gsZ3+RKZHM(zf Ɲ "gYZ2c5b635ac2888e528580268ef9e186a436a5f212c081b7c87e33948fdadd9c3bd5597db60c0da0f6 bd68f8fe00ee6f2978331c683c01f1c20c25fb75 76d40d9cdb9709a0de520a0e2a75981a26baa696 c4238d0bae3377b95aae68e2dc5d7165b9383026 1 HOL-Probability-ex