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 CC:1 d|\ ]S HOL-Probability-ex:threads=6elapsed=28.227cpu=47.904gc=1.332factor=1.707zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E۱flph XZK{)e{VKĪC= :9f@ C078JA(MN [ bwZΆ=9S^I"@ݴtmm]*Z:b2v[U.ĨajcSgP%An$|^Y`SevhfYgYZ7zXZִF! &]ŗXi%@^w0Ԯ y?nR!7h~1 $W _6m]@n´<_Q& ,qmCls =%BVz0# #"w`-ly ݿklQ,o.:w\ϮB,(Nfvm9MFhF7; : fF:ӌ֩"jey&|Ms-܏ċcۿ3ļ!w5ƶUHEUR"csM1`{b#MnEMK,9+-ut*å,+[Q"h`aZlwS!p=_l. \>U'ׄBV5/ݓ GGȺU|]asD.C/Z}b6 *{!?ۈǚލİtG'X}, vBzWʔ a&Ԃ3@Q~-3ȶr⋲8 )e+R2< Ck?޶JJ.3Hx$)} ,z~.N>[@; cXzr*BpN.\bMEێf۾V\t FƉ+2$nW5o@о5tN%3Pqs@=F5_rZb(ZR]˅L5}z?Q>/0[Io<,>YKk(jM@z4zMy"!#ޓ%>4t%pH qyp !O &b4FP X$G~06nAM/7%{Gg58[@=Km:'`Ŝ{R _X332yx6-QGm=_&&WTz†@L7%CUi`ա@aA؝]?v9 B$0vFxV3 M1R[߈]ݗlԔ>ұx0Z5jŝg D*>̰F<_"9ҍ_ [}|ȱA4O&DylE/(,9sل@[2fH Դ7-ء̘}J4\ &rx㹤8.Ogk:knV[g?lbҖ-[h}?n!VP6aNʃߩrH2 S7IY |B<GnfKΪy`OT!}+O9MI q$gYZ1daf1694caf5318108232cb76fc1f266f2d3d4fbdb692ddae81c9b00ee09c2ccbd0bf253d1829313 a61ae159d682d08a86748e488b5545fc9c92026d 5b0b7afa61c9b992adf6c6eb16ce217453ecc1f4 a72cfa1307186a5ff330dc297356e0d902d65868 1 HOL-Probability-ex