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 , <\D ]/ BNF_CC:threads=4elapsed=15.725cpu=51.844gc=3.324factor=3.307zXZִF! ]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq3wd0RR՘8T¬ qgj->Qľ2]iXvh,LO_G;wU#(Is\S5:E].rNi{P KIk(wn~b`m|-:Jǻj ),VDIFoYbEe|‡V\)ہAhk8PoMĨհrVW^uC#,N5׬`4/\NE7Z]^"r`<3j[Y`2e~Ӗ+<ݯ2E}<9[ۭힷ$' XRuHdUē9R<^>Ϸd`9!mTMf w1ò|(|VZOOgB-Gn!Ug]O\&a9Ek.tjRiβ(4+6D;% MԼ8.; MG/UO4PypSh椰Ntt2Ҕ!Kiv% +[w/ȯܽJ$㲫4Vg/>DD)@0OI 8MB[aBqV;88:9 :I^/ ְ<*~2^4!W0't A[!Ca:nd?҇D_F^,VLğ|W 仉()Q7ސj(5Zt̻#7Ei gVu!߈qCWK#g8o=}h;6*Փ ؞ԥ6)gD~$+WKAD=3$)@(C!H+(u:~ұ@m1| swZb UiC6f|6Rpe04[cIOD.sOïF$K\*CPP|.ňe\oBi@M9Bd/ b]`mRN Y)0Ӑq Q P'pew$b[7VBPYt\Q [@Ƒp׻EJ ^ArAr+vP^c#[h|7AZD#WQ@}2 @H8xn`rQ*#42i}Mh!ƿÞ=ѓ*b3 u N2H >LWzŎll$w`C5%#iT5=i2>*Z]|#` $Fm 7vƕO@Ї4A˹M\x?%@蒍s.r׆8m8j0T0_%^<[; QTC'= msUy;MGQHv4ˠTUAB>Qla(Dż)ŲXWwPz1ۺ>`s Fɦj%{Aeh;QA[A`&"K-]?ds[/ՌkE/43GuiRATb[:!S$=F!W%Wmt}ۓbl^lcdIkHpuT'[~G4NfZ~-(kwHF1 NŻZ`-w(~ղ-cJ 0b'xb)fmc,Ҳ<|r0$LXb aq=\1Nl ]]BŢChbkʑ^%ʪ1s  p((t$`^GԴ\c+p- [UI/m~CQ4Wͽh4ptAVwწАvBCiUJ Z$_8g15ՕH,]}U`<;ŗmǡ@[TLq'a\*ZL$(;K;'?A2& c딉*loiK]lFK5뱫yZ?5`8+"[Cv%Ddf(I{%q-Auh(ua^15AyisZRPCidM@OZ!c.ClEA_ ;f2Wd:tv{c= G{ Eq"ӳX2,+!FB [g=W|Ϊ¶ꝡ*B'Y/ΗsBϮrQ37D9lmi[7>un0۱gYZ6ffd89c68fb66bf48ebc26f814f6bcfed15753b278a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59   BNF_CC