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 7 4\ ]/]Priority_Search_Trees:threads=4elapsed=21.414cpu=43.856gc=2.616factor=2.057zXZִF! S]ŗXf1-q恈%kV^M[-U xNo[q;O^.%{ժ"lZD:#{bb! _+&wsOP/;iHXLK]) lGZڦűrz}:]8̾ft\fɮ%(4,!?О Xf(\0BRI NW׋!2ɟüϧ۷6F]p\ HO*O;!ux^AqBWeEUo#4{/j `7i"n\9qb ĒVWأsީ@!6j2b׻>`dP4Ylj82≳ BbU° (< .Qb|v@aKB꣸QwX,CoJV2.{NWa&.*m.(9H8xm9 OW mQ T P%uxmN\nO|b)&Mk7NOeH*C/$;-F\F$>1*Q; ϣwt4\ {kpSm4G*yܤ;3[phHmQ ZdQ^/òqм7#!9U$p> 7[Sy-?782qvFcl`IaD-? 2tW"F^fdk7\N9^qLUN!E&)h*-LruFM1? RcgYZ7zXZִF! vD]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻zj@:䋚[ՄUWַ}2l%4V;0HoRe;Bgi0ErK/TSW4㸵`cbSCs8JH} o@i:v!ڏbw?ӔIv|}{ ̕ =vhESelnk*T!2h`ԗ91t42L'OFr?>|Py}FTi.eЩT=*!hJOܔw)afxxWYsgYZ7zXZִF! ]ŗXi%GgH ]NQW= f^ԛ# 4vr7 `~Lf&l}sL7\[Ķ)CmԎg5ï.\mQ#3FJ\[ {bGrPջbJty^"\2~CC,^lZ"]Zwb h39'ځ듦++A p&vF[1IQ&}aP>Cwԃ.3- x/[J&GߠJ jcҕi^Pf;QP?Ѓ*hrsX(0s^V̉} ,$:`oҪ" u #[ʪt z58{U U+zVa~,*7,hveʰ}tVN{ |Tx"EdpFqPWNmiχ`S]aѽmv $^|OXɇ ^=YʫC0ȯwVJF !}PYuˢMlOcqjk},@& y+tn,Mh0peO:Ff'B@;Șb a{7vAEw{ *ÖJ?gv[#;X컊rl'5N5~j̘gcct:K_h_]6+>z '/Z#bl4!fwK1{n *]GvYT=Fޏ&0S\8f箰_(wkEZ'ϴ %'}i.61=D A@?sbPxl@]¯̱gYZ3ab8f35ab17a9d1934c73d02fa151e09f656a0011795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6bf4bd91ad93bcb211faf523aa128a2575bf167863 7 Priority_Search_Trees