SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 pp 1 4, ]S HOL-Probability-ex:threads=6elapsed=7.511cpu=24.488gc=1.104factor=3.267zXZִF! 3]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-C:=;tA`i)(Bw@Y>(6|kŌLF2v!A *$gtVb)dW 4}xs3c(-)rmn/r1ouxu6Wr{LS`]4GH> gu}£&`0 ̋%2V lfO=S8/-z;;Zj{,,BsK\R#s~K Μ4 LJ3h4g}/U7ʴv`9IFiq##a\)U@K9[C v= N!GyھpB&h߄e(^lƒ-i8~(x'-ZgT&IJH#JMGSj$w _L?s,{&6##ʱgYZ7zXZִF! )]ŗXi%G D2ä𝏪W'g}~_*9g4 ̷k-ɕN*-`4peI -f9ccWΤ ah8$kDQbaJyT5P\񧪨 xja&S@C%4>ғlt?%s(]šP LI;_T[3l s`'h Y^o/|rzY6|ٮ׵=ޏ`B&@ /e?v}I~fQ}{ l L}Tؠk"+R7iV y1naٳN30O=t`uuJA͚)XwWz{XCF9eka@)F~,ySϛe؋wGqk5:NGKCuIYFЪO eJ4˝SQ~]eD猙bχ:abOֹ07*m:a1^m.^r5FQmr*ӣ=c!Si BA[91s79lFs[$ s+[Pp)!w7`d&"ISub4Vayˈ\35F|ʊS"Ax37%F5Ӑ ;2]j%n@a9ZSvgYZbb41ea30ab314ddba53a2c8ab90d6edc23b01dedd9de4481ef2a3da825e23b700f29156a5eff2e35 d32b67ad46e3370f7ad64c5a6bfceb2624525a6f 517507e3c1ac3606314d365cd1e9ffa3e974c0a5 16e05a7c0f6ebebca2d8dba331600d40bcb7f09f 1 HOL-Probability-ex