SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ''V1 |t ]S HOL-Probability-ex:threads=6elapsed=28.301cpu=48.412gc=1.460factor=1.717zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1Dcڧ&2 q l.wƴUWg/݁gTDA>e5"+q%~*ӳN q`4hÌQ6(mtd,Ϋ ݞ1uDRoNRMIMIͧ>3‡N=nLe"܅J @1 k$/Xwd-fIӍaO-]qJtxHv|c0m{w"<=8;od6Ib>B@2nk:iwgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >O)&rv> (^mx M R嵏臟tpҭVeL OHN(2H ?:[?E-$Cg%gWBt#?='1G7I/ϙfYgYZ7zXZִF! 2]ŗXi%@`j@H(Gxb;!Af&bl\e#c=fF: 4tpa:8ɞ{m~ޟ:?屒tT/ϩE1RDavM<gA]dQ#ug˵lg t "f8"|L"%yL8@(w3WFf : $~:nae0E٥7ϞwIKc|7fX[/uGFZ?ZeeD ?xWz őj=NBC8|Lp/]:R"r}gK7q;׶Q\_$)ЕGYS z.lSUTk+/85ͨydfRP׆ 7rbG'sR3H~A3!RA"ꧏDW*֚$nӜ6yd]sex%B2B0࢒.UG9k =$*Q(38%`P~L_g׼FK׃c cB8A4퀪v<ۗޚy B>W['@s" @1{y~0/+ڍh,d~LeFU6-3PMVN,duu$y?ҳU`_фQĖ gYZd9855f2ee135599cc3f0f6913cbbeb4e66e190f10a23064c34709125a075cd68ce8f561e647f6953 6850f216aafc89fdeddfe90aae02e1cda8df6a36 6c9231031dff72b787c1adc078a830a714a61b95 91e6a5ac2937e13324ed95cf5e14cda5582ed3c2 1 HOL-Probability-ex