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 G7 T ]/ Weight_Balanced_Trees:threads=4elapsed=14.598cpu=39.332gc=1.824factor=2.697zXZִF! ]ŗXf1-q恈%kV^M[-dwPt#`Nf )r1͓dS$b($] -s/@=? 5$&0AZ|:F3:]YlEowYtO]}j\ 0 ]y`fzNR&j2hz@m+F9inGw٨@AХ=؛P:M]t=Xr;keYY;r+dK\hd`^1fji8]sN#f#WE &OKM\O=c/?7?K %l9#{,gYZ7zXZִF! >]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻|Fd n2ov&D'H#\--ކZ-.wY|)l/1h|tղuA*ee:&nq1ްN5 H@-< .5BxՅ`4LIjDe>篔W0#X\ct3z85o ~[=L#>Ž@^u2<e߱gYZ7zXZִF! dH]ŗXi%GgEcQ 룁M4[(,^&s wDp(|*셽nS&660ʷ?:E?!}sgU{Ob:s,}P~ L "61e_Ce (8=wr4}}vaX8A|.fvp_/}i_eF.~&*$q1ަH9q]&lXvU &̮~1nN͈;/l &2Q \~| Aqnqj^tj.=ck}Aff0=x;>셶C}Mf41vfwͰhMz޵ӡb"ZH'q-)R[x}FESnҍU R[asbW%JtW&}6Y=B !fYZ/}Yz@i o=;]FR9qs^vW.šX9]O;̊[c+ӭ.]'K>M;+IMKLp'I:Hsy{,F@2/xs+$ǥ`]23cc3Q AAg;9j|z PՑQl`AҮT.?\cCྗAQ!.|c4B©'QZN=zA8p֙jU!,vs,,jBzz;*ZO SMCL'}؎ҍP/>~X }F[>P|z6k]gT̵#lk_O57n6ݻ펣JnoKxTxb5'l7$z LqT)#h,ZeԊvE: `#RjK9" }k ߲ zP#Itu(MQEXSi F ȥ"48o(e!|srPGyW4h܌봊[ʥ9L Ҧ#ʼsDv9b``'0E"ڝ?ul,Tq2qS >r&4^'yL۳8 2K;K:(\k++qQJaz:jƿ<4 ÿfg;eI:NJXSmmr #9:MT1Q[w`KvGd3ЯEⰜ#(*Ju,r!WMwvw؉&`\GTBy(iӨ8ڂ´@ɷ Hpէj>;c;sùϦ51! 3m3`nyzHGI*mD Giv-s9CA:VSn"uN>adq~,">iB4% < E}j G(?p]o)wKS)< y^ c~?;fWd[ZmwiahNbV_[?[QT7 zJ/`2hwbH٧"3T9͍=dXQb<ϹEO ]J(^Pد \1͊ъm2H'8?D02DYol c#f M+gYZ947c98e00b613d0b01323f5e8b37bbd466c5d62c1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7 Weight_Balanced_Trees