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 k34, ] Winding_Number_Eval:threads=2elapsed=87.687cpu=155.612gc=5.396factor=1.777zXZִF! JP]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S_ ,xe:[ 76!**a)"v|KuxOJ*m$ FarUQb+Zq*G0)\tՙAyu:ۘX HK#h["؏E{eZv †߭0Qh6dkm@pj"?̉~b% ";p:B|bZ'{(&|(Kzq=8޲%'!P@!zwVbZHϱjf')%w!9Z.h6+5$$'|YP],DNA<5pE&5rXW>['3Lz[xluŀ;  栦`+1=AyZ2ό;7-FYu?+}?r-"mlV2m Ax)ʨ'A\t89T},_D$R7=/f0CzfmK)Rϐcm 0܌} |#JoOYzj/F(o~=,} QmQU9yFRhPs FbhNȱoD b܍4|,x篃C l0[9} sxt )fzwvv13,TB\Gţ'bd|©:d"ZͰϲU(o+ކ6a &ZVHNaz]64f \o-dT[&I37L:e _&=M#?2QBHjn`h Oz'*VzTIr3[9RM^.ZKAfy1_=^ V2,&ve%e|܋1p˖q H+O5EWKB̚Տ(ig 0I8?e\+gP¶6 H[3}𓤞^|$`0}/$ - | {yҳ6֬;4S/K"Rkj˓y5iC3::[7uwL+< Y%NwZY_e6؆:&r[%7o7_,m3K((Oe!$ ܢK3%)J єgYZ7zXZִF! D]ŗXiɟ1J2oeTʹ̰KoEWH,w% i>:Zz&Q2`[Tb 4o9`^NO(],;- Q}4c^^=?OdpmWBx"(7+>j+v1s% u=US/9oݒgc32@|RQ "fC5CS O^ib$7 ^H21m6`jz^sgW#/Fņkhʤ`9`5 +mI-HxD2T~ w>U9`#0_R(xPN{3[.dwȚ#0ƻZ\Q\5jӈ040`=Jnd pÊ44_JGcU Y0 Z Zҵ)?IfO"ᖁRf[DTJ2ϋ:'/`5@Za @Ykz:C"H q"4OCBaީ~Lhy$M{d\mNF\PFH{+T Δi@":b~v ڟNŸx',K48g?C_Go*0?LU˵A\ת;d=p~mGX'􎍖y(LuA|~+}9pv@ HŒA>z$4/89ʄ~AahZF sN.=bK&Pklk >r.!΋xF-]DNO+^zu@ kϠ$DLz%W-Pܿ y nEO0K`,^1![E&//?ۗkQ yW~p`/9VL3JϖTYtk"ʮ@D&<#^xV?!ihOo^fJhFul8~=HF:KKoLMFx2q]KR)9< P!]EJnQO[Nb^r3ŖZ5noI[ǾNDy((`.|cߊ<)mBUqb]1`BGu;-B-<* waؔb@-6"Ԓ+ b9onQ'nI\0Wϝa!o *IsakJwV#Sex!'p-Z2 l6W 7ytr^6'@zK av,+I~Y؊k&ݷd3˔p9:0c:xOQgV -F# 7m١s>v얇H41$Gm)tY7gy7㻪4p)|d'_ߴ%-3 t'[d^Te̝gk eJZ+_anq|[K{ 5mZ+|ГjugVv" 3 Winding_Number_Eval   !֛r~Z$@ E.e=CH&Nʅ߻ȒS$pȮPIGY;A Hgh1ݘdXƇZO&K:$LGcV вnA:x*HUK#X."$@b%D ;QvI5&EΏT`4‡_;51Fhx:j -dO4('}׉ZuA.l(l>01.8-Id*f: ӇsnE117|Qjl$H a]Idi,}w'w^쫽R-l+0=n5!>z.~*s؟(T[@߱'$/v|FuL@=lڢ O| >n$}fqaq稥2v 5٣s" 7~.Bg/: rKF:GLs 0})H׮~&f4?Ivswv$bnF&oK 2Jk$ FJ*i#U9sBkc/ nu֗rk}ꍗ5'|)a=|Óa Ж kq[1GOf/Ng4 9.7m8Iq|[_!Ҩȉz@hIRlF.95i aħPy{k(]xkеI*FEҟR&;gX0yo VU2$]7< wY ')ceu)IQŶ4Sn3Ae䵶geh phb>${ ߞ#ӵ`Vo7 5k Gؿ}zΓy1kmzQ,~!xAy2Z^ |mOܽDC)f٢BJ}Uǁh+_Éڌ2Ҭc-ĵh=mEɱtVpT*S) w7Wp$,b>LuhfDy9lC[xQkk-Ex8*j, <{' {|8z.AiXp)+/?b3i9Q%[Ӄq&0FABh|#7A#3|/>N3S#-egjX]ZR^[%>s+_{nc'G8aDV%Vc7P*T.DLWPYf=Z(,L:W9}tF7h b(v}Ax~B;~? J|eW`HۯJ: 5\Z,@2rx)ע>Gx E-@IrZ>R!G4夬h4e *0'\zry)fđک^=&NtG~ùt*CJ7W '7 d[|=P(+I0OC\U! u~Blbe,Hd5F^Ɂj쳕Ku0 ̲mfGr߇c]=,]PsHP dUYs\zj^`0Z\,u-9H[%PǬߍ6ԒXX~ 9s3i~goD 3nOСEjRj`^45V&㵵aB8dw.Ai hp^  ٸo_ %}kAʈ>ʒQN|,UQeQ&쨺=Z>׈:=f)@֦cВV*\Eb2TqUS6yǡ/=cG(j6c 丶O;j_*:AuNvAh>Qx M㦔פ/L舭ÎM4a) G"q֌nʎ_zp/øe2]|Arۡ sL%Ʊ::\*BģX";گk&-f]kM }(ϩpB!B٠{xQGp1ٙ} u':oC!a؜SW#0Uc?09LnܳkOа/8GSd}#EOςWq~UN13UX|wN\˖!?ଌiNvQ rr}תVn7s 1Lp=a^yS=D=%Q~6ْ"4ڷo{(ẎPT ./J *8LgUa[҆\@STr#x1aaׯѦ6VQ0E8`Qa; V[Nj9uM=\fТZ~hJysM*)fUeX X~ܑ`W0k(8ɶ ^ $ N\ΑJ$G89h6<8 zMKCn<4=\?L'y8Vyh:M;7ã74N=&a`:o5Yч)?Ww:,p`$V2rWȁtFn1HHx* F^s^|C(oh)dWEJN^Q@#N Q#!N*Y ux+*8tŃlf3D)L}5kioK#|i/ߓaHJ-awk؛ċl^rS|Ad;"WAa4XlRnMJpEPz\G 6/dG[uw0#?H10L1EX~66TAG/8Y~w@1ei\E-EB甁U]bD.s jAQcby ߻2WQ>vB2B>dpO͞!' ez!!Lkd2U0E9{PmZ7&&45Ȑ'n+;KbyPS|[ZSym($cXG1)~Hgd#->J1շFUN