SQLite format 3@ .;  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  5ltL ] HOL-Complex_Analysis:threads=6elapsed=35.196cpu=164.060gc=4.800factor=4.667zXZִF! ` ]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6&WfzwbFmւu5-M k g͜iģS5e[%^.Mt+'*^uEV(T7vjH:tJXҩd*=o\W!,30-&"^zD9ѿ .$HR9.fwM0\СYt:v;:}jb:)r{MSt65n 4AB5B"_34Y '%ThLP@wIy@Cni4rKFF |IĊQ( O"Uv按O%iB_e*h2X(' : v9#0k~^C StFʕ(w=6[j֧-];FS͓[mZ ;\aJ{@ʼnhϔ"fq/< 63[󛎓7ߨ/fnIlo{ȧFO,jROlN[om{hxzDZ >7p'o[p%Zʁ{o}_9e OJJ) y9"|Z޲#V\TK0[Yp7-91F!9Z~}A6v'F@#rM[l<A_VC|c_*0tU598Kԧ:Icu9HOC)'(|UPLu=M"[0: 0!]x*KYQR^*J_]Q:eE&[#IT_?Ɲ"؞٪;qmT" ļ[bw91b!CO_jh_:F @ ;V YV\gHZu*mC; nܻ[/S,߄ؤ/$_4[LT5*W+}D#tzM{aN*Уk+N5v[Oe; F2R9}ԛ&UK/ޑ%)lIDP5)$A{ j!JV_@)N!yӥuzWKII'+bm1:kSc 8N̟OzU1bQ$li-)aHg XF5}ߤuWL7\evt1J.O_We<NHM*ꨚ ϻD.Iʱ KhjrSx}mڣzV "҃4ԁ}X5ľQ{cڥ3gYZ7zXZִF! 1]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4<Q|IsטroIRz_<7s 5 HOL-Complex_Analysis   P5G;lIþwpXJ֛412WszBkPN*'Vźb %S7QH͝ ڑܝ@)+.ȮhK^)}if7 UX7,G]09o0% q-t1O DVh´Hn|Tmڶ7sjJm٩d~(mMvKzm#kfW}6O<ͰgYZ7zXZִF! u ]ŗXi%JӖi)®=Z]'"Z]Gv굽u gMJp+'f.h!s[%QEa!4YY։o;caGr6&+3FUv)Y9HV_"NUnPɑbLd!~NO²9{!5oGQym& Oی^w 5$V$uwf4Ί=̾ u eKC>DЕfQuMaO5xTe-c(5kd9' QONX(;Q'-/퀠lFўm#̠{RO*2 %6X~Te)LϨ9Fg@U~ֽ!v2MK՟b"HfvDtm3mAfql`X'>0u>NJ ܛDTm#!F U֎E:h}umL}v<$OYLb uͲ+Z:ƃxҧ ݸjA, ]:T§9I%դJ.$x ~H-C5& T~:^2tmO7i( /bRU?^kmu䂫6 3ڇ50: 9o|Yن"M#lz2JSl/g7 E+nEdEL2?|hu4>#{G"q%찛hQ!keq$)ߔXޚos{5yXz^CĀc'(MI>:=Ϫ] [ERW%}n,M[Ip #Sr/{^!<$$py#0%`l5#eXGgh-r{Gf[ʼaҐFQN& ,lW [jEV Gbév"$}L(LCU!y" P;Bg'[\+.YM -;ybsT|3.6#YJvҡp_ O%f(G S$IZ@")HHA{djmյ 'B`..Dyߎj ejH |<evn1ιi. }HshX;6å[Yu>NPST|bi>cm'K-ԯ-ѴHRbM@)U\91o}kXn@يY8-F89v 1[_yTv%H)ϋm,bP`j˹;g {#Rk[|~u^ƀbϞm1@؞yٜ[KnhRO?gq]WjbMi== \6Јe~v*^kdW19 {+ynF׎qqٿY5+gSB62){hjT 43_㾹hr|x^db-"5 'HV6\q{''To_hԙ lBܝ?8I'&Z!u,9Ȗ3w @l;p:>]@2 -EaYisW?;VWS(` Y׬`+ B,0,N0$+Z&F +g ӣAf&D.(Nsk:P&𪒏%+8?]v05OSw#Q*~GpqmJMM^Br{8yebҙFS H EuF1Oeˇ! :%d˾ظU^@*m5wAHl Z[TRUl-V9 d5hh\Kє܇ HFʡnVc_Ab\3BqB Pu@љdֱU{# 5S WdKS⮺̈́`141Xd~dChlkft -,O2Br5;*F'4]z>ݧ=y2*Y=P*m~D?HZicd(F4LeZt%Rc uW358聹V};4)br _B*dHV Cc}u t~H 5_ ~wf Mk*o^O94U/akey5 W3 GSL0vF > Û|z%03B4+y] ^ no 9B &*}e2^eCz\[0z_f"Z\9(#Zm}/-rs4s}@1H^r׾̀>}F*MUn:L!dI֑:,#r`62p뎣@Y# bx|d WI uy(O9 N-tob, 6~ik@Su(_S#Z5`o$R2X1!Cӂ hZSh3v*XZ'Uz_J~⧨lJbwc,e 'կ3y_XN QrtIh"qP;1`EOi4DT,L &ffIa`  {w^]Cw> ʬa|۞@[lkmBq ]AJhLnf: k;9׭M?#05ogYZ0afdb60860ff0b53b9a922db8cfc5bd29f2e4d3f42a32478847503f3f85ef33601da5d3576da9156 89ede7dc0b82d7f6167cc537096edf93d9e4a1bb 8bc82c116d14be659d2db88c17a1ab4d03645ede