SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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\D ]]Launchbury:threads=2elapsed=86.462cpu=168.708gc=10.788factor=1.957zXZִF! I)\]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn%bӊDUlA2Ժ]Ԝ* `>[z<}`mbpȌNyKQU 4;xu/ K54cx*T>abMu6'y=+ 3!.A: !ŝv!rOmVX"7 h8o :b;gUoErƛbœ&=̌YLj&d8SFݏn{PIP]p.;/OdP"}=ql sF]X>AΖS#-!n'1<9mp li흽3*u%-0.WBéZ{O*z[r =cݥEyQ*Ž 8xv8oْK%Y dhoޮa9_uw(T"puRՈ" ecn`]!lCKba ~81*sXV䳘HIY&Q$Z.= P*[  ! Launchbury  @+!oJHHXĥ1v[@Zr: B ?6 M -8u[Y`"Xӹ$p6s>10,2'xҰr <{W)w!| :(,a`bqTsyǬuL5?MBqN2NQ?rx}y I*TN GRیs3{+cQa_b6ȧ͵oc tIJyh;$tܛm"PQEMz+@ #8&jj=$~hNqU FDgV{-=LLBjxјԆi:htQ SPxN0CP:+5oNgo*^B!̽h?\gCE/C$R~SutB@a)K"S% ƍYJX*{'n.Iv1g `mo$ nvmjqDy!%cclcyAV&]2+3 {P\~|o՟l񭣽BX[-ױ4N kY(">xjЄǷsD}z3 ITB _X%Ivy:u#0[74Mآ~c'UfB:m55Tiֳzkƌ263I,bga܀`kcVO.bpžX[OWxt$tju?MQH0sDT"%Lͯ C&ֺ=/S:C0==\u6fџPS!S@v=M{m" 8v㊋ ˛y`-驿R4InX64?({d[G_V%qE7%j)x9LsFic4)o+J}_(澛O^W^k<"X9 Cu0p@dR:a yL0݄h쿐njx /X!efX)גtZFSܧ:$孌i 6칐&p6qNܴ22"^@r#EUa]ګ'zÏH 6I)*_2\͘TFcs-ɞUپMb} 0A- WrUK|oܲa 3#کxw'SJ$ LhhڦkH$A^.<4ܵ_0'gݰATr"G(l^U{@-j$m?c~`Dݤ%pAbolyϵ ;ou ^PewOŷpGS!dѶF0v$X80˚G\3ṔH/:oI4QI$Z6iC)Q!w^{¹4.^}N{4`]t,l9t4i GDzeVo 8qNDrk~r3t6v)Uѳ*qWeߦ )mTپ։nھ53_&12^f"NyBLC QZ\$# =g1.!.B"$r $E`C}q e2?D?a; [ t;\ Ӻ0UO@swm<ގrH*S*ms c 3G obo'35? Cm\2̍)>;U^ X~e eB{\ hTQXop-)ZLʵ CnQX8 Σ>q^3;:d+Y?Wn1s* *Yk)mkNk#zI]4d̙xoMƁomSj獮 Uv11׈rW1J'T? ѽ_|{]@"5nv`û {m[ LWL8,s}0\v[Jf?@@QKVǻZ&t/S =~ D-dZVWjQ>dؗSCOQ4_ָcױdafόO0u;Aaן nBmBk_|0KKlru^Ϝ'(gM}*UFKS?ol^ޡ\_=6G3GkIk ~w@/Z}Dy)ڗWavm5@Ʃb {,&VyrTpյp#HJL6(Le"gpX%.mJ4tIJ ÅEW⻏s>& jYN=YkzL#x*-YŠSh%Z-D S#.BWjJ*0}KJę) pJw&יa HHrt^# a{>Xj"=MGQfuQmS%g}qHmI>!oFbϻh.qOV;}/ܘF$^ҨvzW hKO_sDF\@ ײ?\z)Gn!5ɣ46YәMUɄ*&F>Kc^' z|{P{P቟07-V %Ñ~t!; ~8j v7PUL[{rS~vߐFSbDÏf$Ć+?zɕV$+}/n׎nxj|O9x*ŘdK.HbA`KǞ2Sހٻ+%ͬJ^LB6g1h?Ʒod_~噔r"_!nh=$:<J7}qld7خU}2@_MefK#w_[snlCDkƚҋ*rW wUKC|q̧Bҝ5޼pR |9B$9I yL[]% E3Ag/p3ҹ /y'+WZ{V3$EbS->✲2P&̷8=1$X_pr ؁ҷ֗1pƫNdϦ>HvW{3(B죰xKsaR#B $0^}l\}ܓb>]¯$CQ+ТUf{t\e 'Ξgte9` nLy2C'+k7El^Ё,C5AA~6\1({ 4OҦQdl '$bR~L]JJeug:2/ ɐ&Cy ꌊ6`'!@1+QJ@jHMdWd@syN!,"W.nfWW "9!G*p{D8֢ex]!EBx;JKʏJ8gS.U&eD204[% H&5ZFdi0JebyK~쁰՝ּ TTνMid.9SDj.i:ݹejC|@2;ԎgM Cov< 8?3'P"OxŕM٣OV^y䠂 <!{_!PLP'a0>6QH^T{H}pw`퓧` lx֦I,*|V?0J`c䜂I'\OfpѺ(LPxYg׾]Fc*j.L(ضr Wx \UVj$!)Ԝjx{sMs