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 ee5t|D ] HOL-Complex_Analysis:threads=6elapsed=34.659cpu=162.172gc=4.160factor=4.687zXZִF! Z r]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6LjC@o\ stdnTD߂6灎!!|OdAJ]8rmӖu܄phBؠ,DT2,Sйt>9@$'@Ukу]m[G/M+?V#yހv.PMB|AZyQ% EB"(w"}m"M1@eUQ)~#*+*oÊsn<_Qȇ|)s!a%W-A; #u%`A~]R1jmSSfhu8[Cc놌xXeHi! hFoa dؑzK>IS M-D2 -vc;(cE<NʒDˢ0W4)y!Q{aH<wR?HNV}m}GYqG*habb^MRT7aRn_ҵ^+p"Sjy1O;Q'Ǝ1 5~ [vU_*Gk9 lts;󖼁txӠ|K+-"|]kKdХ U=qSK-\Ԥ@S  ?j"_qe6H ƚ'u{p+-2eD;:OИ~3OP6evTlA \^J" Ø!DF2~($M5ƗІƠkƉ>*KUoК5>Lҟt ;+> $ .\`$fKvZ+kj 3AN+].9c H{GM 6X|gYZ7zXZִF! 6]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4<]WO@ù }o׼ 5 HOL-Complex_Analysis  wKr#ai@ԝ ee=1 /͸yהQarrxE"?/,LG%w U$ [fZY:;F+rƨ~˧y*DZ؋tAdҨHt1qϑp1Nz-ӯ_1|)ѽ$D钊P}? [ƅpQ<  nQZM-<8ܤ 'r}0mgYZ7zXZִF! ´]ŗXi%GRKw9P  .cbk/M?E@PssW"dd?Z:;ܔv +ަfm YȒ}'}h XA( "LX礂Q H)nݱ_v[Si$=F^Ons8 iFRy@%+ U U?Jq|c{. C 2uL,~CX?H1 [ո(!|;v_L_&?5/z@'eKdI" 'i8(Cl`WgS18Tp6<"S]?猪B`&}uyvzXl%,rZ? !VG))cߒ dߩ^ 8?fKJa+z Iu*àNUs("BG;mʡID~#ty(tAOM_?~)ĘLXm~v>e!{Ta Dԯ3,1F(&h_˚f0Uyַ^52'ǡKK A^g_b*1*O=I!v[ d1g>A] 'RuѹӷѪ ŭ$?K{݌ċ'D{C//r';*J`|$ گZYŵ_*tOnKF1OXiRW;LF= Nix)3uhv^ne+hMmpԅPz{( _[H4iJ aVCf7C;OP̌GwZW1 ^@avvps@(̨Mx3KGc83 ik[\;FW%yYo<Ӯ Μy< "aH䡭~}/ [Jbx|N~|6C29sAԢC8mAb3fΠRb G)p㾓b65^Oƥ~c86*61E9`:~ BCAvZj"+ ޼ q'D$$fg'ndA|(:R>a%{g;{O)$:|q}R:lA~jr>l@ZO֩$͓ Hi}/e4SUPV5d0bځZ+gg:5%┗ٛ]ë}Wv7<:NO)|,F-rXbS.7P%=LnL6l*"#U%Z֗GouJ8.E0h:Qu([e ,.l K"'Un _g2, ˍ+ɔN[/A0(ዅ8J( `I8t0t jH쭝=Z fC VcW}E C#Gz"|Ē ' y7T|9fH,s1XQPs9Mxđ `%F#PZ["?$u]GJ2H-{Y;Džzi L{5-_9!=iAJz0Lc,7ʋ=L*jT6 sZBHkFԾhQrqh oE\8iŅi'v[?L2ݵv V)(T$Ivv%s=T L>XBa\ơϵ^)ajJ4>U)s %V^E]D67āō2ph]>;Tu,v0aȞ\/>Ҭ B/Ѧ7)x ~{KLH$a RU<ջD{q8g7y<$.v-Țڮ@pa5ԝTH˨L7zfJ ѕ"+#3K+zx"5(gDU.8Ȥ"*sfG#S9.r݀2_ %hwHyЯyn# 6$'4{hvy2%1։C238BC굨">0O-VYq䶊`Sf倐Ay[^{Aa΍1'{-R ^TVjFH9$;fBuGף&D~䅖]>HoC@n3ࢻ4:Gs ⻁e.;EWO7ixָM| nYj 4?a}X :T5-jY*!Q/;CFpc\(I4s5xv^HKO nD nVTHV  !en; X;\ȑјBp/ yC&r'[=v|N5A@J,;NѶ&RpFysU"sSyQ*6FHqWdީY?NA- T6l:+H>$ħy>$^wk00#4-.DtHk:=C҆߮stYÖӱ-QTyCc5<[m"0|cZs]yWɠDضeR Hf; Q^ACNVtgPBYW|嘳Bʼnyn&y*@ÇNz`>iv@)A ;"a!uO}6_C&$%x z ի8}"y3|'uqMy CEez&u8Z4Yc=f0ʣjCK `+?|̴*hl̻_.~a(!Qf+L%ukl}xҙ>/) : h|%c T