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 {{1 ||T ]S HOL-Probability-ex:threads=6elapsed=27.563cpu=45.044gc=1.464factor=1.637zXZִF! i]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E?Z1hA%P|kY[GBOuesYJ֥y2#^ K] :wM)N+dgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >軩:Dp 򴵧#&xH U ƧOC:N$*=g`šGYڶҷ@|V? W.a%9mcICdNj-P]OEY\4i gYZ7zXZִF! #]ŗXi%;J 6 ʵ&jlɝL[Mj߾?S&P砃q"!ˆ;AK-چTQxƂG܃.zNW&-~Kv6s t;RD\oc,[HRPC!اm% ! f!a l}es\ |~yrGgObs 2h3/&2 U}'0K$RB6?w$e 6 `ohocFn*ه2Ylq,\画z^J5)Hx1?RCM>\mTp_q( c.-A W-76|ݼABjMnn-'lˤx|n#¸q9K+w+A0M3Y%'an*1=OC " A/(1#Ã/槬e^#:̖sL.WMjM5e)f5PM0FE] ]P?1 Ct2l4Mzx5';v&kFfo p]Ȭ4CnyE Ώl躑v1oH]x\I_݈ܲbWm#s0 ~u=CHkFbICWݬi:@TɬfO}!8|^ T1?H/)zt0c7Sρ?L,4+Dd[To€`=SY[8;}ҖbҨy({Ah6t$`45/͟WEl"/M B/h' oW8 Rs8`Hn8h]k02|ƉzY-gitSbq4ɽ2Slw70 hpc|FۦaFd{8>&-!"]!Gu4Z4a#)c|'=c@F+=nvnZsi/s)\ų0!Y> -|fh񞧴<Њ۰a?X2?@Xra̽&'[;"" ǶM,tO+ūj2V nxdIZ:Lr!ّ N}GI.j$P5]~-qjߟ%sYI5,9d3BMx0jUo{ o{Sffll3}R$(ei@&6"}y'f*>C1wXp * 4vHTPsPm樠m4_  gYZ47c7abb07b4da97888ae677d9de0bf7c83f49c0a4842c8e44f35b38e84e7496d28f4c0448c77e9a2 424fbbb4dc49c5f9da5fd81c78ab3b2f35a10efb 9c745afcd990cc1adfd46d4b83df1d65b9be4495 6af67a52f4403d7d63dd67d0454e1ece986c92fc 1 HOL-Probability-ex