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 v1 | , ]S HOL-Probability-ex:threads=6elapsed=27.659cpu=47.396gc=1.372factor=1.717zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EoDGVJgg˧Q[7:jQ[(sO؋WuΌ)![8ϖͺÀZnjL|u9 %yv41k3{hJ*GNwO]>ƵLmLv)&^\=ePgYZ7zXZִF! mM]ŗXi%96è;Ӟ+.ۅྫS4~yW"F?~*R@(|͙j@LʝHI$V+/kЫK@fH%+ We++Iϗ#Cޗ(MwRQWɛ-llnxa2f1>:%"&8zčKg}NǺSȌ +}HHԤf܃浖JBE؍ -kDR㥸&`h9 b‡}=?e/XE:H_Zוd U+] BݏP ߡiPTt3_Fg} .7׈>9_ᗨTseDDoUlWw*ѾVVdIς?G:g5BQS#c| ZD)Bpޠl 9u題wpuqE~OD:A~5&CPȧ[tAIѼKXvx0o!β$ κ' srG )I }BpsW tWW .OVfڶ˛=,Y9NS`P2 19J&u ct5^]xKfV (Q) W#Ai̘ 9Mswj v0V8& 'm^ܱgYZ94258f16118a45aa5861f8d46b9f694bca100498db03750a2a02524ab90002b6aa2f3fdf73801456 44f4a4d21533e163309b3b046d80e673f2dfa115 c3eb25b7a79d4753f8f6dd7a60db4c4be6f8c94e fc352923f0c7fc958e591b8813a66fa0d93b5e35 1 HOL-Probability-ex