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 n1  ]S HOL-Probability-ex:threads=6elapsed=26.754cpu=44.964gc=1.120factor=1.687zXZִF! b]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E۠ѫ'lk|'VY'?S8Ȩ5(*rr6;FXv>xl '{wӀO8hfaC{au >Љ=W@4uD͐D֭[ I+>q [kk:ʿWytϥYYiѣ@eF`,%5N Ӯٗxmv.?7ԏ{ $Ũ4Ru+*zX+e$S[3N17J=hӦgj+Ē7,|+1qS4`_m|ǡ>*g-L^AAnPE]˩]p^|,71+dSx<Ȕ (Kء37<<W 7!OQ n{X߀d kUuB5 E%j gI>ToF?U(7K83+V="j} #M#?9*:.逽~Wɉ9 0z~%|(y_y.6Ô|\2mrP)7!%@q4b.E}tS kq9фI@H/L"!WTf*o[Ww_E59Ƭ-G}zdwFD c-m;跆lFHV$1k_xrfF[{_p諯-}n, (SnYD2З\&4fZ GDtabYQAP[ȣ?^qKvV-+ ["U"i5 Et5613D: '^0.;?qܣ<.5 U .YnTPG28mA Ss7)&ƃ'»5 ߕԆWfݲ<υ dyEgYZ19a81245a3d06a4ff490d0c72f783bc16f458f5dbc0597c9f59ed66554e4cc7d1e17fb50ede497e8 14be1ab66264ed0a6d82f8a0963231fd6accee69 550a419aa1cdd3b2949d9e9cbd1b1be850503dd9 03f845adcc60ad07654529abf08a86bc6d4a06da 1 HOL-Probability-ex