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   h5$tL ] HOL-Complex_Analysis:threads=6elapsed=34.687cpu=160.900gc=4.588factor=4.647zXZִF! b ]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6];n(_jj?B]U `OgkWMҷo}u 02F MX;*? ?``e7 t,6u+E4#;J $ 4p,r4ݨ$֜ݹ^ hAZ$P%w&,6} ɘ_BO6fLD \J$КBq/iLSMe&gX+O^Q0ox(`bهp]76# qs~+tUuJEc&ZJP3{yt;'T0b&?l(:#FS7hqN)N7eK[5jaq_?Q!ȁs/rF镤԰ dhE ]TۧU-ͼ`S"_ЃV(p1x'PBIK<t >.;MVN RCM |sVwYRWd}P' 0kUhٗ_! ѥO b(gҿ񞐍DvMhk֠K >|uW,k7T_l]]q\.=( u-8CꒉC/yJ8.>*\*iCT E=v l܀X݇37?IV%nnp瑧)S,Gt s0H\ʎ7@*:j d$) o+q;=/,"iik`hs+IP9_-M?Ȼ0/16s1U*ܼ͢I<=ԣD^;?-sCTV>#4ˁ-[YH sA5|`cGi]חLzע•<N"I8]vV.u&h_]m rJ)18o=8Y1BLk%yX:rq L…r &[l8lG?NiaRnN@O8=O@3q)iKrV^ؐwxc$j10S""f+7 -b 'T0L brtCٰ,,cb*}rl|GPg댍|{/'RdxK_%stU)0;C#*yqrrxvw[ST Hl}g"T?G}FMLmtE0NVfPVO@cx[v㾀:| ;Ys6rB(҉Z3JE7Bc(__BmbZmh3/ !Ef[>sgfT7LhSdoF]ohFf"+B?Zﰢ8(ec7C] ~t^Ԃ @H;eVN;M&.-%2Ǔ=&-=u%X }!6^ACv{Yb[5˓I|%J]TVtXKl[Qߌf.gt=кP/7_=`7 A1-ťVLw+x M&1EDѓP5Eg:}}[9􌧞52ᘀU;'(mϥ(d 6Dkʒ?Ht[/c1 $I\82^<=]Q?"A4SKaNt9 W" S\xx4PV2bv[ R =^LRi%=m[T.5(ǯv?IKvjQU 1 {|!5G5RXpձoѐ˿pB-֑]+ϓKV۸]s T4uf@.:LXLwpk8|#ĶiWvlҔO 4< 7>Kv"b͊s>(TܙH'd+7TfNNjﱷۏ!FAsLE;v.@b1KԼn_C  uzmajLUNJO?FKsC9Ai?6<(m~W *n9;s]F0CVĪMwy>? Sn!~ȩPGE&b}8@| Z͆ww1;8b$+/! mn5JlKtczsEYVkAq-<@zG|@'>I`H$(x. e 5wm'zzE\hmYw^ |yȕ`.C XȟgKt`NdT[?=+qtDlZ HEo(; M|Ñ:kd _6lq9! 9z:DXj5 ee/fb`=Qj3MCw-f8_m?ҭOCY9[/ퟭYǼ4Dǁڅ5&09S޷) Votq{44n RU$g#]O9/ܽ|FȜ `lQˡ2߫"]WaEF`_Ų_JJ")EVIf34@$YO"M}j&,C_irHTGl',HzfKCl^ T{4J骓Ek ޡ8$J-~صk\ *oy46@yEx=l?FU(r8K9"ozZ4XW(*Ylwa6*mߣ' %27x2Z㦉9@n.Q%M[`/]<:0y,ǐDm L=AA&Q}J S7]P[T"[1)8 ^PW?lE7.0q9,H*SwE Om~LVnQ~\ly8 }DnP=NcYA `HيTW{1|u#L]C'bkVy!Ft&v/8;[b @v֛( FKPn]&{sd,8 ߆Jk>&\gLt"x#Vͳ~?r >2G5 yA0m*uرm[4jo-jMs\awS֞{5m\m櫡B喳RNu2HVdAN@R^CGuˌ$  |(n\h{/nE}]xxJD M9\\YMeTH :ܟUi[Y2+MBKECq3Jb}nj:șk<+W?Ti>K AbEcI=>\ƪ_:SfMKqʐA=0,[׭(- cA įuiϔ532T`e}E9M`%'Od*)IDx/Y,Φ/5AcJf KFduz!ORGja2xF}U'B'EFk$5L_5+ fŢT> KWUˡ!&u%ر];tuHmKnUaR}~ )>|VQݕOMX2 cMcOQV?5 ThFDDd .z &Dk l=5 Z>@6`C1fZ0U9!a9OQtG~;*`܊"T̐?}mڠ {zKۺ#CѫX4P؜ݝLAm 8<$hJuj2ur&? T;Bda% Quv9O09ѣ^a2t?&VZ."ދk碧>]{7t?֪skP‰n:(r}a1ogXfU>z4YAqNv 7\چ̢TQ_έ' v]M Z$"rz%8 k}t^TF? ^<2Rዹ )X^n! [=?[ T M" tw C0NLm>yv9|xCÎ#:ˢCWIfߦa=Y5NA2Ʊ֢ ch Jn(7sИ(u|f6_O&~5Y4ho-.[[.w*P) F$N=D~qow׃ ޯOOStfq)Լ,=:_ -y`}\-zl}!r|!y% < ^a5p">C&BR&eh*Qn_96`1=JBI@ewЃP\:6~R.NG_ p#_Q*}Hy3*QOHW>e}¦Z˚$6dL4^mtϬ}V([U