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 [["1 | ]S HOL-Probability-ex:threads=6elapsed=27.835cpu=45.548gc=1.116factor=1.647zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1DcL鱀==M_:0_C4[55JUK1PY*FX'/>[XꀺE-};Dn\cYC®r³} x_ SJ !4tcPnsFS,Qq!bbf}L&{(y({p$)q<Ƈ&0 Iq<D--0w+rSw#iar[BD%*-kg+C" r]B! -ꮘc0:Ji*5fRMIθSo֌K*AT%7}dY +[&w汹ϋYD'S<ۍ9j8)50:neWcel:М%y4gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >PDc! T;wXI K䨘p=>6|A$O>%JjgGjU=8cK/rMPQxOB 8&ƴmo({Ⲝ̝E>ئ& 7^~{Z R1Ju(tʦ2`p]@ N2 Q&Jzwy\ZT\N)Uc ^F=Q[jPmZ ^~hQ{%'u?ZC'F02>>ˁx>.N偂Y=Z5u޹Ev3}8fy> ;_}xʆL?+_(V{E8ԆHRMMma1gh| ʑ"PT0j-2GJQ#ՄAVzQ|c<#y*[[t·@ʙ-^VP B$syjLyNI)5\\:ɓ.+RQvhH%@WJa7S3~:'81V6zqfI^eώb`ݚΤJ An 4xA3B.,TnÌg:;PxڜNa[Unr,A8 ߕ<3aN^hϫ82+ j?IC69~O/|[ə43 l֨.DS//a&: -q&'OaVŸt ??uHJڐi) +r "id0czem5I9&v0fJw'nc23\7o *0/kl'EJލ+#6-(KN/٬R b\iJ,ޟy01q}-A@dtKoiȂgo,j gYZfa04b47688972c9cc70a1042bfbd721dcb838e033ea58d54a136a485954265ca6aee1aca00e66e9c a213deeff6e0f4dff740f020010b2ce9d72c57bc 8540ff16d77f50e1e0a6295be0528c5a8fe7eb63 2cb7a22342bf206cdb07b6ade6cdc756cf19264b 1 HOL-Probability-ex