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 TT ]S HOL-Probability-ex:threads=6elapsed=33.830cpu=54.232gc=1.280factor=1.607zXZִF! #]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@En[3N(B-`TbP";v }T3%Dղ#*Jc,6VS -!\rIgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >Ds5rĀ. BM-G̦ *|_;7á̻]UҊ, uth]|W6קcH׌@ -=`6#PXoppK0ރy⚨^u SZ)d+XpgYZ7zXZִF! ]ŗXi%9#K۞M*KVSl e|lJ **́D,g%U͍ Mt<*!(g+%ݔϣ}Qi*J,Fd੭Q䋆׊ǤA)+f`[c[&!]뫍CB?N!P@HˮaS1n#.} $I$Yb ͉I8i]$E;7O%TCy]c)VvM-\8)o(dcOݲjJ(DL}Va[U 0,qjQyefZ伊T/ަb8 -(fxN8.Hm< E[=E3KėMT9mXw/AXLMad1KA?<  tdTEr[A[=;.櫮?>F1ME(<1d8aE[WB1xo)A[A@v,ne :K۞i )ɾ [>rBea Q8+kj#PW=Hf!sy{zMAIkWV݌~i'MX$i>8@V, OEJ[`g9Q1%3l,*x[g4BCСNO(ɵ,j |H sI8wɸbN+~@`Z!#USHh4ˊyڣHum4mBdn[Bk2,qß PCg`al+!ŰOpjZ\uu'D:EO?x,: N"r/<CjVOA^8S DȪœZ岙v3`0AmA5K*G3Χ5s n,ٲȏ;(˴t~*)D7i8Lc P1{-w%-LcE}d 2,+ c*|(HFyRqfo]B"}nGYzX~43\6pB1e֨N{b9t?Cƃtl/2Z\8J_`mBwv'L8)uR8 >nDd*B-G%Xu=1ʰ9f߾V:@;Wƹ˩2LeEvא bR'N`bLu/rhoϬ$+3S)fA'LJ Ѱ?78>B _gYZ420837ce1fddabf2f9eefd60fd019710cc7bf3468e59201648d7aa8ce728c4e17f1d57ee228b2810 f7012f5768972a97f450bfd6400e324efa13b311 63016397db74ee127844634e837a688823ccc7b2 8835a6f0a7975c9be87feb8300e5b786f6aa3a2e 1 HOL-Probability-ex