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 o D$, ] pGCL:threads=4elapsed=23.361cpu=88.288gc=1.640factor=3.787zXZִF! $]ŗXf[&.Ir?.kL|{yց14q8$d$}j'^㨉Oٖe*{F<@q;!tQhI(edc*+T&.y񬬩&hK`c]Y+~M P JxuH2ZAo<' ˨@3g/;X$_"I,bf;쑔`"5-woTl\c+lʈ?BXDJH^D W@zp1'ڦ  pGCL  fɀa%im3 s :ܤBL[]eޔHdgCU@wK8)cxZg8cgF%IT\(BLv"څ47" $O?b!Yݠ%$AKLLt2 |KM6D; !Mg|o߽e@Rp n٥ةKR U2qqBk!5d[s=\«5 z&'[N*?NF͖ϺM,Y1 qLɛИ&Y%7cw79hoc)7ua_НKgKD;З׸^ٻȆ߅nIMGF:kJ obeHuec;DnpojHXc2!kc*.ǧ q _"*im(UP 7[ߒ2L7 }PoFLc GL\Yt^*6fQUKiV (B% {se/.cցGJs2.ϹPϣBr)Z-(7mpQKɄLx(\ls$Fjvi(:n-Mvo,蚚vC yqJ7D0M=, nERڿ8 $+d 6:" vD-8-ֽ0ּ5t}2N;I&6Q@r`Ǥ|V7-G M=#ciS4ϏI Qt!OOY"fZ I;:gYZ7zXZִF! L]ŗXiɟ: e=o݆$# R_=UAi0_#vG? -1hrxEVĒ e ≙ϐ]ҭ :-M iGfR C1U@2^@yX#+l YUϻHʛxxGULPbr*q|qp' k)[Gya+!3kD2ք$ OEdAdgX(ZxGwۖk:c%17 TJ2BI& 2Q:@G4ys ±gYZ7zXZִF! } ]ŗXi%ES3bϑAڔ:'_*cK9 9.ߗ1!;xx:>q6ҸJD 4,fU *Ŧb c[R/ṼCq~K ;qX|HYL2bq.&(s"Fln߽n hJi?0xpE-=FPP`/&kRWԚ&w& Ŧ'F~>} J0F|K$c*t5EiAcs"=q֒9r/+OQ/D‰TIy+I,2|/t[ߴf"1!),}+3T`eqD1D*wSLz{?2.%S_.]Yfz ͠@bvap —1DQz1hUT+wLˁY62(3fOUCK'bbws5B1(q3'1e1@<8?Ш.9%}˒t33d%sowćfibMU pTy|_յhR`ܥT\|ٔ]'K7dAJ6炏@3Tt#xzϏˈ W]t\~6^t ^v@固N T!_ғ_N;q6wFQ?ц@cVl>an kIlA sZB*`^::W7/[.DwX<Qٶ ^+th+X  AV.AлťB͔91U 0b#Swl̆c] ,B@QricO NvТ~s}4A?[xMm#6zSkT4(h8q^9Dڧqvv㢰~[Fbzqhz7)-$e-Lߦ勓|]ϸjhv'WnSwA5}Z@=g-HIlƗ^=HRE2PBttL|?b!+Ev05Z:ʾQv8>r} \Ԟygccs;tsMYEQ T <=DKT# TGbBӵdTAI*TlLu`wGaO 3S ΨI*G=RV|ꁄl3 OI"ۂhBS>MEd/|gJo^fXk!=~`[.Sa CXA1 -6Т9+ ~![lJI%q1BAlr )>^vlT !xKDA[D&Z7x ڇЫV'^-~f~c ^Tmtȅ.i%)IÖ_ӞF;įN5Tc;FkÊ HMB[r1ՓF%Tsȃ<683[j펀#Q"m7KzA1g@ĽKWQ>G\5Bۙ5h̆&t/gOݰHoǀ@:c;t"y>LA F`JN?qI{: P#]Cq,tC'oe>