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 00M1 4, ]S HOL-Probability-ex:threads=6elapsed=6.850cpu=23.260gc=0.996factor=3.407zXZִF! .]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-}w"==4I>1YBXc0ARR ~|!϶M.`˴ k۹rtސzYVEN^]yֶpkbYhcKwS l+}_3Mi-v1:Zopp;δa]uF[NB[/yҪ5ҡLf mR֣'^#1A@'GK4 KaaTzEzVL.q[Ո0*ŸH 0aÏ >}+Wyy"4M?Ѡ֖s=(.AmH*ި\^"%' xs<{d>Xmlm8A^֩U`˵uD0C~?mZ'(X4bH-ج͙$$ͨ Y~σ:i2y`~ ?gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >J˾Ea<猀ExMZϙf4Xk|Gjݱ*0b7TFD\v|'1l?_-A yò$q']f}}XU%Mp,2$ٴl6\6ʱgYZ7zXZִF! )]ŗXi%I6EκfBEݐ ffb-= ,!Y^)5#)Mt;J7 <|@iQ|:XC&sǫnk[ Z @U1ڠ@\myvZ֐POdD;h@W溏`}+sNƳn-O:ffPPAh(t1O`") Z0}4U9Tf҇چTME[b7Okuݿ)Q kS$cKDҼ7*qVYLͱǻ7 \C:fQP6S2K:Nn9} x+`>s"9d{K[ѨEҎ^.&Yf1@^^sYh&K| o,U}_< !,ywav"ӑOh c}9u".CtcIPw 9ap,QG+7\n<e|BhĥR!~0E[8utY0e}rN{C~'nm2Q=\ >oGBbwbH(V\!%s~{&})(mwEd+MD-Q?fJ|UO-wț-|6`:ePP;'2E]Kp{ ?7*o+A7-p?wv97LJz޺l|cJ适yb!QJ@uyvBD@33ZGAc~ `>mxcrgTRYoמrƃ;2_I_l%*"/v qYK O&G^\ĩ{Xn/BgΠ㫑j1(g:_L52BUoG4f'Y"tK բbE[I<"N7#UF4q*t< Rt]4pX$~0yKuSsgYZa1183cbdd9ad2ff1873711a26bcfdae18cf676b73771104ba54383187b82498d379f94f1ac6b03b1 67c8e514558538ef71305db58915e5c5c063f028 f96b9975ffe384415d5a94533799ef4deae60de1 f8e0f71a706f81755995271ccdeb3477fbfd8b8e 1 HOL-Probability-ex