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 41 $T ]w HOL-Probability-ex:threads=6elapsed=30.485cpu=48.132gc=1.388factor=1.587zXZִF! f]ŗXf1-q恈wX82Γf^en_s9@maHԇ xX e \nS S5b,hܮ V'gP"J)-pFMw^K+.~1?Lbo+^ϹDϱYsa]zx2}K.^;9*kʹ8VͶgh[P:n#E"gF ׋NG>f=dܰqݮ,G!)Or\j7)^j疖$vg)T]ܱSRbM2#enEp1 '&:e2z[y:]  \wDd"M|B"o=ecY02h W1w"F-aW,Pd#6SHTڭձgYZ7zXZִF! ]ŗXiɟ11?E'TSݚ_!}M >5`G0#H ? i= 3 &PC4ξ]d3 AfG2Y+T!O]%qՖiꁵ`]K|.nZgYZ7zXZִF! ]ŗXi%6SrPR}L =Sx4-R6w2#P 0\TQ!%n|h% ~v2=c>RqIWyѦFDe>O>/(qLJHEu->Ij{GJϸ-6q ,,{D}94uVWdwP.NsXReg'Wg2Bûu0O gjTyCz,4/zTIYOr <^"X_J=3TEL1v::<jů)WJ&! Xk'Xj__Ÿ%jǞUwŖM|w{祚0"zz?@IXL ϻ@Cm8AZm6؈6FddAY(*O')'J@>{A<$Џzxdxm?zU+ :`?l `e ZH\Dѯz"h$*? #r.&9,]u\U(nV-? ^OW+N|GsPX寍}G'm ̤8<gGF\z꘎m4@,gzuUbtŠ$*au^gzMbA* *D"bܥ]$yq#?a8ߡHzYև G nY@DJs<:c;Mt&C: AqGŴ\Um~82wRwrca#MwY8"YNxL y+X%;iTGK!/GѥDzKG䳥ɕnO7EIQ>-ۂq|pSAiRyC|yl5MN]f߱ xM`tDH.}v>;KBq>rl`W51u3vqnqM=QsmeQ JcE^QP(⫓Z'SFpLz_K5ݛ11 0Ktp<;Z<$8@F9\[-ʍ}Ri O J=jPf牉A 1~eVH)>ɠE=?l AJY[A~|dӏ2yt'GO$ Ɠx]ܚ4_3/j捑*P; 04u? C