SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 8; |lt ]% Special_Function_Bounds:threads=8elapsed=16.892cpu=67.040gc=1.317factor=3.977zXZִF! &]ŗXf[&R7=u㢸GOFWwbiv'φT|~A^Mеޙ $ 8+.fX t٥_B{`b $ t@<)W;-MO7C % .%h0:1mymPܑW`S5p.KLaj%`}#--%)E\L"NOr38Jak,&&ZY$_!}FuL S)dv*.Mxc63@uP|2$îת!f_VӰ0ek4n=2Mץd[MgYZ7zXZִF! g%]ŗXi%>t{=$RPJiAĸOc<ZͰd-,E;M϶ yY+=2 ɓU_4AW{\f2}U(E[o7X+_4STuV#(AU=@g|Su(# ˋHA+Z9@cڝWN[*zl.$ư,aiy0p[~,6Vr8_ m 7tVoGnLPsZgSk`|Thó6dz me ZA^p=9N]ܻd~(uEajԬ=?`zHh?˚,woT51&%:d rI$ҷK) h@ł &MɅ_C>[@x,1VWO@" p1  ,zn 3JQ-Z)s4X6HƑ{tPnW\tѧRD\tF~"?Rt?AISR'bl*1#;VE9uHW)7'&LAEn~n@9@'{e7zEz N̎FG%*3O XCr\Uư+曹yQwaA"10|S,$̯mTp~x<@Whxd q6qbJH i˟rp6e i m Og\StXUn5|pTBÃqvJHbtT;S7qFuq8Ai=,Z؆loK9Lqqfˉ(e; }G6YW<t x i5 H;ih`Ez6xWœ^05c˦:kqr94i&sXD}? J[DMfK3v<ƩŃ:h]s}'vÈMꆣ¼>O)54-)w z gYZ4c0cbde5255bd8cafd42a7669b209c1341c1ce06c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 19b45f5ae2df88080122fe827653eca7fbdfd042 5c4960bc307c3ee50c8221b50b15603c549d8c09 ; Special_Function_Bounds