SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  #3LDL ] Winding_Number_Eval:threads=2elapsed=96.008cpu=164.556gc=5.636factor=1.717zXZִF! V]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^W"dkZ%A5"WAn<¥> 9j ӧCA+b7mCͿDUȔOi$}KL#&]BtD !|3m/T箤kr\X2xq`[a8c|YR{[W1^ =.e$H9YRYLnD5MFx -k4o*WY663g!v=BȖ؝#̚\Ă?0&+C`ڧLɟe Bc;V NQXG4veϼ 3 Winding_Number_Eval  _SݨJvƯ8O#+R9y+= \EJ]d#ad8Vcm[ɳnPΐ#c~uď+ժn,6(m-]X#fhvLD&.0O>/ۄ1WCM XГϟ4Mɜ 7F&(*X RD ġ}{ @mOfF'mmThrAߒ2bHd@%D~tUoM`,{%sfN*FD-Wtt_Ro2e|(H 6Œ1Y9$o}VnaTEud ,&Z|uju/#R?dB# cKxق[w^Y!s\* 's.EѵzXZ;̶0$? Elj+ }d" Ōќ*f ZD4bT#^KesE)V2,FRQNmrsrAw%Z#^(RaV&L ei+oƼV81? Rg̠hvfcq4fS U~SݷLV9m6S f,2*<=rn4f1wCd5DyjHJ8R@UgYZ7zXZִF! D]ŗXiɟ1J2oeTʹ̰Ko!-t}joq>'Lw:BPlQa[` *[f}v2l]۩ސ1BZ5srJ%_rlȣ:Tlnb E̼7sn9M75)q ͯ,KQIM0# K>yijQ$'2ϲk秼Ep!kB`q\GmsF&vM߭bҘyek~L?N:oW]Dq3$PhPábۜmēbQN0O e/FuVYSf*C{bҺ1=tE( 7B0<d=S;M*f\C_K,dU]ۮ(OC%vgy!"rw"Jȴ|J^v2_~h`'C7`Kn\vCO(u8ھcMMb ˯Yf_/- nXa~i8`^4/;llՉ\\W'%UUJGhw&" (F,JM ; EVϿ ^[GHt։nw<_bRM =aDebƬ;,P26ktw.~7PO:쥴zuO4"*U_0Ij80b>NV_7Vll'd80Q@%r;Llh7m㪜+VhBO7('6DYa#7lK|g[8Nf '(qtpԜ;QBbSJϓZvAU`-PȘpR8曀`G8n;@5|[ޝKr2(”_RWICEɤ6[fe_=CQ&^jtsƭ+j6t>fdOX1[Oh]WM$s;HS)olv.zFk 2lg_Iɳ4CFZ|2]Uz/e}d 65 B>%ONзJ P}8}aG;fs pd1e) K>89߲tyJZrB%H6MźLzӫ #;rBJ`r?,> ,=RܚARXʻsa;eb|yb3]꒏I􋉩l2seG~ gs[eYJM0!P|k i!^ zJGGQo<wf,2"o@6RDgk~Ҿ(&2|X"辭ajTW+0n5hĮ,'( (X h3MJG>[j@Nӈ.f`LD-]@"֭~㗸a e[w #X DYo"|fB.#1SBQb/Z ;?B tLoF3Xڮ=vYAY4MgOF3&3gn!d 8-uzX4^٘h;p5ʬ+ Ds?YQ~7^16KzՙAR,(M`D4bfpeމuR$8\4V+\ݳvLn_wdH&!"jWu. &OnU=]v\`@qǐ & ykSIYW~6߁Mx$1fZW\ЬbGYp}LG^ >?1 pm l3M{19,e`~CS2U@O]Y7穳{eJ[{~Lk VS2B"iZ9d=xzGu/﯇$sZ؄?'og%AahrBvbM̬ n~:Łfy''`xGQXZѳMKB|ܔQP/ nL"ߗ&l]. 1"aVdrevMk PͭnkNy~̝7/9v/uUSFﺦ}4K(E;<|!^ 3wf_ƺ%f g[KDj>}*z`a.2U7qEY{yz=c$/D xQ܉W:kUTBw\^HMyE}L+s!g72:ttϟ4Cr;7Ί'կl{A>]Ք(?a2ac:&m(GWT:zZjK6n6? LͯHdK(eu%~cadܷ҇IZոZpEUzsyMlbACI4jO]e\ F%%QAfM5Tԩy5*-$s̺p[::%gnz|좞妞R}1REw-4@qeZVrQrgEwiX'-⛔M>*!u'7@ *'h=P} iypm{G+| 㥸]STiTyF@h=b)ٸ]CA۬Ayl>@8U D7.P!>D31{[[YV]z% qjx+Sb;Z{H^w(]Ns[W(o#= HQJ_O 3wS:XH41wiϏG=ޠ9jV;1 mK}V!~2he!YEA ([+ZN0Jq0;rP0ʇAY)1b4?T3KnC)‚ꋥKe2|4S, ,cB\ JKO]hy :@+ڌZZҭ wdʸ%r$:@t%o8 7GsT(8ɣ 67W,y!"v&zwjj8m0׺[t^61S/la ?]AD'Φ; ٕó&hEHyV`->`D|~rDBK4y=d3q?i=""6ʗMeӴviX!siOnY8kM?`qp8[o<#1[:V]F ䷲\w,i^*(L؁e)شh8#MF# Gܲ9'ch(v\6UX 'æӴ[4GE_Ӝ1ky:}y f_Z*ޅFp,+v{ _6휁/ZT`S?sRe ?S A߲PQtPqsŚ``</LJ3}KX4]^{}.%h.f^Ə~B(+~/-Ŷ!.x80-vX&c|ϵ@.`!]zJ_ngQΡ팝(b+Q݄\]&X|:&5Xi(YU=ihI"b9'Q{y&) .>p[m.vY!R@Q1ă1dZd^^DG[eث>d0K]+4ʶ[T{d/_/n3r?zzzU{@i.>J&GCɅk ꒶xl{-݀LD#lz?6>>][x"@i ;/my[FqEIf0Xˠ'/Щmg k@6bGZl7I@ĕ7oиz~*e@Ģ;=0 Tn,aӒGa&F7^ZRlqqd^@2I9N_0@Q(܄l ?Y_%bs9D B'k<]@lpCm%'~ZkP@:d6fmG74~3]uw6oprŲHZL7VWgr1O)}5}:C8%Ibe.y`}M6*a@+S+^~I:u%<;ї [I!t"̆C>˴HkМf+p%8AҚpf|ﲊz=6wiElyviT:!˙Ş tЕd̚e~vOTUY `C-.&J{`z"%>no.yt{ZJ\ sbLAoXg;ue/ o0zhtgV%q8%U9Ɨg/Ȃ ʈ="7ƈJ.>R+)|2CIsndӵ͆h6Rq|2m~$')5٩kpqL$ "RI3[vQBPLJ̙0,)șU9|-ωǢGPd|H볟v;2 z Ƌ#^t "i'y؈'M^lOc"~Vfhia'aQn1qLc·:0ZgiÛ&]!]Z(YS39J&a7ZGuga9X&tԉ-HI)'/ͷi‥^<rB: -}gYZ9c61fa4b717e27ff6f54a2225f0df0cdc4b10de3a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4