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 3L| ] Winding_Number_Eval:threads=4elapsed=94.400cpu=241.324gc=6.548factor=2.567zXZִF! u _]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e@@ ֈE Qg2VY7}/孭L M. >9T$EYb0;&s QNUT9٣tT h|'?2=Q\ oZ*y^nR;oMͦS!g;8B vQPM@PCOjyZuUFf_m X[/͙Lٔj]LTXs& C sӧFgb}Jz߲5QZrl͕N?7%sΆ`m@ 7XOW%6AAh bٸUX'.WdܽϛwyڱKwz 6XWL]M3@R2Qeu*2s "HeJCԋ5$6)\" J>.oLw(]RpGv[%w1+<뱶eL?U Ώ.?zO1&߈>>k&S=J…%Xׁ?HGޱzd4 j+H{2[}mc#hj)Ml8z$/r'ff4>*Vv|˥},$<2AW;䪞vh],4]B7uzY wEcI,gb_MWaCfroX ᐒK a_KGطkex A̋ώ5Iz QKI@+.A[F)޺WTApJru; FbVVH%U`vBϵ D9mAAs%=T-[oTo艛0MBǚZ}2#"{okw &bғtNt 0c4А+-}|i4@,,61aXd0jO %dۨ2rM SUIygCL[+2=.u@-Cƿ N9wZ}hZZ#!lFr"L!h,C+?P73.:H?[v)C`l ZENdq6#6*}ĘJ%7BΓN-2z#Lycuy?l2TA= {zo59ct?"mK =LE xnnTm}<]y oMu}xk&0Fñ>08ǬUO_ k&C>tNxx#qϏ}:H tzK5x3z~1;.Cnr yiiL5CHZZl ߴT4On*FZN FM~|>q =8h8j6nT|?b~wz8w.N"[,'ހƕ=t8At;;|= DžruټD0SX%ga)īf@3埗^ȉԤcrrn2xHHkB)KegOX޻t.K9$YHim1 ok2J/R+73?VhWd"!;o$ۼ`Kj7iu<&ӥ/DůP2MF Y"zк"$&W3]mW5lsxVo Ba2?DL|+':-QjHxEl*]4XKyysQ$Awmi&BIL_-ER \#>jY.<gJ={t#^iI; v(m{q՘JN_1 $>jM@A PO#zc9t,y#wUiܿDQ1Q`"0s;6 Â۫R^5mEL}h7U2~zL]I+Q |gi1< uc䞽ņ0u N {;JѤʛ]GW: ZE̱yoJ Wm6bE}/ :;vfOmtgYZ7zXZִF! ] 3 Winding_Number_Eval  Xiɟ1˦r w/8OA~kozJZ ,S+-Qc{{yv:-'xZ>B HI3{'z_FJ.,'*x_~خw}/|fXr`lVk[hM->9szANXz@ Vl|h뢒y*W蕪|e3љ0RI1) g$CpԂOgjKj5!ct4(Teơ[f!Jo'T̃T=F5\k&Rs⅕m+p%vi%gP` pH@D7~z7] /x$#_}|`oF8Fubժ2PP9tY,e8HNՃdWoƳW][z*.4HXh7%S*s_{>5|!bvO[uQШO珒UB _kgYZ7zXZִF! 7w]ŗXi%GW_,+r=)ԁpm3=T\m`ñ2l$Һ\f *&"<7&j!r\ -ދ|@33XG?Kw%Me%NIdVWuh?pޭ,j釰}.r\`,E mx1C^Ưxzucj2kO Ŷ N'Ӎ[Atpq5֧5Ր莯cdHd8]P[5S޼E$N^H4= i0 ҽ9y` Iw (.[]Swcu[ MBZ=@#ψNRf禠5ŽOԎim=&rU6[8sk(=}Y/^4I23"B= ]q%` 2:qجB6]PÅвЂ&|=&-^9MeP5YA@{YO%Ig ͝ }^= h(yo cvOf-x˩?N!ho{?( kcTi1"~&b킖)s(k%#5j0&m4J8C-Fw𫛎=$3VbBEyogj|\DX"b&?LBp?X{5`A7>/J}0پHzʾ~iN`;9E*;AW0mmw} yo@ }L=LM @kɶAK+ޭVyJ|zf`|Wѷ=m<#Vl0w *$sqS < IfKsvqKo2-}R z\(#Yěqt.|r_Ia uuS%w$ZcW 7,&mKMzdA< h {‰LԑA^3 *J>8H{ÖnS夫odwu U!B_qD#dJESIؒeY)3]kqX^sRAcی{] ,6PUɽt> Xg´qJO2丅}g²a^yg p;z;K^q30us&V+Yᴰh_~Sяri2"G5@C4 |8E^(dL DQ? Ϯ?[@9.YX!k1^`F`!Lk`'ʉ.Yr&QbJ MK8`]UT@#=iYſGd{R״TXĚHP`̪9Q8s?'Cz^Q[S_Bc2 꽚gpr":hP`ūg+*1q$%P7ׄeQ0Xvޤ|9X a^{Da р `0P+Rכ{kRGsA`"3fJZYYU%ѩ!1 "lNu(Z]9xW~˿val?6."a΢iSLJ˺K:4M]↨I86-)2M9Wd~ 䛓gɡDŠFͥW!U\g;07vVpz ~LS~au8]@Y Rkז=VD2OKnZjAK$Ù!t]{1иn+a%sh$||E' q0r5Фm?Vo~ ,Blww.T C Y="ZwÕo? K)οOCJ>qF3U&׎[M8ϴ(:l= )YA > }6)l>hac$jhx>ںegGbY=Di5 Ao 9L)#Lj&r*{X(AQW8 b΄lmA!?wEf53#\19 % v *~pZ72,4)zAAA!4ҁs"o,G)x 3Q{Al^Y>e'szv]*TX_2=úo 4~'[;)ТRiC{SwX5toTs;,kdz:9OAfߢGfR$^ZƩwZ$`tOA=`~pmBI@Dx{B:r*' @qL4d { nW<|Ale>oCHxZW+ЏvOp{}>d*ϹUz$^%=>G+_JjO"̱Ȕl*{Χމ(_xfM^Pd=,`6اX펖xڭ=r>|,X Ig)hM;ZzIщIk | KvI׼ܞSۈ3I;Bfr§;Xb߬i+S. = msu+ 8*SF>ѱiZ0[gtB#;ӥ 0̞ .68]J:9ӟ$ࡄ7 HUP| `T7Wң~e39z:2o($fI2{7@n-6(}=Jb|\CBs*m>#\ 0C3@AgD8Z{3<4^/Īҷ'mH;jn!K&*%4_ @4磉%2{dD:*9f3)\gZsֶtO}ie];\ 1.QnwSAI|Lo|>uh 0|iq8|LFwhڛOeh kf;e??m_ЊT G[ znŔ",.v0 V~M:MЧ(~[V6sD@8ds4hm#AM ! P ( Oi,aKiFC;eDxuy R;G_6R*~g;rl 5 esm_sld\F{ڹ[d 64P:{O=gޟMp49ԛ[9չuh3DouMT#ֻþY?4yɋe*dM˗pS(xB_ªUsZ<^.[<,P ~7,.sVQ ,Pw4¡N<q^yCL 形6~4Y|.7lL#,[y[# DL)_ Z΀^V-Kr~C,e cT A:p),[yE:Ef$,6 A0a.("qC kK豪02QS>o}Aڣs%s Hq̵Q^OMeċX /1d蓲Ǿ5WIJbPʒձtjFrbU̇ɱj<6~kSmRF{Z$cOj;hBG#zL6{" dLzuHi7t,'{mH&R^G| RMbӆʨokSOx-*6m|+a֖4 /=YN*Ӭ$zKGbbBL%p>/3i5( 0"+%[ɣLOi2, ¢X6C :YQB#e3 MmE+jD[%7Q=(=P)5]*A%➇XD>%ATiq-a([q1ΣGqLV~sӅn./{Rk#7"Ϳ Y[vR$:W1"$`Z L](?D'oB8}K 0{Tf_5tk1Kf˫SM{rptY߆M!*yyE֢,ȆJA4PK=1+o޸Bn?@H'2|D=.xu5'}M4Jwvן)nr7s(uq.KF sqJ2۲qNPjX:EEwsBRU2.({8ND-&:]A .|1_=ڍtQEq=S[g{R.ޠV[ 9,_jSd4v7x1It[ \@j*WX8y.W>y&;ڥBK JD;6Vo^b0̚|Q ;E%(w)О #UѺřꀟDf6|E2%|",'y"2FJRq+~*{ ;Ĺ;kdn8m4&ĥΛ}:5-\.7۸upgm]҃2Bب,P}& Bw! vȤ@*)PŎvÁ$BƜb7evTA1Ng|f5- @*(5V{ K Y@jd r`U|2;mU$~rU\'XuI'aAl͘^9YF9wYi~ZUBM[hWcFaE$ܙ{ҏݐ٦4+H OǺZ<1U~zt@9?(V`?匊o\%"0FcvSXNCe\#E7|8pmgœپzeek~,~.d>B`s3OB+5#lZѮ~ -cKϷ^Yn JVu;7hbڳ%xOux:(jgYZ6bd36550475b60e81807609acbe0bab9f9cb403078a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f472