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 oo1 d| ]S HOL-Probability-ex:threads=6elapsed=27.731cpu=46.528gc=1.480factor=1.687zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E\e/v5Ir7V|$nR3q"Qyb(R DۭI~z0iwa|7g wWGzwBg Bou@aMZMH Am fyabY,&D,?B>`.IVc|:4;%j=.&,=|p]/1^`CAZ/a- 8Ewqܶ"UlC6sTQG)#%::ϬfŲ91z$Ƨ-z%`IW' )6&sd/۸_EQn;MeOO׿ j]d瀦,iP~N6fbafYgYZ7zXZִF! &]ŗXi%;Rq־2=QW3@LaNq2^ȠSvԃ|0 70򐛏 M ꇯo}1m Wͦ|L8S='󄪄DdZxb\)nBcuGc)pwsId'oIDmt*vӚ-_2̊O=-+ #Kr;"ORJ)Ŵ/`COu[3\igWwjE3k9``,.`LW2XK;`}ye&;dph^Y" W*`J%2}?YZ7jGp?Nab2~5l0|67g>o֒a)*w  ݏOѣ8]0pGH9ߠ`fFDҁgTlFMLk4HgDy[EEr>3o`y٥vUrh3P0~^<)9:P2mdEi<͚}c:Ŗ[|wbެ }S%Yh25R,N$B+&C6zQ|_ <*> ChݞV1V,M ]Hg!Uf ;SQ6lͽDzܱkSODl؂I1#waIxXN-hU~D &4R#8/PNF+HZ+hALH0>j6EWLx:wK-0!!b)ZO8o CӨ D|qm`߉x|1*^1}%ʉ X[MHś^^{0AX;sQ3q^(U8ӄح/Z/8(!V#Yfy%H3DO42=hj 2NIGaٲ"@KFgZMW*J3 j)({ӯ0+6mx6d_cZ ]&gYZe7059ec12d499b5b5b11ee5a1fbce9d880733da97f04395e2748c59f6729885b2c3159d0fab3f184 dd2049562f011295a8aa6e1a77427cd05cf11b85 13eca95e18fde7b2327e1f229b632f93245cbe83 db67358d2e9f8e0914a8055a53278be238985a23 1 HOL-Probability-ex