SQLite format 3@ . BBh77otableisabelle_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 KK21  ]S HOL-Probability-ex:threads=6elapsed=27.645cpu=45.360gc=1.208factor=1.647zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EnHhfgX@ k3~eV0 I? :{4ʮ(jDաNF|˽nĻ&""*xQW Rߨ@q13btlbphgGfP^ [ |e mzSY5 [+Hzuc a1kZ1&$UT(X_AD--xpؠ1Hz'8{VLgYZ7zXZִF! ]ŗXi%9%ضT ?˗"l ;Cj6?AwuDu$a4+Y 7oq:2C {YVW1YB- A )3?Ɛ]I;|5|tPcNs>5nw"k$So_m,ywai/vgdFƚNwoa_in9mc(e4(6 7*M#[Q#f[U` Ȓ]B=7[3A'Lxr!_@"DJ0bY -*bœ J`#2="tÙƢ9(Vd%\' 0#zN:0 ȞW BlXܠͽ, ۨj[3+&уĂPt¡Wc:NJombOj[/8(_QʦUF,[9KSɍJ- :l@BX&+[_A@Xݒ 8*ýy19  eHrbk3XVS1;i~[܇jӑqU7 98j+#_$3i25$$/ z|U$0Ƅ-r)<ĬmxEm2܏y&l(J /Ay|'':>.3FyʜU_\۲67!5r*xh}mL7ZT - ۓ5ǰ,ZSQ ޼`G΄5Ycu&ω7DBFh=fљ4|T͊}rr./-4ZDY;lNb*qj[8Oo>]m(Mo$/2I= q>$h)'S(̚?LEqGЧPW'q?"i^cE hƱgYZe1c8b276e89eacf169118edcbb736424f55732d294f51dd4e7676acedffe74ec8d2e2647f4dbdd0c 2feb435dc45c22ba19ecfa070808cd954dbee802 a609cafcf6358b9a9214ff4e94427b06864c9356 8f3ec077f98006648dde469595f5743481afc5b6 1 HOL-Probability-ex