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 SS*1  ]S HOL-Probability-ex:threads=6elapsed=27.379cpu=44.760gc=1.100factor=1.637zXZִF! x]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E?ZTnHQ儝/n9krjEӉNu\"6&>K3vqRw?B6]2$X&J7%[¾fH -l~ywEq ym^Q-Ք, WO뻅+6WP ?|zl^S"D!?cj $jctGN؍,@l^U69_b<!܌~ŕ`TjvgYZ7zXZִF! ]ŗXi%Nji; U\%q/L, 躎2C}"br6P G.IQZ8ddߢn@dWR43 ZxM4-rR>qTEfx\DMQ2ճGGS&U@-AYJ!0io5u!dPIdј$U%sƗn;: Vʇ4FuG4,jo@*grB!3iDP-++c'X]U1}eXgSjNM')ho46vn=;nB!l<C'}7 &%PˣxE/?7 QGנL͇c+# |9'4s:&N聠 ڵn),Qv{ hcs*L8 UùN]ef/#F̰Ά!m Dm.iV}[)bEF ~~rJ,ߠ !x;qob[҃-&F~?UP):{G%R)QBkj WP6tYO\ 3!}uixG6W:<'$bI[_lV%Deͤ+Q$JaXYv( ~I k׭g֎ÈT/u,|8aUf5F~ASS1@g&IT9vC:=i&fFm!^Eygz.P7(cŸ4-G&co8e BC{f᫠zoӎQUqAKxݘmǚ,s`;1,znDZF1\-|5D8w9mZl]ٻlklnG'S(C뱍vct"dyTDԻ&HM=*HKǂ.+[P &M$8[ZXQ><=q][5B y@ag}.=I1aQe3OS,{[$/|H 1s_?h_Tűq&D>_;%?ژHZϹzQKVpi7FUP x=o|sewOZhFQR\ g {^ gYZ19a81245a3d06a4ff490d0c72f783bc16f458f5d2bfc9fa8902db3916d36ec4512397ceb264483eb 477271fb1badc091331ba1e4626476e1d6c56cde 9a115b34ad53f464887ebaa28badca739c0eb47d 42b3afec340a2eb7c6f2edc00ba27ac26dbcac74 1 HOL-Probability-ex