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 [3<  ] Winding_Number_Eval:threads=4elapsed=86.436cpu=227.456gc=6.196factor=2.637zXZִF! l ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e6OaI`p ]W#Cfo񯜜t'O ۦ*BK.gcv gUtߺe JF.'[РENjŭA%e\AU:4-/k?{iBTUFR2a݀0kh3؞^ex~ '4_ t(k׶*!c e͏Ջz,:JUГ-=1wwk+h_O}*D1nh 8vK}µ4Wô1F*rj㵃T J zz=U+ݯJ r4{#W}ƒhwHl^9!:S AwQ= 1V7`])XFuA88+g'}b {\h RY:`d]E$sD9n zխYk2Diy1@撫}10_Tg[SY{u|;C$"y(DGP97F &m`޴FV[lq %V]^l,N IqW/iP9m<>]Q za7qe!dn13[&xkul4*NNױ϶ۧE*BOVW3³@}v8~Ã+!Ml.mg L(TkBpHܡ4 I\1|}}%c痙?IlNAQO],A 1 v X)Fdf@}ır4+y8[F#Pq,KGΧ(yi]xZLqg$ܧF2ySӈXnOl!PWyn=0[N0nf#}Jh_lH6E]c [՞1 *q#ʈ*vxR)s~j!ʘaR;k(gG //u?&Jj Y31|+Al-Bz:T`Po${!ވb}T5F*C6F}B[\;GnkYO4]ĥ4Gǣi^†l3s"zL8f!L-,pqRvH,~ʯ&C҅h9^ O B`E"iгqz]n` O3ۊ "['8cn)xD|1ןAQ<; *R6MS%Bc0H56J=ẅ́)[FɜudGi+a&5/cUNg6gg>0/u)(/bwOjҶY^ `!C2Tt +V c`wc??]dTMoxEwAcSɱ?c(vXx;tZ9Ȱ~h`ro +3C%EpWwAw%>M+t7+~&>.Eov| AoF^u!@ dUU:o-4L)tNp43sE /VX?DBxI2O-i6ǐ]#KYur8 Rh**|\]'5u,Ev=!_ H2=I$!?N||ӊ8B\5EG(>3v.;w. Faܺ<hFt*V$ n[-`c+rƫw_8xӥqK{ -w2:L~(-Oo8~Ԋ쭾YQ/ ;cjS~I?qDԋjNbHViZaa4\NeEu/QϬO`T3WN0~\J nR{,=^rV|sOBn𚞨aP ܴDR:f,K}fn5sm6CþC-../yBb;%; d1.Л{߱>Yp0 S,vR[yquqphalf9J |%G"2 A[*h8Nd|K<5G`m|fN߃~ΰ8VvgLz91f_סK 3 Winding_Number_Eval  [^7B ]4  :KFpLxKyπ? I+v<2 #U^jb]B8PQ1Oro&Fȼ3*SzN1NDqxao=àJB)^iE%J-zy9%~`k'9L(bi.$[US/#.;? K$gGhpZ-Q|n##hK5uE{ =g.t^b^/ChgYZ7zXZִF! ]ŗXiɟ1˦r w/8OA~ko*U{VQC@dFqB`vWbf#DΥNrFԚ&#؛7cI-3iWST E6_YW:mZUbm6,\vT[WyVoMIr- C}I=#9oΟό7rX "rl5ZL8R8j2hB"Qt+T!;ds*q[ x(lmM;eu6/6ǔ"Շt;o*gQic *ڷrGtEN4ET fEJPrl0wt  ^gYZ7zXZִF! ]ŗXi%GWM6ξC/4GF!쟿\47js w.MWS5oF>J_*TXE6 5Nҳ;c_ʪ;mfb]ΪʴTC.H2{}dI(ij~5}!dr8Ct Ӕ]xEʒУS{Enǜj9C=O]zͭ YXGn2YBfgi= &ź1\8g Qa̗ ճ:'`Ifd0D$(u& vb3 'kֿ+pmP2@,+ӒqYcs<9SAfÇ5WksGޙY 0J]~I$  >iOS{+ "glY[vˢJURwWF[*+\OST|x|Y~h>JG$z~tcf &1̫Ws:Z\ ;u~JoF;%^I%@Ou![ z @MFboZL'Ƹ-:pOjޕ;De/ ЧY8gd*Z{W76A@:]ףjpW?ZɇZ1^gB9e1 JV=BvFGHiP' (WnOP\ (Y[5hL$vp?Qˍ!)'+GTgI8CQ*&=Ӹ2PLCdq[=RF}0PԪ[ "er`~#:F(3/1Vxh 88֐&ImlۜoDG'@`f1YTȏҍٝ˜u $8*wyVBgE˺z@x歀2zc(UB >T<ᙥU y -qHߋw_u?;wX՜y}xSzq䡞l:V_0ҳ!I++[DF}<~ݿR˦):|8#0 pV|:ᇖ1,+JTYuyS)OiZNHBi{trwuު|Y#o <x} Ru"/|7ͨLhk>Fq &e|<%l ҽ3ﲘ7N'Qe n=|$z7TE5/gr1$UθN.>^yz0bjm9WpQ| IZ]!qN7cL=w Z0vj4f[~<+߭SD5%Vi_C9an. Le4#膘9ZIˀ .:$_V޹jXD)^(}.: *̈ [*.)wf.WGq3SaANSrYr$<,T6X(H3[޷qo`"E)iHKn̒Em~l0=/QeLC3zND%t:_-QN* ȺS>Q%L ^a^.DgIz~}.4V!3~vZH"Wȑ싙&' yēM p6){8Acb ɰIfXW4, T1rXrߌaoN8dzA˟]Y[udv RwG@%F?O]F>7-=7qxk<dXHw^j$ 1`'5VMbZ̋Oo*1JG 0ʓ<؎57CC%9sYqlFdLv6byw!(uTҬ7CYѩ~3synK--=^i$oR%s{U;.}U}j9dp5!=6DY:BM~A8l9'INn,YE[X?%Ns/KuK5(%ObydwB|Dݳ-fԨ~*حG.JV`g%~c88OeO& tH!Eώsd-{ wxZlCmMua%YD">gMzSL(.ũJnC\'!T F6K'66ˌ*XoO!bJ0c (B*"ҒyU>:Asuth軌,z xcޕ/Q'C66yH+CBF#x$ z8ڱuHE#-h}2:4Ė%w uo$ɬ-P^?]`SvS|.6-J6SJrZ @0ςAρVт41EM;.MC24T釢dTe#NBQ+/'F; d_ajZ tN|jy>V/0~-\@i`! Pq4޸Yى]D$bi _d&8(x[mD #'Y4~dL1\r@7q}2&r*:t\]T- z'½uLk}(:i74[y3NVb>sJ1 B5lԠ=S@b@վ )؃4WjGZi[}̓3L6\Jm籣D8 r1Ÿ6~BhSBxYѨ:h2=%z5++rz`2{#`N2jKTd?&e䀸M/ekɬ{t[i5C0oXvR$gӤGѽ r)+ɭAι6^nl^Zp'mIxbZ޺iUQ5gQ6K?2; D{SI©DY>|P1a .XKo+ݪԾ ,03i`Q^N ^NoN$j_\ #ip$i?m5)ot+]{QhVK 5:x !ؗ?Ue{CIĆh \V3l4܊4tRH dDbH>[Gզ 9!Dn2uYm\CoH>+NJBD)8(תf֣N~aX IicbKzc#kŻ v>jj)`*ϰ1kZor 7ӜY_yyv&m]x|ŊOWEf\hIᛓH:fQnU9ޫUkgsW@%G'1뺘1[5~9£&KGGIo9? rg܋ W9jnJkuEY,-X7r.UR[%Uxׯ=^3[ŀg2MnqÀ2|̯?"EJb&"֮Ka>,Fuf@dl($ Lh: +:L!kL3 fVU4dKN?7^:"H(OUe/uXm+σ xC+0SZW}R-@{&X8')TF=d*o*>߆$ ]8Fź]ҧV9y)cF>8"Msixy^EH֐}ي*PITeij]epATW@uqIz& 䅫V8]~p`Dma~TՍA=Ę`m7OgiW^΁A3شt)(ї Mv!V_4f$ 1 RR3ҪQ.فr~kߟB+%+, HȊ#7pX`> QOor-_Q]B-'lM+-eOLJ,`*v4o\>~9ƻ#P~3(rCPw O"E7.-gBgd@WrmE"nMpSE2vP#R-h , %Pm!8SZ>>)[. ]@L෪O ܝ"ɜ[z(d(?AX~ bǒё;c mN߽aG 9J]8J;2Ay:|;ݧXyi]w`1}!H+#(=| &Zc M`JKM`()qeEDWC˒s9kE4aQ9.)B&^z" 4&C/T48O9u_@"7s7̼[:;+\N b+撗:+^px)8 |Alzu[翽5qEɓ lܧ}ʣM>X6!E|ϐKāF,IUg.(.`HhץcWvUXLQ(v:]KB]|!Tyrٙ(yZz< Qᚧծ䋳EWtjF_E3z<'TkhQکfL+ň )>dXarb*D wo}}ٹCh(Z\@PKhٝ>/^:>^j Y5Tn%g yЁHsSѐ]W4VǸZ|u}K~?9W{(RS\;1_S4KmG8A.K @xmO1e}5֊M;?BDK( sD?b 7YM9h moŭw#UhDZƍ1_uCw6B kX94/qɊ ]cEAjArN`(4 X!=|XfI!= sq<瀽c'К;ҜƯ5j?I3Oω6Z^,z3u0wJ`D&tQAl qJ×pбۡN )&!Y6nJf:4O v6PMRŠvTqʿkl^Y[+