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 pp 1 L ]S HOL-Probability-ex:threads=6elapsed=7.335cpu=24.312gc=0.876factor=3.317zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-3ش:N+hw#?],J~c3־Ra.l`PʃceA/xs\Nj.[m#=߭B\FKS% b>lG k/J ɏ]SE|Xp֬7*fQAJn[N,!Ms` / 7j:[r"XXiF~Kl% ʱgYZ7zXZִF! )]ŗXi%LX9O_SqU3P}7%Dck_b6X!UwB~ Nsu"LY|˕TCՂEX$8[CK8]$M!7|F2y?V L\ Іq/@V-{T}xIP#RCBXgv\eBw/|e*0y\##p^&2>2(uZO0kd(JZ=-kU鄇F=0B7Vb'P]& ll}a!ַ`q߳7"K1؇LLgݭor$$5f^DsT&/7!WByUU\:C/Q~|…+ );WڧmۑXe84gqP/u,wDʞ; =1_(94H|$0$L } 휜<;]--b:^mBFr.i%_O3,hQʨxJ4%>;l76m6XAl)ݾnb{;zYi/$"d*QPZ9&m|v20 e(t߸iEuwR?JqT^SMh|oi |f.vT-oW-UĮL+% Qą4%עr1|;a>Աpf z!2.S4tgYZ237253be0a793135b638f0cc0dd19fcd363a72d9a0f0a66fe4b4e42af65fbafc96b4437732b5beb9 5df07e4c8a7f31eb67d22158450f815fe237af54 865e41006c862b872fc72413a3c49bfacdd4f23a d998e8ed2af58133fff6b47e2cab59e90de20807 1 HOL-Probability-ex