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 88E1 ,$ ]S HOL-Probability-ex:threads=6elapsed=7.672cpu=25.228gc=0.992factor=3.297zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-C:=;tA`i)(Bw@Y>(6:j-_x,R]Bl T!\Xj*uq78SDTzXa<=;>b:8_6G!ȣ/9Ix.Gѵڭ8cPE|l];"eHPY]{poa첿PhVfn?>U_ x`\6+J}VlWii7"ܰҼj"\倌AD&Ӡt]LeQ6J!x Y A@"lD6+R3O*H K{VLgYZ7zXZִF! , ]ŗXi%Ed}oa)!}17N@`޼d!}xگ\2l2 y v {&H=TpP'Y6=8RC)F/ %иiT _S_Q[4z؇cȇ͐?YDY( =~a"|c\#]X,>(X94"#8{2J F GD\Bya^o 1JGphP&o۲0ؖ0XMmUFXTQ kݼĵ0a M:0Ux#^ʦ̕7/[3o&&3$"!$UJo:%WsӃ%Vnia%vOǼ3u4.:}g<T$$Pm[J,WQ,-i?:c ťdU:(TRQ'[2NeGWG>K W=`ŜS0Z{ u6 p9w.F4ڊ~rnc|mNm6!ׇx?1`IzY2gYZafb296f252eb0e0feeedbb12178b969d4210f5ac95c43f5c6a1a4c9b387d257d0ce0e9e4c84b7546 d01107edcd6213a1a6600255da677abaa24a1f97 0558e712296a2443070242919b1e7ddeb5b80703 a742588c68fa012f78ec21cdcbebe352108934e8 1 HOL-Probability-ex