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 OO.1  ]S HOL-Probability-ex:threads=6elapsed=27.366cpu=46.124gc=1.276factor=1.697zXZִF! ?]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EێҺFᅣt$nˋw+Ѵf,$Ra-;_9dKk`W ~imjzv`w DZ&G} #XͺcU0+R`#$ Y(tjGŌdֱG͢ux 9eu^YqQ[y,G2<#lM8"3HOHYĄH~ߔT"Ȼ֍ w'>˱o$FM?oihp_h@ nM3vuPOM7IE ȓ*EJQdMeFֽ0$ցݟ!HHwb}6{VLgYZ7zXZִF! Y]ŗXi%>pJ[42EyYD毙-9p֦JV5EԪA ުn{۸a:v۷44Wݺzgl$j 2U .Dc! QD^Ęf7Ĕ@SeW_j?C-j4's_U%qTnΠM-mGB5Hx݌Mnn!%IMGgU)4Y'K2R[h>:.XzCǺI4e.Q\4w=MK*2<7Óm? e.;jL)z˒&/›;mkᆪ PA12-[(GL7 &.[LnהȻ~%+WZAk,*Dyaٹ6E;}!0U\%rd OGd33U.%FIa=g4ԓg8u0hMDN~ϭX-JpPj/sn2~'OOC|Y~o Wd bwCЬQI/dVϯWGR/~(L3xU vu[{$"+@.<sb& C3pȻTy>6^8֓3mPFY*H[ nݲ۹R)/.J 'k Ŝ%\:~(*=\aLVz "l+l4of4(S]֜0 Q^0Qr+EO=Pǚ# S1=|QyҮr3>@TgJܹVVyjdȊ8q/;'b!mA=6$Cuڈo{tMISV/m>>wqv |?सxa(N}S]aLyJ)LJdgKzA9sD>@JN:-n'BD-܅YdG0ckƍT0vdV\;lOafV㩶oKJ]kMܻ?8X{;&2áޤ%CD">9xaʑΥ@z:pG!V(u]n\Cr> ݥd f^I&\Z%q1U mOߛf=N=Gk3B.F:Qmpߔß.s|cY|f ڎCgYZad10c2a6a66a2f393bf2953296184a499600904fdd3df6fd1fc63d31a2930446f6245215ba2d6c82 67f7986e25a1516c3b4689ee73dd4dab4fe8bea3 474d5fe8a0500f2d297bec2c1e4e6ec28ac2a159 8ea9514707f569a4422abdf8fc62df3dc2f5cbe6 1 HOL-Probability-ex