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 AA45$T ] HOL-Complex_Analysis:threads=6elapsed=34.669cpu=160.332gc=4.712factor=4.627zXZִF! `]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6HJ.޼F4̦IeN47_Xvt}fR>gɏ/fvÌV)XϟJ ",dtj^R8ZnWuOX `ti.{v?b4*y0ܐi00kQyq%{[$"v  x @Msu|d`;qq2-H4ӵW~q9EDRm* [ޯjbdV TڀPWY܂i5ޅ2 \?L9Pd#+Ma6Mc_+geϟoVHnks6(vmHqdn)ڹPDKqg(5݁SA6JnwXZO`a.B#dR "P<zG>Bu%(,2u l5N}8g3U5ZP", Jj\ކMr݂%N$X=z wxԉ2KNW_q $X.!֞6B33jFݣacpQ0Fii(C~˥Ƃ%\NkAM6zԣw. !5<4눶LeyHt JI.yW8# ;XŒo[|ݳ~ÎRG'̺^:U[TRjGB$|o8 -P-yu*iίi*2Id O nv2򘡹q'S4g=-KOWCMH#ko3elrKX$ 8XİV({I5.rʂZu7 2|aDvYIbἢLO:Вѡ hGoes7E4.@}2cN:L6S^ro@a5h!?)YWl $'4wzlk]vqo'< D'D`CvO\jCתtN*ޤ9<*7LYV L)s~})pv]Y dg1Q#Mt/h9)/-m-$Ct XTb̾/ILqUf#j'g"#i 9q,Ǔ1!K&O)Y6Bv* |Fv|6@N.BgnW&PO"|@rGrTN}y f"''.lC&_e;,di!(w("6V߻RqT4C$ϨBܑ@~SIK]j8&8l7> ?{<#H8QAG{Ye{3tn.Et!S,1 XP 4Qw)08 jhH:y*`Z\'`9cL±gYZ7zXZִF! $]ŗXiɟ1p 3]O+EAT 5 HOL-Complex_Analysis  WKcsn)Xn϶u ;,s4<6F՛m}HU|=u}k+f;&(Ws^I-.NxzRH:J:t})}Ս3;WTj2Z>-a؜*vMqwU%YmM4* ݜa?q V> Ok6#~a^pLDeO-xp,?rϨ(1|j}#,p- Ӕ2 c.#gYZ7zXZִF! ¢ ]ŗXi%Ie}rM,Ҷ^o.ŞJNɚvCR5dcUhۉGl^ }^`F3hC-6.lх" B|ȹQ @'y<7454dj0p'm˿kL4,vF$;ʣ='`sZhky(+--HD[[ABc߀nZq 5fͪwB#3PPO  _Ml3Kz5J?-$Y>}t7jD\RÔRg+K]Gk"ZGJN߬KCi{g Ml DVv܏}/zîeN:Smׅ2[9=Ur |)Kh}xFvR\v sJb?4@KGnqG%igtecۓ- 7&,ɸ-#L{=K?MKh, ->)iT~ fN{5q+(w"..&mgV$J5B+^ƢgRH̾f+_+'59 Ι=x, S4Th/ t{vleE =lm1>q!}!;xvŮv3gj7P; =g`4¥|UMV8;9L]&iZX;YD?!0F疬[Aՠ@z-$-T 4\{- >v;X(A:O^$D KmDw75E J;Upo۴]4*_4SFBDI'o J/1"Q`jܑ+qmcF~C,iW{ojġ/]f@b}]4V2o*%xXvKI{'{H_7T!Yb' 0VV?vpIWXܘx {.A&okl8t-u3T:ȹY>bߖ/Ryy. TVWVg9K=6 :ըр-ŮA6Q(]Nr/:\`' %.Qz{#qxC/z)0 m<\sHk5U;/ñPȆMds6c$5~yˆԿV܊yN s%_,hҡW&_O3uDL38y~ 8JoX0$kR^ ג|$c@k<x½zu AHj4 ;Y^aLMZ3:Gî ;<SM@Q>Ȩ)=;6$^Xឫ$֪{8/'m-Co%ȞXN`D݈S s>\Yy^[<+Ž8ҙnc8&W>:~peg1沯7b6W3z/MMbF_GGx?ˇb>*@T8%zk@UcmFb짹%zEG#dt30I4AwR̃*2$Qhޗ/K1lxOǣdC[c9x?pV&VG<=)Z$w.lw9n=(bޢ$R eRw6nM r 2 f߰b?nF>xA6(>PO+Ki5Y'daryЃ§_c~Q$2*Ou#jYh@W;qQh h0eռ8ٵc[|+x W%Z2 :潯H/^B]>Jf2#] jlrpe?(iL !BD=<#c3qw>L1cn m>%xh5(3LO/Cѕ*3-?Nc͚@N2<B6RA1FB#GzE?ڸ`V{;O ,2 q6)((Dz(hwfG-ҕRHZ5Q^"u#Dָ#R ܪ` Z9yi&oIs߯uYzea1tXvV+gYZ730340b960a6244230b795edea5212243292cadeb8f2b33a24d2ef800fa7a056082ebbbf3977915c 6a95eb2b178165cf707931927bdb35d5f0586909 6260903126014ebcde3a0ddb380b57ebcc839ce7