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  1rD|d ]S HOL-Probability-ex:threads=6elapsed=7.660cpu=25.104gc=1.0967zXZִF! ]ŗXiɟH)0!h]?W ߹ĭ˱_E)i ʢQs8Y,]׌=Y!^xLX8U 5zD ԷFyWp &GЇ 1c Qa!@9vv; nx\r)qUo'Gdr6<*wn x9^%p=P%w"u)Zf=\0Xk;ȓLb? etXR^j;!Uazz/#:eEQW*#0n-b&=Q$P^" ?Qן''7!!z^.s|F¼KAyrڊ- qX0!"Y38f 3uppML`<ͶImvG:=L nɉ )=#TǠk/ ֆc!MY!SgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M > fnS-=">@Ӓg$?bjׅ+$#(AjБ _~Jq,G(~?TA:ZUM-.j6h* 8a z5weA3ئ8i gYZ7zXZִF! ,l]ŗXi%L*{@;8G+y^6Yg FD+>VDY vNͤ7t絃xq"LԮ7f+}㔬9S<3sךed gt|NTJ:kWd~Z07`Y}@U"3&G%/9[ij$FkJ\ja3<Q^Bs^]>̎z# @P@VYPFg' % 1Z ῜:FnV m$G>'%<{2 ,XPn@{Vn'e7L`&?.W^,j[Buaa쮀i1M !6|;)=λ>37\,"#/S7 H&sdxVz]<0لڐێ%QK@ʍ&hzQ1ܗsH:rʺ4Ɛyy0Ʈ0Z?|7S+ .w 2j[S7TpΟ0rAUni9]`n{L3'p