SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ,< Sw HOL-Probability-ex:threads=6elapsed=26.952cpu=47.000gc=1.272factor=1.747zXZִF! L ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1Kfn䮗9 \/om|a.?`~n;UB'R8Fn2*BIKL,H*o*5;7}|q(Ze\jqA|2϶ϲ鉸U8\򦡙wE\2"Q1BQ,8!4Il܍*o3)'\f%9zc?>!{4 X"*6ik Lg4?09PRɅZ]$6N@Aòܚa6MT'^a雰nz؜=Rge>d#oX)>Ե}BCMpooi1J{T' G'I?C9lJNl:,\gd\I BgYZ7zXZִF! ]ŗXi%6#Cu"0mIaǛ'2(޶-!$5,8}+NdD[ C\եpF5YA TT+a{!<_5ƌ<ԋӦPҝLcS.&f#~KEOQ5D#N͗/ekl/%ӎer?{| ZǮ+ ҧ28\9%> H@x >A6e0ZG,& k%ĀKL1K6a/8Өnrkb dWt60|FE* 93-TAA/J/jץ5i) [+0/d_er[ q]Qc8uӘ_"8Ӯ W5޲i!ʱleו__Z xlqw|(Lu߃.Wț4w 0pO_uh۔kNbBQi7*k}}lE ǣݺP? $߳@ R^JnU2l2DՉcb pdž<-w%-O*&]Zv?3"`h@(,q=i2!GHUV?eoq w{zGDo Oi(['4) w;*V8¾ o|;';fֆ aZ, yH'ר1f¦${̴di>C Ӌ(B|?! .Ɗ}6wkX3.{%|Q7R-R( 3ɽ;φR~e<\j DF#gݏ7MoD;3IzF)$rNoCP(NK`~Svض`^% .nDz"h:6z-hzx;|Ab „(ٺJ6c>\nz~gV(]^ϫ,lZ;? e۱jލQT.qm>׽&kP1߆ vmbea,Gcg < ).]}B̛Ls#۟䍥\6NJW]nW?+DWe}千f>t&f*4wnEKW~6osn V&~%ߚ4aD D.ı*Z> GF,~@w*ĬG7,n,vfP^oP iu}am;foĠa]Gk̫*'J;:QEbGpx>ᐾ0ȗ7B0x$SW? LJgYZ0a873baaf1ddec0c839a440ec3104d92761a8ab3 7b4015c4242dfc15d6e866e03a6bc8dbdf2cf6e7 dbbef11a8f2df92cac2d86aaf7e461937091853c e65a3fa785f1e1ffe6f97afa01c52760bdf512f27407bc5e422d8a419d0b388063e4c67f943c36ff 2953192c9b84ec69949efc0b47b4467e087e5b06 238bc295d892ecd6acd00b8405a302c69f482fc4 db0744869ba666865b0656c326c10747574494af 7659eceae2b3087b33a7fe2f1dec32f7949e0692 d70861c16b65055605c0c8f4f597d0e035d23933 1 HOL-Probability-ex