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 |4 ]S HOL-Probability-ex:threads=6elapsed=27.886cpu=47.856gc=1.460factor=1.727zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EۏEd*Qg"4rOGle bO:W}]3V|חS,t \]pX{0:QFX&8`s/VGCӼOJZlETH+yvbOT7l1` ~pjQAUT_=?{Vxzg+n^-0\hISR&$̣% ,8iհ/푧ÑM?|RM6}QouvljΣLRz?(b Šϊ 5mcW훝&t=}s id<N-޷J!>ANV<剻ostƩ%EHa\/D2$ZL'z"[ސwV1n-3gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >n|;mԊ%qt# BA-or*ʠ E3.4M3Ԡ9  *b#+qR~_& ~YH3iIx1ڲCљ0y.fYgYZ7zXZִF! |]ŗXi%>I!wO9$Q8+8tCԧtkn<,"Tm@r @=?H7C{ _}w =Zk@Y1W(xJm.KY./[^+|gSR W). J*p-(L^IXKU[5N!heԫ{$y e@^ L:>5QfhwS)VA큂&h8sJyPvbXjBo ?aʼ3.Br(vb*hJ{k?`fBIp*MJő%Yo</g/çkK5Nu~L>hx`kYQĈ evSz/ ̰NNnuwч+nL}n8k !-=Å%GIbZfRl-?<}8-G8R޿$|JcKvk =nPΏ+oB 5ެW= ?b4yt ~#cy5=,h(5uӒMIK"W[ \J~+i7{pž8{A`iu8$"¼|eځ 'G ryN-pwo){ZJht27od=caO̐+XI9AB.}RvWk:L2áC KwbDhO1r}x cvVd{iՔ{A1hs3@ص:c7tmA$5:, &l k?. >ڥs(A 0"gYZd6f8b28709a9dace510fd484384722437cc5b128357b42ac3beabedec26b51d2656ba583cf1eab4b 15d85692b7f1786c47e0baf09991f065726d2b19 cd6291b928ba4d4e1fae410c74f6fa7c2cc3c6ef e11a862ef4c919bd70ba2cbe95b687eee318d800 1 HOL-Probability-ex