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 dd1 t ]S HOL-Probability-ex:threads=6elapsed=7.252cpu=22.492gc=0.904factor=3.107zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,- "- nݚl2.u'7-WA0q|(4+vpv RARzIYC-;К}וYSi [l(!UnNILS7\";]鍾ϹcJy 0Xa0C 4| pȩ;(JDa= ؿf$'+p1kم@z=WU_*b}Jmƕ@̖z]ń! aEU+;?s'7˝,?* 2gQ,n;#p},%q.2?1 0T:"I #:w,x񾁑,6>zO{5MqX%`T|/4sߴޑd<)A%W8cڱgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >: XoHR7P`#{jb5h_`j)4iFu=G03ofȓl4`a?`o)|taXv 2FO`J_ŢӦ [Ur@S7xl5=&do?0v@>%ɬ,[GY#EIIZ*iz R-t6L0[0pv6T2* e2T0QfjqomweWr9Av7~^UD ,׷ #q(׷ۇ]8^Eqm~biZe8% ¨$Ÿ$;ș就 OrmI~XHj޿fǝ2ץ8T"ߑ8V5C`I{=M,ϣ{2Mݘ pXf67_n |(JR𕌂(zK5_<2Ykʖwuwx+@];Lѥ? &BY7U+h-df4ˉÄ=u?e!mqua.{ִJQe,H@ŲJm <: saJ 8o85|fVE=oOl{2>Z6w8@|!$y\cƾo=0P\[:hg32L;0~*2aeF_VlEѱ &xcl/&[>Zʂ6 (oxs}+Jdkf* hk]BWp