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 77F1 $, ]S HOL-Probability-ex:threads=6elapsed=29.024cpu=46.880gc=1.656factor=1.627zXZִF! ? ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EnfaPfօ9=t7'3ynBL R*z*< ҿ8( Î2d3_tXT`P~>5~*ےNsKP(/P7@Jdah}Xf0V o;jC3legYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >:r.?8Yqԉ?Y^Ҷ3U8~Gz*=kBʕecS ^`N5#\BCIz-=4 9|6n~yE{!:V߭ LʱgYZ7zXZִF! _]ŗXi%;mG!Si+9~BXmJo%0]X2lRhc[ڏlGex]d> r|c@N}"7 6NyJl# @VJ J|YYB_g2\!]3*C= H`HC5$7A8) h7p,A菊Y4a{;UHdΫ"v&edz$zot2%g" PlJ:WvۂU!w6hFE3LH6R<~tcFӡ;8/+΀̟!V7#3 ktb?;3@LhފjXd"dɜ6BpQ^wbSak,͛ҁΕT9 LN-:ody$ aO,[a.hQsy 킚Ia}߻tFMFE$6v_+z4fKy/n%8)%P 1]4=}U!M -} xTжko嬵Cı] cOd|X{{YXHh`Ued曧`e4 O))Y@֓MZ j,1:ݞght}xZ7evfT3gƴg*כ0IOk@eUW=-XR:`lSXڞP$=wi^庲= UBd?GL~C^hs)YsxRcꕆ\>d2"yx33@&QeV> &.5.6V O׌B 6Uꩠ:v↎eΕA-bϿ:𬢅WBĆߺ q>۔="Cl D h ?[@|&Ih',:/j~) 6o עQ[EmXfx!+8NM $>TM%]#w7b=&)IjR!Q@lNjGY!>ocz3h6m sx̹3HMvm h}H ՗ogYZc6da970d5169e42a2e6a593f8b7f07e55dd4298d33e372010bd93d78618052a88797c5afe4f11382 7daf0c8bd7744b8053173dc61bbf05acdc7970ef dde2c259976d87bfaed6d303f8d5e7d665b73a93 ac3bfb4d52cee3c20ee55e57408003e8ec32a09b 1 HOL-Probability-ex