SQLite format 3@ .;  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 LL11  ]S HOL-Probability-ex:threads=6elapsed=7.326cpu=23.876gc=0.812factor=3.267zXZִF! I]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-FIAKյ՞F/'\&kt;(CWyr{.{Gm{: 3KV &43sFB)ybgD%iNyb$$V|]a\t2Ioc,k';KIv+aߤWSANil| ʹY*ʱgYZ7zXZִF! ,]ŗXi%L Iȸ @ "۰!p튵Htƒxwr $taJ$WyޛD8m[@uAl"aV4ntz2$BI%YK'~P8–ZÐx͠bCf̃=M#_Kaߖv(>S+XO{in_UlU&HS|9Z w'*(.~;Fh>LU%naC;]A|g{'b[@5 k,V.|BQ  y=} Ӓ.w $UM.J> -[CJ:JAo`,8?[V!Gy$- @5lG]ܺv~hbw'JKu ȻnQF FvN]5+Yo۵(Ճ֡¶Ii5S, ai]GJMv}:XLQG7v~dN[N#,璞fZaoXvEWU%5rMj:;@9Bw8DXk+(oB VŰaQ0\Cq{sq@ .IԱ}-1/7"@e~o~t)0jBlm%)E!͜Lł.ɋ])ǫ"OlAcr@@qy&,~"ix7̦׊2;rE0Pm2rq8^qaI?Mj$F A"5aSg$cY ܝ{ _W15ؐJ;ɡ?.'dO![$+N^=Y^LIg ~ߙPqnI MȨְ~9[=r̺Np 9CV)l=$5 lxkفu)$l[SRK'}b]\vLVm,$ UiOk43$ǬEh τ8 ac]rgYB7gYZc351ce01c2c6c04fe4e3036efc2283aa8f420b2c069c9ce34574a9d180b675661212e7d3c60137e9 6c6d87ef68588b18c4100f1ded4e7f9d6b048679 0d69ebb9e385bb8ee28e947d45bcafed550a06a8 09cd4ba92c0bea60aac416e95175bbf3480c241a 1 HOL-Probability-ex