SQLite format 3@ . BBh77otableisabelle_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 VV3, ] Winding_Number_Eval:threads=2elapsed=83.642cpu=151.228gc=5.764factor=1.817zXZִF! H]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^IqK? Ettci{t)򨟼[0׺E)aθH@h.}p[QF q^fۼ>x ؍ 44-sij1Mu {9}.,v 3 _E8c%miY0NQ-ZZ$xҴ>WPovYYi~Ĕ6FNQ KQKKiqIEFqs$n=7~ y||4:4ej E&X˲c>-2`"cEWC=^x6OɄU" fM*I!Rf%jYQo&Z.a=ݸqwe*,AՊԝg@z4A0E]oPHg剺R$XՅ]c,\*X”KC{h >O@n< ,gCNdt}w}6R0XǕ:jj e~@($K7r2զVցtOL`ӢQFRx-jF?>}Go\(A" RVzeh7x9k}zE4wsl&6[? JaZy#h\wh~.Ǎq3#$fP7ĭdASD4di"seeWz+jl3 E4=ǟV 6~o,EKn,:Zoڬ@(d(`\Ȃ֓{}7oQ|q7qم,zh:(Dcdc3EqK!Ԃ XCq޲CHA9^Ō_gv /%̥\,(MXc$RI@^j>?%{j\cn"Kt8K)PhJ YEEZ?)SK4Q֋3|CRO;[YlEy~c!Sm?/ďCv~nHz {z8(4S ̰*M4Te)a_}/h%(N՟·;|́R_auq0K<._}`{,&,cEdO*bh ~eO\wkf}=7bG21,||[~3gNdX̭927>9 P S`;QS NAsd{Dx 'gYZ7zXZִF! D]ŗXiɟ1J2oeTʹ̰Koֈ JT+u]i={4 >ΝP;P=4ӐO[^7`Ygf>\w{tJ|øn% ݻM һ)AuEAyWOD,lit6UYofUPS|qgG*߹vʼrBFA)$HсƃQ8rFf@(lCgl]DnN3 =KT(r>sXKr&`dnd`RZW*7(W+45On3 H? r4-~ƧdXC=62pƘ 噜RV֑Ɖs^Ȑ&9ɇ #ZquzҌOj5L.E+AW%36ǯ2%^չ2L[UV]F%MO ")g"H x\[ŋsذՒS=NX^P*6l(s5%;YV1 '0n6[{]xPq#a~n&ZKp/9>B:Hg hPdg)`>|iV5?@X&_|GuկPxiZE/s#:',Xqrf ULiNyOX7uvL}\=je]5W׈C/nqd@TaY|;k/A'^vC>n,ayky}Z{~650I43ޚK㮯$ַ>} tHx-_SC@v5ﵺsqү< _kj1McJɿ{ə֊ 3 Winding_Number_EvaltvmKZQԙKIdVފ9b!Z:If1n$̑_{f=Ahr$?dߚD!15gnR_6w2F#n7TݷPf&KW01et7 So)*78D[(D:S3鉤ꗎCȉ*>U/xT FQ$<ޚ8夺~Q`Âq@ q85sSnP_{:c90p#:vW ?tCv x&>#b3N H2Wu:i=в) }7O1N7fLM}kAu/ W[ɟI ><y~a6iK]#$,@Z42C -!8=p[T{$o_b'ZtxrK7澂Q[W8Đ)7twCT/O[ /}LبhVicmI([s26@T0C )*lE)EoTcg$K ? 2;#,PїtGsO䪈\=H:v;]S /eM]Eee^KƅXS2T7jص;GuN?y2t[9\_Ԥ{kz'9ҰhhbnS[Cmzs̵6N1zzA>66 z )eu|\fx[GEg^ÓJJP`1@:D qydD8 _-ߦ'ݱČLTL}m4OI~LDnk䋺 F@"$k&?kS5LgN{#s1`M6n7TBɉ4bq͔8${%*H=.0oS˻2(Wty^F\0uإ.l% R*.t$TI7-<&d*j =Dre^wdsѸ' l_*=z$OC}è|(z<${0aEpWrYgOD9&F\(ɖ 8X'g Gm蛹@<0p(pl<[V{V>kEv 7>W(BV+z{پ:U؄ $_;D5>ÙBtq7NL,zt-cPwP쁙)+ս,.QLEA`GhlOh~ַox nH3_`uL&Dx>6ڼ,tgy._2vO*KrHFG6g}jA6,Ad>՛qr6Qaq5…x-)c@'O\p:t)T#sfbحI r#\-h]68ʖ?yq[A "4',p*+_IL_?Nm^ȱb M_Ԟ0VMVbA 5ڕ3GҸYQp'>qz'2ZmRDgQVPWOO1܋*7־H-Sw?!ΥvZe:#{4^Ka LH~o "3lԘK+!*Nsz6K^*Rs!6 Wt\";y5 cTe[K]h2@<uRD(EGOPu|4jhu4^iilyC.,@ȃvtT#䛾,8H&\@ms[5?WxH%*C0'6QR. *d 淥GAQJz: Һr.l6( Ҍg#deЍOQ9Y YCV59[%VKpU2搸d7('%nw:n?Ј,t ARk-D2<9ψO8_KEwvb,)M6%NS4T~\kb&mFƵ+,^&z-"uc\b7 Oc~19A~P~_~}Z3qF+vV36 ecN\ rY;ѫǧ `@4V973d_'ɯ!~d|HwH:,:ʨ_(64߬-ujEnw. rTfP@5ߕ<a[@J|Ҥaw=/G۲s\|Izҗ5Q>]jV( XL^ylc') ^(D ud' LXDW!"cA:Oē?dfYZujnGi%0k M-t:Gh_Bjr@,i0l:GmS掁L$: t$/@!!k^]GC͎'tBd7 yYVu38ͤ#ʠalBI5HǞL#:~$Pc1KjWa}BBxe"Bz8~.vKxF4GA֜?BM1[~OVOַ/lPu۵A[&fǍ .AH A^];}/ CG?`{^/ f.a(dhܠ5Ǖm'|ť}9ƂqKf*XTT4ɟxeՋ#SH k:rh"#H6PHȪ6HZ/+B!s .Dǜ99}GΐDYd/Jm^#dQ:{x/R$]c tb]]OF!ŗ0Xg]05N$"]m0d&4gYZ84d8116a7982fdca69fdb400083b304583bb7ff2fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 9626d03df608336a839a052cc72d740da50590d5