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 =1 lL ]S HOL-Probability-ex:threads=4elapsed=8.825cpu=25.320gc=0.724factor=2.877zXZִF! =]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-=n;QG_2V\Gљ l'ixlpQDwId٩EX;C!~y YʔD{uir?5*֠.+C9[63M"b [;|`reAg 5Y^B܋I4J1lh5 \66-2M@p3_Yhr|lZΪ&[h-8;N=>I5}t(y :x9 7L>RLO&3%")?=kh.;55/'8}s(v5K=ɿs$^"">N~_0QESVv2VFoAM9&%Gc:! m?CמeILyՆ!ICPwB%l2(ق lD(UH,߀Q}68z۾oςV .i2?ߑ 3 *tz>ddG }GG2t-g` 7IBc+Tz0=leF1K , Y\%N<يugYZ7zXZִF! 2`]ŗXi%GGi;>6BaC]g+~LǓ9w9=?|&7)GZ43j ^g7<<ǖKpӰ>+FiσR 0˔Xm}HmgL/Шy):n {6QCykw_L'qO `cW};[1 -"-c<% g;(V`mSQEi!@uzeثq@7L G-!|>da̴k$ʰsDcn MsFZ&fGQp#FJJ  0jz>A 5JucɃR;=; 4#|"1e|x 䠈i2~,wU3*>cQӲ.*rYd%,L-Rîa02m x$~n9! L56 WB.5j&v@((C *]1TFJ1KE @HF`bP hJS zc<<'rfAȳXvO y\E9X%P9YM,0$zh)#kW!]:eJL%`?A#H p±'5_$6/7VO,@1O4<{>M_M5Y