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 x/ ,L ] Well_Quasi_Orders:threads=4elapsed=20.424cpu=57.764gc=2.340factor=2.837zXZִF! D]ŗXf[&*%5r+=~ȳL\Th;% JUO4UbT(׈ ގ!DwJm[+Չ@ ceܭ04GijT2 ؀]҉_ܐgPk"<k (6uV`-Ƶưj|T=5vʽ7gT{UV~&F[kS8d<KyX1D]hLFeTd -vWjqZ&ԋCԭ[8\@D$suC |`燖J:/:8O Y|'|51B?HggYZ7zXZִF! 4 ]ŗXiɟ㶵fL4i=J|92ms;ә_t6%= KNiN)t+~<[)ĥ$^TQ?/N,V ._wmv}5/;ERֽ^$K_2}SAǣ R+ ?'i,{(I1OWS+D{ם) YHX5=VF@|%b^^I.yɵGRS(%enj=hMV)Aw(#^^l"lOV6=4^Fۿl0 8Ml҇>R Xn w L+Vͳt*jP`RIص[P@"(K@ZqkOڼ|8O~0v8;̌X. t{X'||vK ߶ غr<sLyB!P P*K(uG$](gYZ7zXZִF! ]ŗXi%L TKKߢNJ948 :e 5+)bQ@9HXnGou`ɔ@Ip8AŒ#sE M!CNKa[gJ *Ǿ/@Ւa&% `. #`zsdžH43z(@= eUA"o<);$3ӏ`3-PВ6/ ԤYxya6tO@qX;&FdIA{q?n1*DƃLL18l:6!OA06;>|-y^k!_lv^j'ӟČ$oY#Vb4m{u} C]\@%=;2f-X ?K\_ %E1S>~*}7Nyd?"!pJOi|>EV$iQ?֛P\,(OPRXuUt8*B GKDgmtB 8XD7Gf9{ Ll*7ֺ0_)E@S8/dh0㽠3x ~s<1YcAUyIj;Nrvm |6'J5tBY}p1E/0o=ԃw_}(,/{t_ X@d R+lNjiN%CpbJ{:\$G;V:T K5:v[C`j.oUL JD`-`ae6rjZ;TP5ČbAae*zhnrb$CK| `_g.S^BJe*|3?E,O s oD/8P3ʹO$[`+jY_lrE_N T|w"t(>| quBO _<-g.n+^!dgYZa535087ab3259420d9cb7ed49019a9e5fd6292d6d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c